Lambda the Ultimate

(via slashdot and OSNews)

Bossa is a framework for scheduler development, including "a domain-specific language (DSL) that provides high-level scheduling abstractions that simplify the implementation and evolution of new scheduling policies". The DSL compiles via C to kernel code.

Interestingly, the DSL includes constraints such as "the absence of pointers, and the impossibility of defining infinite loops". A good example of a language that forsakes general-purpose features in order to provide verifiable safety guarantees.

The quickest way to get a flavour is probably to read the release notes.