>From LtU (Lambda the Ultimate) which i recommend everyone
read occasionally!
----------
Here's the complete list of desiderata from "Independently Extensible
Solutions to the Expression Problem:"
* Extensibility in both dimensions: It should be possible
to add new data variants and adapt existing opera-
tions accordingly. Furthermore, it should be possible
to introduce new processors.
* Strong static type safety: It should be impossible to
apply a processor to a data variant which it cannot
handle.
* No modification or duplication: Existing code should
neither be modified nor duplicated.
* Separate compilation: Compiling datatype exten-
sions or adding new processors should not encom-
pass re-type-checking the original datatype or exist-
ing processors.
* Independent extensibility: It should be possible
to combine independently developed extensions so
that they can be used jointly.
Hopefully this helps elucidate why people are putting so much effort
into addressing these issues.
By Paul Snively at Sat, 07/15/2006 - 06:00
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net
-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Felix-language mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/felix-language
