The Laconic programming language family

This project has been superceded by the Ur project.

You have happened along a programming language design project in its early stages. The basic premise of the project is that dependent type systems can be put to real practical use as a basis for statically-checked metaprogramming; in particular, I'm focusing initially on web applications.

There are a number of tidbits available here already:

• A slightly out-of-date demo showcasing the main features of the Laconic/Web language by example
• A technical report describing the main ideas of Laconic
• The source code in CVS for a rickety and very lightly documented alpha compiler implementation; the brave can check it out by following these instructions to obtain module laconic.

I'm putting this project in stasis for a bit while I focus on developing the infrastructure needed to make it more pleasant to develop implemementations of new dependently-typed programming languages. --Adam