I predict that GC languages will prevail and adopt affine types for advanced users to code application hot paths, like D, Swift, Chapel among others are pursuing.
Re:Zig's New Relationship with LLVM
by throwaway17_17 on Monday September 28, 2020 @11:41AM
(#24617821)
I think this is in general the right call, but I would prefer seeing the adoption of a more general substructural type system implementation and the inclusion of uniqueness types. It would not add that much complexity when the use case is specifically limited to advanced users and the obvious trade offs in syntax increase and annotations are limited to those that want/need it.
Re:Zig's New Relationship with LLVM
by nyanpasu64 on Monday September 28, 2020 @10:44AM
(#24617145)
https://boats.gitlab.io/blog/post/notes-on-a-smaller-rust/ might be inspiration for such a language.
I predict that there will be a paradigm shift away from GC in the next round of languages. I suspect what will win for something like web-dev will be a language with static memory management like Rust, but at a higher level, with slightly more tolerance for abstractions of non-zero cost.