Archives for May, 2015

Pure

In my last post on Procedures in a Pure Language, I discussed how even a “purely functional” programming language such

Posted in Programming Language Design Tagged with: , , , ,

Pure

The fact that you can write procedures, which produce side-effects, in Haskell, which is supposed to be a pure language,

Posted in Programming Language Design Tagged with: , , ,

currypufffold003

Implicit currying and folded application are language feature that render moot the distinction between curried and un-curried functions, allowing functions

Posted in Programming Language Design Tagged with: , , , , , ,

Aristotle

Functional Equality or Everything is the Same, Everything is Different or When 2+2 is not 4 In this post, I’ll

Posted in Programming Language Design Tagged with: , ,