4 ms·
So, is there a compile step to catch all of the type errors (and hopefully to perform AOT optimization later)?
by didip 3y ago
So, is there a compile step to catch all of the type errors (and hopefully to perform AOT optimization later)?
- H12 3y agoMy 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 https://youtu.be/giYbq4HmfGA?si=ZYf1g_GXr4LmHQ3H
- di4na 3y agoNote 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