I have ideas, but I forgot how they work...
| > mixed t=typeof(1); | > t; | (1) Result: int(1..1)
:-)
/ Mirar
Previous text:
2003-03-05 15:14: Subject: Name of ADT
I guess it should be possible to type check objects by passing a program at creation time and then only allow objects that is of that program or subtypes of that program. But I have no idea of how to solve it for primitive datatypes.
/ Peta, jo det är jag