|
|
|
|
|
|
by maxander
3909 days ago
|
|
|
The idea of "notation as intelligence augmentation" is the reason (or one of them) that Haskell programmers are so enthusiastic about things like functors and monads; type theory is its own branch of mathematics that could be appended in the list of things like calculus and vector analysis [1], and might bring in the same kind of new levels of thought and abstraction. [1] Disclaimer; I am not a mathematician. |
|
|