Course:CPSC311/2011WT1/Glossary

Definitions

(Initialized from last year's content.)

Data-type

(in terms of the Racket language)

Introduces a new data-type (an "algebraic" or "variant data type"). Search the Racket docs for more info: http://docs.racket-lang.org/search/index.html?q=data-type.

An explanation of how define-type works, from another course: CSC_302:_define-type

WAE

One of the PLAI languages we'll work with: a "with arithmetic expression". In other words, an arithmetic expression that can use "with" statements in order to bind identifiers (names) to values. We also use this as the name of the type used to represent our abstract syntax tree. As defined in the PLAI textbook: pg 32

F1WAE

A language supporting only first-order functions (functions that must be called by their defined name and so cannot be passed as parameters, returned as results, or constructed as values).

CFWAE

A language extending FWAE (which has first-class functions implemented using closures) to support conditionals.