I posted my original question about whether any work has been done on type
checking in Oz/Mozart, and after a week nobody has mentioned any...so I
guess the answer is that nothing has been done on this? If that's correct,
then putting such an (optional) facility into the compiler would certainly
have my "vote" as something that would enhance the software development
process!
David
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.