On: Type-machine

[mpoteat]

Look at what they need to mimic a fraction of our power.

[worldsayshi → mpoteat]

I wish for a language that combines the strengths of Haskell and Typescript. I suppose PureScript isn't that?

https://www.purescript.org/

[Ciantic → worldsayshi]

I'm looking at https://roc-lang.org Maybe once it matures, it could have the strengths of TypeScript and Haskell.

[behnamoh → worldsayshi]

No language is going to replace mainstream languages if it comes with minimal libraries. PS and similar langs are nice efforts but unfortunately pointless.