3 ms·

Is elixir's type system sound?

• lawn 2y ago
  The type system is still in development so we haven't seen what the end result is yet, but I believe the system they're implementing is going to be sound.