8.15.0.6
Racket Cheat Sheet
Primitives
Numbers
Literals | integer 1 rational 1/2 complex 1+2i floating 3.14 double 6.02e+23 hex #x29 octal #o32 binary #b010101 |
Arithmetic | + - * / quotient remainder modulo add1 sub1 max min round floor ceiling sqrt expt exp log sin ... atan |
Compare | = < <= > >= |
Bitwise | bitwise-ior bitwise-and bitwise-xor bitwise-not arithmetic-shift integer-length |
Format | number->string string->number real->decimal-string |
Test | number? complex? ... exact-nonnegative-integer? ... zero? positive? negative? even? odd? exact? inexact? |
Misc | random |
Match Pattern | (? number? n) 42 |
Strings
Literals | "Racket" quoting "a \" approaches!" unicode "λx:(μα.α→α).xx" |
Create | make-string string string-append build-string string-join |
Observe | string-length string-ref substring string-split in-string |
Modify | string-downcase string-upcase string-trim |
Test | string? string=? string<=? string-ci<=? |
Regexp | #rx"a|b" #rx"^c(a|d)+r$" regexp-quote regexp-match regexp-split regexp-replace regexp-replace* |
Match Pattern | (? string? s) "Banana?" |
Bytes
Literals | #"rawbytes\0" |
Create | make-bytes bytes |
Numbers | integer->integer-bytes real->floating-point-bytes |
Observe | bytes-length bytes-ref subbytes in-bytes |
Modify | bytes-set! bytes-copy! bytes-fill! |
Conversion | bytes->string/utf-8 string->bytes/utf-8 |
Test | bytes? bytes=? |
Match Pattern | (? bytes? b) #"0xDEADBEEF" |
Other
Booleans | #t #f not equal? |
Characters | #\a #\tab #\λ char? char->integer integer->char char<=? ... char-alphabetic? ... |
Symbols | 'Racket symbol? eq? string->symbol gensym |
Boxes | box? box unbox set-box! box-cas! |
Procedures | procedure? apply compose compose1 keyword-apply procedure-rename procedure-arity curry arity-includes? |
Void | void? void |
Undefined | undefined |
Data
Lists
Create | empty list list* build-list for/list |
Observe | empty? list? pair? length list-ref member count argmin argmax |
Use | append reverse map andmap ormap foldr in-list |
Modify | filter remove ... sort take drop split-at partition remove-duplicates shuffle |
Match Pattern | (list a b c) (list* a b more) (list top more ...) |
Immutable Hash
Create | hash hasheq |
Observe | hash? hash-ref hash-has-key? hash-count in-hash in-hash-keys in-hash-values |
Modify | hash-set hash-update hash-remove |
Vector
Create | build-vector vector make-vector list->vector |
Observe | vector? vector-length vector-ref in-vector |
Modify | vector-set! vector-fill! vector-copy! vector-map! |
Match Pattern | (vector x y z) (vector x y calabi–yau ...) |
Streams
Create | stream stream* empty-stream |
Observe | stream-empty? stream-first stream-rest in-stream |
Mutable Hash
Create | make-hash make-hasheq |
Observe | hash? hash-ref hash-has-key? hash-count in-hash in-hash-keys in-hash-values |
Modify | hash-set! hash-ref! hash-update! hash-remove! |
Systems
Input/Output
Formatting | ~a ~v ~s ~e ~r pretty-format |
Input | read read-bytes peek-byte |
Output | write write-bytes display displayln pretty-print |
Ports and Files | with-input-from-file with-output-to-file flush-output file-position make-pipe with-output-to-string with-input-from-string port->bytes port->lines ... |
Files
Miscellaneous
Time | current-seconds current-inexact-milliseconds date->string date-display-format |
Command-Line Parsing | command-line |
FFI | ffi-lib _uint32 ... _fun malloc free |
Networking
Security
Custodians | make-custodian custodian-shutdown-all current-custodian |
Sandboxes | make-evaluator make-module-evaluator |
Concurrency
Threads | thread kill-thread thread-wait make-thread-group |
Events | sync choice-evt wrap-evt handle-evt alarm-evt ... |
Channels | make-channel channel-get channel-put |
Semaphores | make-semaphore semaphore-post semaphore-wait |
Async Channels | make-async-channel async-channel-get async-channel-put |
Parallelism
Futures | future touch processor-count make-fsemaphore ... |
Places | dynamic-place place place-wait place-wait place-channel ... |
Processes | subprocess system* |
Syntax (Beginner)
Basics
Modules | (module+ main body ...) (module+ test body ...) (require mod-path) (provide id) |
S-expressions | quote '(a b c) quasiquote unquote `(1 2 ,(+ 1 2)) |
Procedure Applications | (fn arg1 arg2) keyword args (fn arg1 #:key arg2) (apply fn arg1 (list arg2)) |
Procedures | (lambda (x) x) (λ (x) x) (λ (x [opt 1]) (+ x opt)) (λ (x #:req key) (+ x key)) (λ (x #:opt [key 1]) (+ x key)) |
Binding | (let ([x 1] [y 2]) (+ x y)) (let* ([x 1] [x (+ x 1)]) x) |
Conditionals | (if (zero? x) 0 (/ 1 x)) (cond [(even? x) 0] [(odd? x) 1] [else "impossible!"]) and or |
Definitions | (define x 1) (define (f y) (+ x y)) |
Iteration | for for/list for* |
Blocks | begin when unless |
Require Sub-forms | prefix-in only-in except-in rename-in for-syntax for-label ... |
Provide Sub-forms | all-defined-out all-from-out rename-out ... contract-out |
Structures
Definition | (struct dillo (weight color)) |
Create | (define danny (dillo 17.5 'purple)) |
Observe | (dillo? danny) (dillo-weight danny) (dillo-color danny) |
Modify | (struct-copy dillo danny ([weight 18.0])) |
Match Pattern | (dillo w c) |
Pattern Matching
Basics | (match value [pat body] ...) |
Definitions | (match-define pat value) |
Patterns | (quote datum) (list lvp ...) (list-no-order pat ...) (vector lvp ...) (struct-id pat ...) (regexp rx-expr pat) (or pat ...) (and pat ...) (? expr pat ...) |
Syntax (Intermediate)
Basics
Mutation | set! |
Exceptions | error with-handlers raise exit |
Promises | promise? delay force |
Continuations | let/cc let/ec dynamic-wind call-with-continuation-prompt abort-current-continuation call-with-composable-continuation |
Parameters | make-parameter parameterize |
External Files Needed at Runtime | define-runtime-path |
Continuation Marks | continuation-marks with-continuation-mark continuation-mark-set->list |
Multiple Values | values let-values define-values call-with-values |
Contracts
Basics | any/c or/c and/c false/c integer-in vector/c listof list/c ... |
Functions | -> ->* ->i |
Application | contract-out recontract-out with-contract define/contract |
Iteration
Sequences | in-range in-naturals in-list in-vector in-port in-lines in-hash in-hash-keys in-hash-values in-directory in-cycle stop-before stop-after in-stream |
Generators | generator yield in-generator |
Structures
Sub-structures | (struct 2d (x y)) (struct 3d 2d (z)) (2d-x (3d 1 2 3)) |
Mutation | (struct monster (type [hp #:mutable])) (define healie (monster 'slime 10)) (set-monster-hp! healie 0) |
Transparency | (struct cash ($ ¢) #:transparent) (struct->vector (cash 5 95)) |
Printing | (struct nickname [n v] #:methods gen:custom-write [(define (write-proc nn p mode) (fprintf p (nickname-n nn)))]) (displayln (nickname "evens" (in-range 0 100 2))) |
Serialization | (struct txn (who what where) #:prefab) (write (txn "Mustard" "Spatula" "Observatory")) |
Generics
Definition | define-generics |
Instantiation | (struct even-set () #:methods gen:set [(define (set-member? st i) (even? i))]) |
Classes
Definition | interface class* |
Instantiation | make-object new instantiate |
Methods | send send/apply send/keyword-apply send* send+ |
Fields | get-field set-field! |
Mixins | mixin |
Traits | trait trait-sum trait-exclude trait-rename ... |
Contracts | class/c instanceof/c is-a?/c implementation?/c subclass?/c |
Syntactic Abstractions
Definition | define-syntax define-simple-macro begin-for-syntax for-syntax |
Templates | syntax syntax/loc with-syntax |
Parsing ()-Syntax | syntax-parse define-syntax-class pattern |
Syntax Objects | syntax-source syntax-line ... syntax->datum datum->syntax generate-temporaries format-id |
Transformers | make-set!-transformer make-rename-transformer local-expand syntax-local-value syntax-local-name syntax-local-lift-expression ... |
Syntax Parameters | define-syntax-parameter syntax-parameterize syntax-parameter-value |
Parsing Raw Syntax | lexer parser cfg-parser |
Tools
Packages
Inspection | raco pkg show |
Finding | pkgs.racket-lang.org |
Installing | raco pkg install |
Updating | raco pkg update |
Removing | raco pkg remove |
Miscellaneous
Compiling | raco make program.rkt |
Testing | raco test program.rkt a-directory |
Building Executables | raco exe program.rkt |
Extending DrRacket | drracket:language:simple-module-based-language->module-based-language-mixin |
Slides | slide standard-fish code |