[e-lang] Wiki Software

[Sandro Magi]

James Graves wrote:
> As you know, I'm not completely on-board with E itself. (*) 
> [...]
> (*) Actually, at this point, it is really just object-oriented
> programming that I'm not sold on.  I've been studying Haskell lately,
> and it has been a real eye-opener.  The power of purity, lazyiness,
> and functional programming in general is impressive.
>
> However, I'm still trying to make sense of what it means to spread FP
> style across a distributed application.  Especially one that crosses
> security domains.
>   

For selling you on object-oriented programming, perhaps you should see
the power of Scala, an FP-OOP fusion language
(http://lambda-the-ultimate.org/node/1837).

For capability security in functional languages see Emily
(http://www.hpl.hp.com/techreports/2006/HPL-2006-116.html).

A capability is simply an unforgeable reference of any kind, whether it
be an object, a function, etc. The web-calculus
(http://waterken.sourceforge.net/) exports closures across the web as
capabilities for instance.

> Objects, and object-capabilties seem more natural at this level. 
> Because you know who owns the data.

Well, objects are a simply poor man's closures
(http://www.kimbly.com/blog/000063.html). ;-)

Sandro