[MLton] ML Workshop, sML Evolution, and CUFP trip report

skaller skaller at users.sourceforge.net
Wed Sep 27 11:28:06 PDT 2006


On Wed, 2006-09-27 at 17:21 +0200, Andreas Rossberg wrote:
> skaller wrote:
> > 
> > Gak, I don't understand any of that. I'm implementing typeclasses
> > in Felix at the moment:
> > 
> > (a) AFAICS there is no record to pass around: it's a whole program
> > analyser like MLton, the instance functions are known at compile
> > time and called directly (with no overhead).
> 
> You are talking optimizations, while the argument was about semantics. 

Yeah, you're right. 

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net



More information about the MLton mailing list