Anchors may drag you down.

Anchors are a Real Good Thing (TM). But the compiler is pretty involved in their evaluation.

Liberty will use the same strategy as SmartEiffel: feature specialization. Each type specializes its features to eliminate anchors while correctly resolving them.

This creates a full flotilla of features... but their buoyancy is improved.

The Liberty Interpreter

The interpreter starts to work!

Objects are correctly created, features are called, contracts are checked, built-ins will be finished in a matter of days...

Now I need ideas for an efficient plugins implementation.

Although I have a few ideas (far from being ripe!) I'd be glad if some people could propose something.

What do you have in mind? Just go wild :-)