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 | 10948 reads
|
Browse archivesActive forum topics |
Recent comments
4 days 16 hours ago
1 week 2 days ago
1 week 3 days ago
1 week 3 days ago
2 weeks 1 day ago
2 weeks 4 days ago
2 weeks 4 days ago
2 weeks 4 days ago
3 weeks 6 days ago
4 weeks 1 day ago