很高兴Haskell允许我们在Hask类别中走动。但有时我觉得它太紧了。所以我对这种编程语言有了这个想法，这种编程语言允许我们在小类别Cat中移动，其中类别是类型，类别C和D类型的函数将是类型C-> D的函数。起初这似乎是一个疯狂的想法，但我找到了Glynn Winskel和他的学生MarioJoseCáccamoarticle关于这样的微积分！然而，它仅限于Cat的一个片段。你是否认为以这种精神扩展Haskell是可能的，即，不是在Hask类别中工作，它可以在类别（或更好的，2类）Cat中工作？您是否知道任何类似于Cáccamo和Winskel的微积分？