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
Previous text:
2003-03-05 11:38: Subject: Name of ADT
I looked at the pdf, and it's pretty nice stuff.
However, what I personally find lacking about this sort of api is how it forces you to forfeit type checking on the objects you stuff into these Collections. I mean, no way seems to be foreseen to declare (say) a sequence as ADT.Sequence(string|Stdio.File) or something like that.
AFAIK (which is not too say too much) the java collections api suffers from a similar shortcoming, perhaps Pike might be able to improve on that somehow?
Just my 0.02.
/ rjb