We have shown that the initial algebra semantics of nesteddatayptes is valid in a wide class of categories. The reson that thisis useful is that there is a unique Morphism (a fold or catamorphism[9] form each ini- Tia...
详细信息
We have shown that the initial algebra semantics of nesteddatayptes is valid in a wide class of categories. The reson that thisis useful is that there is a unique Morphism (a fold or catamorphism[9] form each ini- Tial F-algebra to any other F-algebra φ: F F→*** are standard operators in functional program- Ming, and satisfyfusion laws that are useful for pro- Gram transformation.
暂无评论