Tumblelog by Soup.io
Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.

December 26 2012

Theorems for free!

Philip Wadler - From the type of a polymorphic function we can derive a theorem that it satisfies. Every function of the same type satisfies the same theorem. This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus.

Theorems for free!

Philip Wadler - From the type of a polymorphic function we can derive a theorem that it satisfies. Every function of the same type satisfies the same theorem. This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus.

The Downfall of Imperative Programming

Bartosz Milewski: "After dedicating many years of my life to C++ and imperative languages, I decided to switch to functional programming and try to convince as many programmers as I can to make the same decision."

The Downfall of Imperative Programming

Bartosz Milewski: "After dedicating many years of my life to C++ and imperative languages, I decided to switch to functional programming and try to convince as many programmers as I can to make the same decision."

Functional Programming in C++

John Carmack - Founder and technical director of Id Software and Armadillo Aerospace

Functional Programming in C++

John Carmack - Founder and technical director of Id Software and Armadillo Aerospace

Elm: Making the Web Functional

Evan Czaplicki introduces Elm, a functional reacting programming language meant to replace HTML/CSS/JavaScript, optimized for creating web GUIs, supporting complex user input and avoiding callbacks.

August 20 2011

January 01 2010

October 08 2009

Older posts are this way If this message doesn't go away, click anywhere on the page to continue loading posts.
Could not load more posts
Maybe Soup is currently being updated? I'll try again automatically in a few seconds...
Just a second, loading more posts...
You've reached the end.

Don't be the product, buy the product!

Schweinderl