and called catamorphisms and anamorphisms respectively. 2.1 Example: finite lists. Suppose that we define a functor L : SET → SET by LA = 1+(N×A) and.
確定! 回上一頁