Lambda the Ultimate

A draft description of Modern Eiffel is online now.

The key features:

- Integration of functional and imperative programming into one language (in a
similar manner as scala)

- Variable and routines with limited scope

- Richer types (e.g. immutable types) and type inference

- Completely type safe

- Assertions can be statically verified

- Powerful concurrency

Modern Eiffel