Archive

When I say "Monads aren't difficult, and you are smart enough to understand them," I'm now going to link to

CS240h: Functional Systems in Haskell #haskell #systems #programming #functional

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research. Version 2.01 implements the full SML language, including SML Modules, and much of the SML Basis Library.

Certified Programming with Dependent Types
latest update September 26, 2013

Teh new awesomeness in programming language books crowd.

Who would have thought that the programming languages of the 21st century will be built upon foundations of logic theory from the 19th and 20th?

Here is a list of functional programs applied to real-world tasks. The main criterion for being real-world is that the program was written primarily to perform some task, not primarily to experiment with functional programming.

when we embrace the math, sometimes the loss in flexibility is more than compensated for by the increase in functionality.

erm! what else?