User loginNavigation |
TinyML - Lexer, Parser, Interpreter, and Polymorphic Type Checker in Under 700 Lines of SMLHere is the source code and some documentation for my tiny implementation of a toy ML like language. Of interest is the fact that it does polymorphic type checking by first converting expressions in the full abstract syntax to combinator expressions. One of my goals with this program was to make it totally self contained, so it does not use lex or yacc. Check it out: By frostytrees at 2008-02-21 08:37 | LtU Forum | previous forum topic | next forum topic | other blogs | 6442 reads
|
Browse archivesActive forum topics |
Recent comments
2 weeks 5 hours ago
4 weeks 1 day ago
13 weeks 3 days ago
13 weeks 5 days ago
14 weeks 50 min ago
20 weeks 6 days ago
26 weeks 4 days ago
26 weeks 5 days ago
27 weeks 4 days ago
30 weeks 3 days ago