On Tue, 2007-07-10 at 12:12 -0400, Sandro Magi wrote: > On 7/10/07, skaller <[EMAIL PROTECTED]> wrote:
> > The thesis is rather long, but I've looked at E and am not > > particularly convinced. > > Convinced of what? The concurrency safety? The security claims? E > covers quite a bit of ground. The basic problem is finding the right primitives to build parallel system on top of: the key property is probably composability. Felix uses a CSP like model with threads and channels. I'm "not convinced" you need anything more, or that this is not in fact the best possible axiom set. A key advantage of those constructions is that they can be implemented to work with blinding speed. The model also corresponds the THE most well known and heavily used parallel computing paradigm: chips and circuits. That model in turn has some very heavy duty category theoretic bases. However, as always, the primitives aren't what you need for everyday programming. Still it can be used. In the SDL demos I use this. It provides vastly superior composition and modularity properties -- you make some chips, and wire then together to make others. The big problem here is that the circuits are static: you have a global set of wires connecting the chips. Dynamic extensions needs ways to make the wire names anonymous .. such as the simple example of unix filters. So .. I'm not convinced of the need for a 'vat' or what it really does etc. -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
