小编ede*_*ast的帖子

Hask本地小吗?

haskell对象的Hask类是一个本地小类的例子吗?

http://ncatlab.org/nlab/show/locally+small+category

也许不是.. hask as cpo http://www.cs.gunma-u.ac.jp/~hamana/Papers/cpo.pdf

haskellwiki,http://www.haskell.org/haskellwiki/Hask有非常好的信息,表明Hask不是Cartesian Closed.

haskell

9
推荐指数
1
解决办法
448
查看次数

标签 统计

haskell ×1