I write Haskell on paper all the time! Especially very type-oriented stuff. When you get that all looking good, usually the actual implementation is trivial. Yo

I write Haskell on paper all the time! Especially very type-oriented stuff. When you get that all looking good, usually the actual implementation is trivial. You just black out and build it without thinking. Because the design was so provably good on paper in types.