我在函数式编程和PLT圈子中多次听到过"enggebras"这个术语,特别是在讨论对象,comonads,镜头等时.谷歌搜索这个术语给出了对这些结构进行数学描述的页面,这对我来说几乎是不可理解的.任何人都可以解释一下代数在编程环境中的意义,它们的意义是什么,以及它们与对象和共同体的关系？
haskell functional-programming scala category-theory recursion-schemes
category-theory ×1
functional-programming ×1
haskell ×1
recursion-schemes ×1
scala ×1