About two years ago, I wrote about some ideas for using a typed DSL for implementing math libraries. I wanted to give a bit of a status update on that project: MegaLibm. All the work described here was done by the extremely talented Ian Briggs—if you're looking to hire a verification and optimization wizard, email me. Not everything described below currently works, but it's all pretty close. We hope to have prototypes to show off in a few months. Math Library Implementation When you import ...
