![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Что у хаскельщиков есть пять функций Bool×X → Maybe X.
http://nponeccop.livejournal.com/514644.html
Ау, бесплатные теоремы!
http://nponeccop.livejournal.com/514644.html
Ау, бесплатные теоремы!
Hask is not a category
Aug. 7th, 2016 10:27 amhttp://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."
to remember
Dec. 14th, 2012 02:23 pmBy typeclass they mean a (possibly multi-argument) functor on a discrete subcategory of Hask; by functor they mean a (possibly multi-argument) covariant functor on a subcategory of Hask.
