[grumpyprole]

This one's older, but here's an example using Haskell: http://www.timphilipwilliams.com/slides/minecraft.pdf

The main idea is algebraic composition (a non-commutative monoid).