🚀 just uploaded (link in reply): "List Unfolding -
unfold as the Computational Dual of fold,
and how unfold relates to iterate" #folding #unfolding #fold #unfold #foldL #foldL_prime #unfoldL #unfoldL_prime #unfoldr #iterate #anamorphism #catamorphism #functional_programming #scala #haskell

Church numerals * are #catamorphism applied to natural numbers, waiting for an algebra
Question :
How do you define * using ski calculus, which has no types, like binary?
Where is calculus in lambda calculus?
Well it's not just the value of the function that changes, function

how do you lazily thread a #monad to your computation?
You pass it to a #functor, using a #catamorphism
You can also convert a non -recursive data type to a recursive type

#Catamorphism is #foldr and hence can factor #recursion

#catamorphism generalizes a fold, which can be seen as an optic

#catamorphism generalizes a fold, which can be seen as an optic