Mon premier blog

An Introduction to Functional Programming Through Lambda Calculus Greg Michaelson
Publisher: Addison-Wesley

Kevin McCaughey 8/14/2012 5:12 PM. A while back, I blogged about (Mis)using C# 4.0 Dynamic – Type-Free Lambda Calculus, Church Numerals, and more which was a fun post and got some good feedback and solid reading numbers. I have a book "Introduction to Functional Programming with Lamda Calculus" on the pile of "books to read" but it's been there for 8 months ;). Explain Lamda's in 140 characters or less? So, let's continue our journey of brain-exploding theoretical foundational In fundamentalist functional programming the above is the most useless type for a function: it takes nothing and produces nothing, hence all those guys can be compiled away, right? However, here are the salient points: Conceptual consistency with mathematics resulting in less . Huge dividends in programmer productivity and system maintainability. Suddenly, it no longer seems that functional programming is a means to try out obscure new forms of lambda calculus. But times change Matthews answers the question in his blog post's title with a resounding "yes," and goes on to provide a brief introduction to functional programming concepts using C# 3.0. I won't go into all the reasons why it's better to write computational systems in a functional paradigm since that is covered in depth in my forthcoming book “Computational Finance and the Lambda Calculus”. However types can have diminishing returns as more types are introduced. Now it seems Functional programming was suffering from bad PR.