Highly advanced type constructors in Elixir

Does Elixir have a highly advanced type constructors similar to “monads” in Haskell?
Could you provide an example?

1 Like


Type constructors are not similar to monads, are not monads. These are two different topics.

What are you wanting/trying to do?


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.

Monad in Haskell is just type class with special math laws to allow composition of things in functional way. Some functional library in Elixir