SML なら Poly/ML がネイティブスレッドに対応してるよ