Home » forums » LtU Forum

Modern Eiffel

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

By hbrandl at 2011-03-14 21:32 | LtU Forum | previous forum topic | next forum topic | other blogs | 6351 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Missing (-)

In your example of mandatory semicolons, you replace

a=b -x<y (z+a)=x

by

a=b; x<y; (z+a)=x

The latter inadvertently (I assume) omits the (-) before x.

By L Spice at Fri, 2011-03-25 11:40 | login or register to post comments

That is a typo. It should

That is a typo. It should read

a=b; -x<y; (z+a)=x

Thanks for the comment.

By hbrandl at Sun, 2011-03-27 18:56 | login or register to post comments