Core Deliverables

Basic Parser - Completed

Basic Type Checker - Completed

Basic Interpreter - TODO

Note: should we change arrow and at delay to simply delay for CExp? Rather crucial change: Allow match, urec and primrec to swap orders of guards

Extensions

Syntactic Sugar Stuff

Parsing Numbers - TODO

Typenames - TODO

Arguments before =, e.g. let f (x:int) = x; - TODO

Input Streams

Beautify Expression and Type Printing - TODO

Support Input - TODO

Modules

Import support - TODO

compiled files, files waiting to be compiled, imported functions, functions to be exported, functions to be compiled

Enrich Type System

Better Type Equality Checker - TODO

Polymorphic Types?

Type Inference?

Compile to other Languages or Hardware?