I wrote another Kernel -ish interpreter in JavaScript: Virtua . This time, no tail-call optimization or first-class continuations, just plai...

Reading this incredibly insightful article The Algebra of Data, and the Calculus of Mutation finally drove home the point to me why FP folk...

Smug Kernel Weenies - known to be even smugger than Smug Lisp Weenies - are advised to check out Dale Schumacher's series on Kernel: F...

Why Dart Types Are Optional and Unsound contains the following example: class Mammal {} class Cow extends Mammal { String moo() => '...

Yeah, big data and massive parallelism in the cloud are exciting! But there are two problems with the cloud: Technical: doing stuff in centr...

On Twitter last night, Paul Snively and I had one of our recurring type systems vs interactivity discussions. Paul made his point clear: M...

TL;DR: Restartable exceptions are a must for new languages & they're dead simple to implement. A dormant LtU thread on Go's pro...

Straight outta Rob Pike's Command Center: Esmerelda's Imagination : I resolve to recognize that a complaint reveals more about the ...

Thank you Paul Graham for the Lisp renaissance. Say what you like about the tenets of Lisp, Dude, at least it's an ethos. Some signs tha...

Goto-considered-harmful-weenies (don't trust 'em) should ponder the following remark from the Novelties of Lua 5.2 : continuations a...

Summary: another year of broken lexical scope and broken type systems. There will be a new language with broken lexical scope (remember, ...

Call-by-push-value has a seducing PR message : Science is reductionism. Once the fine structure has been exposed, why ignore it? Unfortunate...

Let's take a look at my PL Predictions for 2011 : ▶ JSON will be the default format for new internet APIs. I'm not sure how ...

Bugs and Battleships by Edward Z. Yang: One might even say that the ability to generalize behavior of specific tests to the behavior of the...

One of my all-time favorite quotes : Uniform Resource Locator is just the result of squeezing the term object reference through the IETF s...

'Twas November, 30 years ago: Aucbvax.5036 fa.editor-p utzoo!decvax!ucbvax!editor-people Mon Nov 9 17:17:40 1981 > From RMS@MIT-AI M...

The Go Programming Language turns two . I really want to like Go (Commander Pike is one of my heroes, and systems programming currently eith...

It is something of a commonplace to say that Horror JavaScript is a Lisp or Scheme in disguise. But that's completely wrong! Yeah, JavaS...

I'm working on a Ninjas/Nazis/Bavarian Illuminati/Aliens/Werewolves* movie, so I don't have as much time for PL geekery atm. Here ar...

Open, extensible composition models by Ian Piumarta. Did VPRI just enter the FEXPR game? The evaluator corrects several semantic inadequac...

The post on Dennis Ritchie by Herb Sutter is wonderful: Before C, there was far more hardware diversity than we see in the industry today. ...

Jacques Mattheij introduces an evocative term: toolstrapping : "Whatever tool you are building, you need that tool to build the tool....

People get annoyed when they must write two lines of code instead of one, but I don't. It's called programming. – Rob Pike