Juan-Carlos Gandhi (![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2016-08-07 10:27 am
juan_gandhi) wrote2016-08-07 10:27 am
Entry tags:
Hask is not a category
http://math.andrej.com/2016/08/06/hask-is-not-a-category/
"This points much more towards a very poorly evolved pseudo-mathematical culture surrounding modern day programming language usage and design. I am assured that the biggest advocates of “haskell being a well-designed language because well … category theory and stuff” are entirely disjoint from the set of people who actually have spent far too much of their lives studying category theory."
And more, from http://stackoverflow.com/questions/12687392/why-is-seq-bad
"monads fail to satisfy monad laws with seq and undefined. And since undefined cannot be avoided in a Turing-complete language, the one to blame is seq."
From http://stackoverflow.com/questions/12617664/a-simple-example-showing-that-io-doesnt-satisfy-the-monad-laws/12620418#12620418
"All monads in Haskell are only monads if you exclude the weird seq combinator. This is also true for IO."
"This points much more towards a very poorly evolved pseudo-mathematical culture surrounding modern day programming language usage and design. I am assured that the biggest advocates of “haskell being a well-designed language because well … category theory and stuff” are entirely disjoint from the set of people who actually have spent far too much of their lives studying category theory."
And more, from http://stackoverflow.com/questions/12687392/why-is-seq-bad
"monads fail to satisfy monad laws with seq and undefined. And since undefined cannot be avoided in a Turing-complete language, the one to blame is seq."
From http://stackoverflow.com/questions/12617664/a-simple-example-showing-that-io-doesnt-satisfy-the-monad-laws/12620418#12620418
"All monads in Haskell are only monads if you exclude the weird seq combinator. This is also true for IO."