[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