I disagree - the question is how much fit is there between the type system and the logic that is being implemented using it. Reusing a solver rather than writi

I disagree - the question is how much fit is there between the type system and the logic that is being implemented using it. Reusing a solver rather than writing a solver is a powerful approach, because the type system as a solver is common across all Julia projects - there is one Julia type system. If you or I write a solver and use it in our project then everyone who comes to that project has to learn the solver. However, this logic breaks if the use of the type system is so stretched and arcane that almost no engineer has seen it before.