3 ms·

Elixir is taking a similar direction if I'm understanding correctly (they seem to insist their type system is fundamentally from Typescript's, but to this day I

Elixir is taking a similar direction if I'm understanding correctly (they seem to insist their type system is fundamentally from Typescript's, but to this day I cannot understand how, both are structural and based on set theory)

Kinrany 2y ago
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.