wiki:PartialTypeSigs

Version 1 (modified by nhn@…, 8 years ago) (diff)

--

Extension Name

NEEDS TO BE FURTHER EDITED BY THE ORIGINAL CREATOR TO CLARIFY ORIGINAL INTENTION

Brief Explanation

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.

References

Pros

  • Convenience

Cons

  • Not implemented(?)