Abstract Heresies

Lisp is not the most popular computer language, yet it continues to attract a small but devoted following. Sure, you can find nutters f...

I was trying to write a procedure that would test whether tail recursion was enabled or not. It turns out that this is semi-decidable. ...

A lambda calculus is a set of rules and strategies for manipulating logical expressions. As Church defined them, these logical expressi...

A comment on my previous post said, The most difficult thing when coming to a different language is to leave the other language behind. Th...

Greenspun's tenth rule of programming states Any sufficiently complicated C or Fortran program contains an ad hoc, informally-specif...

If you have an expression that is an application, and the operator of the application is a lambda expression, then you can β-reduce the ...