3 ms·
This article shows how it's hard to design and implement a novel and powerful language like Rust. You have to understand "Haskell concepts" like GADTs and then
by tuukkah 7y ago
This article shows how it's hard to design and implement a novel and powerful language like Rust. You have to understand "Haskell concepts" like GADTs and then try and find a way to hide them from the users of the language.
- pjmlp 7y agoErik Meijr and his team did wonders bringing Haskell concepts to VB and C#. "Confessions Of A Used Programming Language Salesman, Getting The Masses Hooked On Haskell" https://www.researchgate.net/publication/237445028_Confessions_of_a_Used_Programming_Language_Salesman_Getting_the_Masses_Hooked_on_Haskell https://www.researchgate.net/publication/237445028_Confessio...
- fluffything 7y ago> Erik Meijr and his team did wonders bringing Haskell concepts to VB and C#. If it took wonders to make Haskell concepts mainstream in languages with a GC, I can only describe what Rust achieves as true miracles.
- pjmlp 7y agoIndeed, however having a GC doesn't preclude having linear types as well, thus having the cake and eating it too. In any case, Rust has already managed other language designers to take a look into adopting such type systems ideas, in itself that is a big victory from Rust community.
- jadbox 7y agoI think Erik Meijer deserves a lot more recognition. He's brought so many concepts from a theoretical [often inspired from lambda-calculus white papers] and developed them into concrete software paradigms and tools. https://en.wikipedia.org/wiki/Erik_Meijer_(computer_scientist) https://en.wikipedia.org/wiki/Erik_Meijer_(computer_scientis...