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.
Perhaps the C# of tomorrow will look like the Haskell of today.
"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-b...
Control.Arrow?
Idris?