March 28th, 2010

beartato phd

(no subject)

I swear I'd already read this article by Conal Elliott before, but it came up on LtU just now again, and reading it again it seems strangely resonant, almost as if I never really got it the first time.

To paraphrase (and perhaps vary a little) the point he's making: it's hard to really see what FP (and I think also types) can do for us, because the broader environments and systems in which we use functional programming tools are still imperative (and more or less unityped).