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 | 11418 reads
|
Browse archives
Active forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 2 hours ago
51 weeks 4 days ago
51 weeks 4 days ago