[Tecomp-user] Draft description of Modern Eiffel is online

[Helmut B. <hel...@gm...>]

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

http://tecomp.sourceforge.net/index.php?file=doc/papers/lang/modern_eiffel.txt