Advanced Student Language
- PROGRAM
- DEF-OR-EXP
- DEFINITION
- EXPRESSION
- NAME
- a sequence of keyboard characters not including: space " , ' ` ( ) [ ] { } | ; #
- CHOICE
- QUOTED
- QUASIQUOTED
- PRIM-OPs
- Numbers: Integers, Rationals, Reals, Complex, Exacts, Inexacts
- Booleans
- Symbols
- Lists
- append : ((listof any) ... -> (listof any))
- append! : ((listof any) ... -> (listof any))
- assq : (x (listof (cons x y)) -> (union false (cons x y)))
- caaar : ((cons (cons (cons w (listof z)) (listof y)) (listof x)) -> w)
- caadr : ((cons (cons (cons w (listof z)) (listof y)) (listof x)) -> (listof z))
- caar : ((cons (cons z (listof y)) (listof x)) -> z)
- cadar : ((cons (cons w (cons z (listof y))) (listof x)) -> z)
- cadddr : ((listof y) -> y)
- caddr : ((cons w (cons z (cons y (listof x)))) -> y)
- cadr : ((cons z (cons y (listof x))) -> y)
- car : ((cons y (listof x)) -> y)
- cdaar : ((cons (cons (cons w (listof z)) (listof y)) (listof x)) -> (listof z))
- cdadr : ((cons w (cons (cons z (listof y)) (listof x))) -> (listof y))
- cdar : ((cons (cons z (listof y)) (listof x)) -> (listof y))
- cddar : ((cons (cons w (cons z (listof y))) (listof x)) -> (listof y))
- cdddr : ((cons w (cons z (cons y (listof x)))) -> (listof x))
- cddr : ((cons z (cons y (listof x))) -> (listof x))
- cdr : ((cons y (listof x)) -> (listof x))
- cons : (x (listof x) -> (listof x))
- cons? : (any -> boolean)
- eighth : ((listof y) -> y)
- empty? : (any -> boolean)
- equal? : (list list -> boolean)
- fifth : ((listof y) -> y)
- first : ((cons y (listof x)) -> y)
- fourth : ((listof y) -> y)
- length : (list -> number)
- list : (any ... (listof any) -> (listof any))
- list : (any ... -> (listof any))
- list-ref : ((listof x) number -> x)
- list? : (any -> boolean)
- member : (any list -> (union false list))
- memq : (any list -> (union false list))
- memv : (any list -> (union false list))
- null : empty
- null? : (any -> boolean)
- pair? : (any -> boolean)
- rest : ((cons y (listof x)) -> (listof x))
- reverse : (list -> list)
- second : ((cons z (cons y (listof x))) -> y)
- set-car! : ((cons y (listof x)) y -> void)
- set-cdr! : ((cons y (listof x)) (listof x) -> void)
- set-first! : ((cons y (listof x)) y -> void)
- set-rest! : ((cons y (listof x)) (listof x) -> void)
- seventh : ((listof y) -> y)
- sixth : ((listof y) -> y)
- third : ((cons w (cons z (cons y (listof x)))) -> y)
- Posns
- Characters
- Strings
- Misc
- Higher-Order Functions
- andmap : ((x -> boolean) (listof x) -> boolean)
- apply : ((x-1 ... x-n -> y) x-1 ... x-i (list x-i+1 ... x-n) -> y)
- assf : ((x -> boolean) (listof (cons x y)) -> (union false (cons x y)))
- build-list : (nat (nat -> x) -> (listof x))
- build-string : (nat (nat -> char) -> string)
- compose : ((y-1 -> z) ... (y-n -> y-n-1) (x-1 ... x-n -> y-n) -> (x-1 ... x-n -> z))
- filter : ((x -> boolean) (listof x) -> (listof x))
- foldl : ((x y -> z) y (listof x) -> z)
- foldr : ((x y -> z) y (listof x) -> z)
- for-each : ((any ... -> any) (listof any) ... -> void)
- map : ((x ... -> z) (listof x) ... -> (listof z))
- memf : ((x -> boolean) (listof x) -> (union false (listof x)))
- ormap : ((x -> boolean) (listof x) -> boolean)
- procedure? : (any -> boolean)
- quicksort : ((x x -> boolean) (listof x) -> (listof x))
- Reading and Printing
- Vectors
- Boxes
This language is a superset of Intermediate Student with Lambda.