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 | 6845 reads
|
Browse archives
Active forum topics |
Recent comments
6 weeks 14 hours ago
6 weeks 18 hours ago
6 weeks 18 hours ago
28 weeks 1 day ago
32 weeks 3 days ago
34 weeks 1 day ago
34 weeks 1 day ago
36 weeks 5 days ago
41 weeks 3 days ago
41 weeks 3 days ago