Viewing profile — buffyoda

HaskellBook.com will teach you quite a number of them. :) The Reddits for the different functional programming languages are a good place to hangout (and a frequent source of blogs…

Free monads can be inspected "up to the first lambda", which is always at least one operation in, and it's what enables things like purely functional mocking. However, other free s…

That's why not everyone's a functional programmer. :)

That helps quite a lot, although for several, it's more programming-by-name than programming-by-semantics. I'd like to be able to say the end angle has to be less than the start an…

I'm a big fan of the philosophy that "Every literal in a program is a bug." :) But I know what you're getting at! Personally, I'm a fan of programming with units and dimensions, an…

Indeed, that's the whole point of inversion of control, is pulling the control out of the caller and into the callee. That's the primary reasoning benefit of functional programming…

A church encoded boolean is precisely isomorphic to every language's standard booleans (modulo strictness, perhaps) and doesn't offer any benefits; you're still forking the program…

Compose (now IBM) has been in this business for quite some time. If true, will be interesting to see if MongoDB can outdo them.