Talk:Hask

From HaskellWiki
Revision as of 06:40, 11 January 2018 by Lyxia (talk | contribs) (Created page with "= The category actually does not exist = See http://math.andrej.com/2016/08/06/hask-is-not-a-category/ It would be better to clearly define Hask, and either fix it to be a c...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

The category actually does not exist

See http://math.andrej.com/2016/08/06/hask-is-not-a-category/

It would be better to clearly define Hask, and either fix it to be a category, or admit it is not a category with a clear explanation of what is broken and what can be saved. (Formalize fast-and-loose reasoning.)