Has anyone done any work on type checking for Oz, either static or dynamic?
I am aware that there are good arguments for not building compulsory type
declarations into the language, but at the same time, when writing a
complicated piece of code it would be nice to be able to check that one is
passing arguments around in a consistent way. Currently, I have written a
little type checker of my own and put in calls to it (when I can be
bothered) for the arguments and results of my functions, but it's not very
elegant. I wonder if others have gone further down this road.
Thanks
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/.