|Version 1 (modified by nhn@…, 9 years ago) (diff)|
NEEDS TO BE FURTHER EDITED BY THE ORIGINAL CREATOR TO CLARIFY ORIGINAL INTENTION
I am not quite sure what this page is supposed to be about, but I guess it concerns the possibility of leaving out parts of type signatures which is an issue I would like to raise. Reasons for doing this include that parts of a signature can be obvious and bulky, and thus just would add clutter. One could imagine allowing e.g. an underscore to be used as an anonymous type variable. However, unlike a normal type variable, no attempt would be made to generalize it to a universally quantified variable. It stands for a specific but unspecified type.
Similarly, it would sometimes be convenient to be able to leave (part of) a context unspecified.
- Not implemented(?)