You'd rarely want to write lambda calculus directly for practical purposes, although Caramel looks like a very nice shorthand. But it's the fundamental basis of what functional programming is all about, and its equivalency to the turing machine means it's useful both as an analytical tool and in the context of language design. Functional languages can be seen as lambda calculus implementations with some extensions to make it easier to work with (types, constants, etc).
