User loginNavigation |
A Self-Checking Type SystemI'm a little hesitant to ask the big brains here to take a look at my little language Magpie, but I managed to pull something off in it that I think some of you might find interesting. (Or, at the very least, you can tell me what I did wrong.) Magpie is a hybrid dynamic/static language. The type system it uses during type-checking is implemented in Magpie. So, during static checking, it switches between statically walking the code and dynamically evaluating type annotations and type comparisons. I wrote a bit about it here and I'd appreciate any feedback you have on it. By munificent at 2010-10-30 02:51 | LtU Forum | previous forum topic | next forum topic | other blogs | 10859 reads
|
Browse archivesActive forum topics |
Recent comments
1 week 2 days ago
5 weeks 3 days ago
6 weeks 17 hours ago
6 weeks 17 hours ago
8 weeks 8 hours ago
8 weeks 8 hours ago
8 weeks 3 days ago
8 weeks 3 days ago
9 weeks 3 days ago
10 weeks 2 days ago