I've never heard of that language. Amusingly, I had toyed in my head with the idea of modeling this language. Seems you pretty much have to have some notion of "dynamic" typing, since the type of a variable changes on calls to it.

Thanks for the pointer, here is a link, for those that will also find this interesting. http://wiki.clean.cs.ru.nl/Clean

It's not really dynamic typing..

Yeah, that is why I put it in quotes. I didn't know what it would be. Apologies for not making that clearer. This is all admittedly way over my head. Very fun to explore, though.

By an accident of history, I learned Clean before I heard of Haskell. It's a fun language.