Since I’m spelunking around the new-languages caverns these days, I really ought to mention the long-ongoing and very interesting Fortress, brain-child of our own Guy Steele, who knows one or two things about designing languages.
The project has lots of releases and a very decent blog. I’d meaning to write about this for a while, but it was brought to top-of-mind by Guy’s latest piece there, Why Object-Oriented Languages Need Tail Calls. I’m not so full of myself as to suppose this is provoked by my recent muttering about tail calls.
I’m having a little trouble following the argument because I’ve never studied Fortress, but if I’m reading it correctly, I’d have to ask: wouldn’t a construct like Clojure’s recur meet Cook’s requirements?
Anyhow, it’s a good read.