范畴论及声明式编程
Category Theory and Declarative Programming
https://bartoszmilewski.com/2015/01/07/products-and-coproducts/
以上链接中提到的泛构造、对于多个符合模式的范畴、如何比较应该再仔细思考一下
declarative programming
Category Theory and Declarative Programming
https://bartoszmilewski.com/2015/01/07/products-and-coproducts/
以上链接中提到的泛构造、对于多个符合模式的范畴、如何比较应该再仔细思考一下
declarative programming