Christopher Smith wrote:
Haskell and OCaml both use static typing, but they are both strongly typed.
Hrm. I must be thinking of something else then. I thought at least one of those used type inference, but weren't statically typed.
It's hard to keep straight languages that I don't use regularly.
I think your terminology is not consistent with standard terminology.
My terminology is okay. It would seem my understanding of the characteristics of Haskell and OCaML is wrong, though. ;)
Now I'm going to be racking my brain as to what language I'm actually thinking of.
-a -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
