David Thrane Christiansen: Personal: david at davidchristiansen dot dk I want programming to be a creative dialog between human and machine, where human creativity is aided by mechanical attention to detail. To do this, I work with advanced type systems...