What do you prefer to use for type checking Elixir/Erlang code? (poll)

Unfortunately there is a notable performance overhead with PureScript due to its use of unmonomorphised type classes, and the generated code is quite unfriendly if you’re trying to use it from Erlang or Elixir.
Gleam is designed for this use case so doesn’t have these problems, but does have the same level of type safety.

3 Likes