[MLton-devel] Int.precision is 32 bits?
Stephen Weeks
MLton@mlton.org
Tue, 30 Sep 2003 15:35:39 -0700
> But it does also mean that using a polymorphic function in MLton is as
> fast as using a type annotated one, or am I wrong here?
You are right.
fun f x = x
val _ = f "foo"
val _ = f 13
is exactly as if you had written
fun f1 (x: int) = x
fun f2 (x: string) = x
val _ = f1 "foo"
val _ = f2 13
This of course has many potential performance benefits, which
massively outweigh the potential loss due to code bloat, at least in
our experience.
-------------------------------------------------------
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