User loginNavigation |
Well-typed programs can’t be blamedI found it odd that we hadn't mentioned this paper before on LtU (that or my Google-fu has failed me). I think this is a quite interesting basis from which to go beyond the static vs. dynamic debate and think interesting thoughts about static and dynamic living together in harmony (except for some bouts of blaming each other that all good friends are bound to have on occasion. ;-) ) Hopefully it won't be too controversial (!) for me to add that my interest in this topic was sparked by the growing feeling that we are starting to bump up against the limits of what can sensibly be done with homogeneous, pure static type systems (both theoretically and practically), and that the direction for future work may depend on finding ways to get different type systems or different degrees of typing to play well together. By Marc Hamann at 2007-11-17 22:51 | LtU Forum | previous forum topic | next forum topic | other blogs | 12285 reads
|
Browse archives
Active forum topics |
Recent comments
16 weeks 3 days ago
16 weeks 4 days ago
16 weeks 4 days ago
38 weeks 5 days ago
43 weeks 6 hours ago
44 weeks 4 days ago
44 weeks 4 days ago
47 weeks 2 days ago
51 weeks 6 days ago
51 weeks 6 days ago