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 | 6531 reads
|
Browse archives
Active forum topics |
Recent comments
6 days 12 hours ago
6 days 12 hours ago
1 week 5 days ago
2 weeks 1 day ago
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 2 days ago
4 weeks 4 days ago
8 weeks 10 hours ago
8 weeks 17 hours ago