A proof-of-concept purely functional "game" using typed big-bang in Racket - View it on GitHub