leastfixedpoint

Archived tweet #3574 from the @leastfixedpoint Twitter Archive
RT @dyokomizo: OO vs FP is a wrong dichotomy. Actually it's data vs codata, λ vs π, and let vs letrec, neither of which are actual dicho ...