4 ms·
Haskell source, essentially, is mathematical notation. Haskell's definitions are mathematical formulas. If using verbose symbols for writing those had been bett
by pandaman 13y ago
Haskell source, essentially, is mathematical notation. Haskell's definitions are mathematical formulas. If using verbose symbols for writing those had been better then, likely, mathematicians had adopted them already.
- gizmo686 13y agoActually, mathematicians have already adopted and abandoned verbose symbols.
- klibertp 13y agoWas this abandoning caused by the technology falling short, or for some other reasons? When did it happen? Would the mathematical notation evolve in the same direction if there were tools like Bret Victor suggests available? That's a very interesting question I don't see tackled at all.