Lambda the Ultimate

From the ATS2 mailing list, a post with a history and an update:

As the primary uncertainty stems from the novel and complex template system of ATS2, I would like to tell you a bit about the motivation behind it.

ATS Trilogy
Part 1. Dependent Types
Part 2. Linear Types
Part 3. Function Templates

The thread is a discussion about how to achieve a language that "provides a powerful high-mechanism for writing (source) code" and some other languages we are all familiar with are (albeit briefly) looked at.