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

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