On 06/04/2009, at 5:54 PM, Erick Tryzelaar wrote: > > [1]: http://www.bitc-lang.org/docs/bitc/bitc-origins.html
Quite an interesting paper .. pity they didn't know about Felix. Typeclasses with semantics which talk to theorem provers! Ok, the formulae are weak (only universal quantification at the top level is allowed .. that's all Felix allows for the functions too. The const vs. mutable thing is funny (that's the very problem being discussed under "lvalue" at the moment, in a different guise). Note also, Felix pointers are never to const things (never implemented). And there's no proper distinction between object pointer and the more general kind C has which can be incremented (pointers into arrays). Anyhow, interesting reading.. -- john skaller skal...@users.sourceforge.net ------------------------------------------------------------------------------ This SF.net email is sponsored by: High Quality Requirements in a Collaborative Environment. Download a free trial of Rational Requirements Composer Now! http://p.sf.net/sfu/www-ibm-com _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
