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 | 6984 reads
|
Browse archives
Active forum topics |
Recent comments
5 days 11 hours ago
41 weeks 5 hours ago
41 weeks 9 hours ago
41 weeks 9 hours ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago