Parallelism is not new; the realization that it is essential for continued progress in high-performance computin...

I'm starting to dig type systems, which I have ignored for years. I'm still not able to make it through a single page of TAPL in one...

I've been bitten two times by CLOS' multimethods, so badly that I became totally anti-MMD. The problem is that in CLOS, modification...

In the past days I've studied type systems for OOP, with an eye towards making them work in a Lisp. Cecil and its successor Diesel alr...

On LtU , Anton van Straaten repeatedly and vehemently made the point that users of dynamically type-checked languages don't program with...

I'm writing this blog because I think a lot about PLs and because sometimes I like to write about my thoughts. If I seem to diss a PL, d...

All true Lisps have a very important feature: you can enter any expression any time . (Subject to some static rules of course. E.g. you can...

A recent comment — and a golden Czech pilsner — puts me in the right mood to comment on one of my pet peeves: the fallacy of an urgent need...

Nothing bothers me more than a flawed language feature, for which there's a well known, working solution in another language. Really, I ...

I'm nearing completion of the kernel language of my new Lisp, the Executable and Linkable Lisp, ell (1) . It's basically what I wan...

Unix won. The next Lisp has to rename all occurrences of foreign (and even worse, alien ) to native . This alone will be a major step forwa...

I'm a sucker for articles mentioning "the next Lisp". I just read Mark Tarver's, and I thought I'd jot down some quick...

As I've said before, the great thing about Lisp is it's age. Like a good wine, Lisp has had a long time to age. I think one of the b...

Because macroexpansion is performed before compilation, the compiler receives only core language expressions with known semantics (LAMBDA, D...

Since the early eighties (beginning with Scheme and T ), most Lisps began to settle around a common core . (This also coincides with the p...

There is beauty in the fact that Lisp expressions are called forms . Form is really fundamental. And so are Lisp expressions. While Lisp ex...

(Thanks to Cpunx for the tagline.)

In Lisps like Common Lisp, code is data. (In CL, code is represented as cons lists, which totally sucks, because you can't attach any me...

Because Clojure ignores Lisp. Put that gun down, and let me explain. Lisp is a process. Progress is measured in decades. Lisp gets lexical s...

The Emerging Languages Camp looks interesting, even if ole' astroturfer Tim Oh Really is sponsoring it. My big hope is that Slava will ...

Lisp is ugly. Will always be. If you care, you're just not ready yet. One of my big Common-Lisp-Aha!-moments was when I realized that un...

Welcome to the Axis of Eval, my new blog about programming (languages). With a lisp.