|
|
|
|
|
|
by instig007
349 days ago
|
|
|
> For example, there's no way to implement a function `List<T> -> T` using monad operations; it requires something entirely separate (e.g. indexing into a List, in this case). this is called catamorphism, that is folding. The opposite transformation is called anamorphism, that is generation from a seed value. |
|
|