skaller wrote: > >From LtU (Lambda the Ultimate) which i recommend everyone > read occasionally!
I love lambda the ultimate. The conversation about Tim Sweeney's "The Next Mainstream Programming Languages" talk he gave at POPL just came up again. Not only do I think that felix is getting pretty close to what he's thinking, the discussion is pretty intersesting. You can find it here: http://lambda-the-ultimate.org/node/1277 Anyway, in that discussion, it goes into an interesting discussion about oop, subtyping, and subclassing. Specifically about the concept of "horizontal" subclassing, verses the traditional "vertical" subclassing from Tim's presentation. I think this could also be something interesting for the hypothetical felix object system. In short, horizontal subclassing is allowing you to extend classes with data without needing to package Engine; class Actor {int Health; …} class Player extends Actor {…} class Inventory extends Actor {…} ---- Package GearsOfWar extends Engine; class Actor extends Engine.Actor { // Here we can add new members // to the base class. … } class Player extends Engine.Player { // Thus virtually inherits from // GearsOfWar.Actor … } class Gun extends GearsOfWar.Inventory {…} The main reason why he wants this is that it would really aid in parallel development. You, and other people have pointed out various issues with subclassing and OOP (an interesting discussion here as well: http://okmij.org/ftp/Computation/Subtyping/), and something like this and structural subtyping like ocaml would certainly lead to a unique system. I, of course, have no idea how to implement this though :) Finally, this thread has a pointer to a neat paper about the ocaml object system, that might be a good reference when we get to ours: http://pauillac.inria.fr/~remy/work/virtual/ ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys -- and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV _______________________________________________ Felix-language mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/felix-language
