On: It’s lambdas all the way down

[sampo]

> I think there are really two types of programming languages, "idea" languages and "practical" languages.

Idea languages invent features (first order functions, closures, garbage collection, algebraic types, structural patterns matching, type inference, ...) and 10-20 years later these start to appear in practical languages, too.

[overgard → sampo]

No doubt, idea languages are where the innovation happens and they're very important in that regard.