Abstract Heresies

As Pascal Costanza pointed out in a comment from yesterday, monadic style isn't just used for sequencing and stringing together I/O. T...

I'm taking a short digression from the theme I was developing in the last few posts. This is related, but it probably isn't obvious...

Three things are needed to support continuation-passing-style programming: First-class procedure objects or some equivalent. Genera...

Claim 2: General tail-recursion is an essential element of a programming language. By `general' tail-recursion I mean that all calls t...

Claim 1: A language that supports the ability to program in continuation-passing-style is significantly more expressive than one that does n...

What exactly is ‘linear’ about ‘linear logic’?

Assuming a 32-bit OS and processor. Suppose we define INTERN to take a series of bytes with an upper limit on the number of bytes (say 128 ...