User loginNavigation |
Graydon Hoare: What next for compiled languages?Since everybody is talking about this post,we might as well. Key topics discussed: modules(you know, real ones); errors ("there are serious abstraction leakages and design trade-offs in nearly every known approach"); Coroutines, async/await, "user-visible" asynchronicity; effect systems, more generally (you could see that coming, couldn't you?); Extended static checking (ESC), refinement types, general dependent-typed languages; and formalization ("we have to get to the point where we ship languages -- and implementations -- with strong, proven foundations"). He goes on to discuss a whole grab bag of "potential extras" for mainstream languages, including the all time favorite: units of measure. Feel free to link to the relevant discussions from the LtU archive... |
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 5 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago