Multiple-dispatch is the right abstraction for programming mathematics. It provides both the flexibility required to create scientific software in layers (scien

Multiple-dispatch is the right abstraction for programming mathematics. It provides both the flexibility required to create scientific software in layers (science has a LOT more function overloading compared to any other field.), and the information required to compile to fast machine code.