functor definition

Type constructor plus lifting function (fmap)

added 2012-07-19T09:46:40Z by anders

quicksort is not a stable sort

Source: Quicksort is broken. Is it worth fixing?
added 2012-04-11T11:14:30Z by anders

memoizing fixed-point combinator

If you convert a recursive function to fixed-point with a Y-combinator, you can then add memoization to the combinator.

Source: Memoizing recursive functions via the fixed-point Y combinator: Applying functional programming techniques to Javascript
added 2012-03-15T15:49:56Z by anders

λ-calculus core

At it’s core, the lambda calculus contains only: variable references, single-argument anonymous functions and function calls.

Source: Church-encoded numbers, lists, booleans, conditionals with fixed-point recursion in Scheme
added 2012-03-15T15:43:43Z by anders