Talk:Hask
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.)
Looks like some of the information in the table is wrong. u2 _ = () is of type Empty -> (), not Empty -> a. As it stands, we don't have a real failure condition for the terminal object and arrow if you accept undefined :: Empty.