Found 2 bookmarks
Custom sorting
Does it matter if Hask is (not) a category?
Does it matter if Hask is (not) a category?
Andrej Bauer raises a question whether Hask is a real category. I think it’s a legitimate question to ask, especially by a mathematician or programming languages researcher. But I want to look closer at how a (probably negative) answer to this question would affect Haskell and its community.
·ro-che.info·
Does it matter if Hask is (not) a category?