[e-lang] Volunteering

[Kevin Reid]

On Apr 28, 2004, at 2:14, Mark S. Miller wrote:

> To bridge this gap, and inspired by the Squeak folk's experience with 
> Slang
> -- a stylized subset of Squeak which compiles to C -- I've been 
> thinking about defining a strongly typed subset of E called Tyyp-E. In 
> Tyyp-E, guards
> are non-optional and can only represent Java types. A Tyyp-E program 
> must
> statically type-check according to Java (or Java1.5) static type 
> checking
> rules.

Perhaps include simple type inference (e.g. in e`def x := y()` x gets 
the type of y.run/0)?

...
> We are currently building up to having a stable definition of Kernel E 
> 0.9 /
> alpha, so now is a good time to discuss strategy for how to advance 
> these
> ideas towards adoption. While several of the above directions are 
> exciting,
> our main danger is spreading ourselves too thin. We aren't making fast
> enough progress even on our current agenda. We need to make some 
> choices.

Before Kernel-E is frozen as you had mentioned before, the problem of 
access to exception data must be solved, as this will likely involve 
changes to Kernel-E.

http://www.eros-os.org/pipermail/e-lang/2003-December/009374.html

http://bugs.sieve.net/bugs/?func=detailbug&bug_id=125503&group_id=16380

http://www.eros-os.org/pipermail/e-lang/2004-January/009442.html

-- 
Kevin Reid