Quoting Peter Van Roy <[email protected]>:
Joachim Niehren wrote:
For a strongly typed version of a Mozart
motivated language see Alice ML:
http://www.ps.uni-saarland.de/alice/
All the best
Joachim
You mean *statically* typed, since both Oz and Alice ML are strongly typed.
Even Java has a static type system, but it is really weak.
I mean "strong static typing", in the sense, that you have
proper types for data structures such as "integer lists",
and cannot mix them up with any other kinds of list or
even trees.
Joachim
Peter
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
