Although it does mostly work, the specializer code (which is in charge of monomorphization) is flimsy and bug-prone, difficult to read and understand, and needlessly asynchronous (which makes it hard to debug). It is also inefficient and makes too many copies of the graphs.
It should be rewritten in order to solve all of these problems.
breuleux
commented
5 years ago
Although it does mostly work, the specializer code (which is in charge of monomorphization) is flimsy and bug-prone, difficult to read and understand, and needlessly asynchronous (which makes it hard to debug). It is also inefficient and makes too many copies of the graphs.
It should be rewritten in order to solve all of these problems.