3 ms·

Might I intrest you in dependent types? Sadly we don't even have a self hosted compiler yet.

• Zarel 7y ago
  I really like dependent types as a concept! But they're not really in any mainstream languages, so I haven't had much opportunity to play around with them. :(