Hal Fulton ha scritto: >> Already knew about dynamic <> static and strong <> weak. >> >> But nominal <> structural is what I was looking for in this case. Thanks! >> > > I have never heard these terms used this way, but it is interesting. > > Are those in common use by some group of people somewhere? all the people that actually understand typing issues, it seem :) And with this I mean: lambda-the-ultimate.org and the people working with languages such as ML dialects, haskell and in general functional stuff with static checks. At least it seem to me.