Hacker News Reader

So, is there a compile step to catch all of the type errors (and hopefully to perform AOT optimization later)?

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

Note that there are already some of this stuff in the compiler for AOT. Using these new specs for AOT optimisations is going to be a far taller problem than catching some of the errors

Reply on news.ycombinator.com