[E-Lang] what is good about E?

[Marc Stiegler]

> What finally got me excited about cap (a month ago) was my realizing
> that cap techniques actually remove the obligation for the programmer to
> do much of the tedious thinking about security --and the resulting
> "combinatorial code explosion"-- that Unix and Java developers of secure
> apps are forced to do.  Specifically, Rees's 1995 paper illustrates this
> point via 3 or 4 very short examples (10 times shorter than the annoted
> eChat program and written in a language I already knew) of actual
> runnable Scheme code.

Cool! Anyone know where Jonathan Rees's 1995 paper is published on the Web?
(Hey, Jonathan Rees, is it indeed posted on the Web? :-)

Perhaps one of the things to do is translate those much better examples to
E. But your general point is wonderful:

"cap techniques actually remove the obligation for the programmer to
do much of the tedious thinking about security --and the resulting
"combinatorial code explosion"-- that Unix and Java developers of secure
apps are forced to do."

This is a wonderful passage for explaining what I've been trying to say in
other ways for a couple years now.

--marcs