Learned to program by starting with JavaScript. Now calls himself a functional programmer and proponent of proofs as programs. Spends a lot of time trying to combine these distant worlds.