> 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.

Indeed, 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.

I 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_scientis...