Bob*_*Bob 6 haskell functional-programming category-theory
很棒Haskell允许我们在Hask类别中走动.但有时我觉得它太紧了.所以我有一个关于编程语言的想法,它允许我们在小类别Cat中移动,其中类别是类型,类别C和D类型的函数将是类型C-> D的函数.起初,它似乎是一个疯狂的想法,但我发现的文章由格林·温斯克尔和他的学生马里奥·何塞卡卡莫有关此类结石!然而,它仅限于Cat的一个片段.你是否认为以这种精神扩展Haskell是可能的,即,不是在Hask类别中工作,它可以在类别(或更好的,2类)Cat中工作吗？你知道任何类似于Cáccamo和Winskel的微积分吗？