[MLton-devel] Int.precision is 32 bits?

[Stephen Weeks]

> The best bet I've got up until now is that MLton instances every
> polymorphic function, reaching a monomorphic language from which we
> can decide the type of all values. By preserving this type, we can
> instruct the GC to know exactly what is pointers and what is not.

That's what we do.

> What nags me is that poly->mono instantiaion like this can result in
> code explosion ...

In theory.  But we've never seen it happen.  Analogies with C++
template expansion don't seem to hold.



-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel