Hacker News new | ask | show | jobs
by H12 897 days ago
My understanding is "yes, but only type errors that violate guards and pattern matching".

Jose's elixirconf keynote this year did a great job providing details on how how this new type system works:

https://youtu.be/giYbq4HmfGA?si=ZYf1g_GXr4LmHQ3H