3 ms·

I like that new mainstream languages, and updates to major existing languages, are bringing in a lot of ideas from functional programming languages. Perhaps th

I like that new mainstream languages, and updates to major existing languages, are bringing in a lot of ideas from functional programming languages. Perhaps the C# of tomorrow will look like the Haskell of today.

sdegutis 10y ago
But then what would the Haskell of tomorrow look like?
- phren0logy 10y ago
  Haskell.
- mee_too 10y ago
  Like C# of yesterday, after people realize they can put all their program code in a single IO monad for ultimate power and flexibility :)
- piaste 10y ago
  Template Haskell? Control.Arrow? Idris?
louthy 10y ago
I'm working on it :) [1] "Also there is support for the much more difficult higher-order polymorphic types like Monad<MA, A>. LanguageExt 2.0 provides a fully type-safe and efficient approach to working with higher order types. So yes, you can now write functions that take monads, or functors, or applicatives, and return specialised types (rather than interfaces or dynamic results). So intead of writing a function that takes an option, you can write one that takes any monadic type, bind them, join them, map them, and return the concrete type that you pushed in." [1] https://github.com/louthy/language-ext/releases/tag/2.0.26-beta https://github.com/louthy/language-ext/releases/tag/2.0.26-b...