[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