What is the point of Haskell programming? So Haskell is…
0 reactions
What is the point of Haskell programming?
So Haskell is using Category Theory formalism. I don't quite get the advantage of it. I learned something like it allows to do proofs of function types. Is that it? Why is this Category Theory formalism useful here? Does it say anything deeper? For example, should the language that advanced human species in future or aliens use be a category of some sort?
#technology
So Haskell is using Category Theory formalism. I don't quite get the advantage of it. I learned something like it allows to do proofs of function types. Is that it? Why is this Category Theory formalism useful here? Does it say anything deeper? For example, should the language that advanced human species in future or aliens use be a category of some sort?
#technology
| 1,000 mlx | |
| 1 | |
| 0 |