On Sat, 2007-03-31 at 14:48 +1000, skaller wrote: > I'm looking at reductions in light of the GHC techniques described > in this paper: > > http://research.microsoft.com/~simonpj/Papers/rules.htm > > and as part of that I'm looking at the foldr/build model > of lists
Well interesting. The fusion requires second order polymorphism, which Felix doesn't support: polymorphic functions can't be passed as values (only instances of them). The funny thing is the reduction rule does NOT actually require a run time polymorphic function, but still seems to require second order overloading to typecheck. -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net ------------------------------------------------------------------------- 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 Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
