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
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 2 days ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 4 hours ago
51 weeks 4 days ago
51 weeks 4 days ago