Encoding business logic in types| fsharpforfunandprofit.com
Two-dimensional cellular automaton| en.wikipedia.org
