2 ms·

OP here. This is substantially different than what exists in PHP. I tried to hint about this when referencing "nominal" vs "structural" in the piece, but you ca

by pbiggar 13y ago

OP here. This is substantially different than what exists in PHP. I tried to hint about this when referencing "nominal" vs "structural" in the piece, but you can just about say "I expect the parameter to be this type" in PHP, which is substantially less powerful than this.

seanmcdirmid 13y ago
Gradual typing is not as radical, however, as a fully type inferred language, see: http://research.microsoft.com/apps/pubs/default.aspx?id=196162 http://research.microsoft.com/apps/pubs/default.aspx?id=1961... I think we can go much farther in this area than we have with Hindley Milner. Of course, this is still research, but as long as you are claiming "biggest advance in the last few decades" I might as well just throw this out there.