Was working on Dryice last night, and came up with an interesting idea that I'm toying around with.

Instead of doing parameterized typing (where you can have a class, and perhaps some subtypes a la list<int*gt; for a list of integers), instead have a more general constraints system, e.g. list<type is int> or int<self < 10>.

I'm still toying around with this idea, and there are a couple of problems with it (for instance, < and > are bad delimiters, and I'm not sure what to do when the function you're in already has a self), but it looks more interesting/workable to me right now than something like list<int>.

Really, it's just syntactic sugar, but it means I can get away without implementing "real" parameterized types. ;)

-- Des