Does Elixir have a highly advanced type constructors similar to “monads” in Haskell?
Could you provide an example?
1 Like
No.
Type constructors are not similar to monads, are not monads. These are two different topics.
What are you wanting/trying to do?
4 Likes
Elixir is dynamic language vs Haskell static language.
So you don’t have such rich control on types as in Haskell.
If you are looking something like datatypes and typeclasses in Haskell there are protocols in Elixir.
https://elixir-lang.org/getting-started/protocols.html
Monad in Haskell is just type class with special math laws to allow composition of things in functional way. Some functional library in Elixir
3 Likes