Type inference of all constructs and the next 15 monthselixir-lang.org 14 pointsjosevalim8 months ago2 commentsSaveHideCopy link On HNComments−petejodo8moAppreciate all the work done by the Elixir team on this. If at some point something makes the type system unfeasible, does it mean it would be unraveled from the compiler or is it safe to say what's been released now is there for good?−josevalimOP8moHard to say, as it really depends on what goes wrong. In practice we would likely need to make different trade-offs (for example, do less inference).
Comments
Appreciate all the work done by the Elixir team on this. If at some point something makes the type system unfeasible, does it mean it would be unraveled from the compiler or is it safe to say what's been released now is there for good?
Hard to say, as it really depends on what goes wrong. In practice we would likely need to make different trade-offs (for example, do less inference).