catamorphism

5ısı

1cevap

Kilise kodlu listeler için Catamorphisms

Kilise kodlaması için cata paketini recursion-schemes paketinden kullanabilmek istiyorum. type ListC a = forall b. (a -> b -> b) -> b -> b Kullanışlılık açısından ikinci bir sıralama türü kullandım,

haskell recursion church-encoding catamorphism recursion-schemes 2015-07-16

---