FYI, Chameleon supports a combination of lexically scoped
and partial type annotation. The latest Chameleon version
is a broken (fix on its way). Though, besides the implementation
there's also a concise formal description. See
[July 2005] Lexically Scoped Type Annotations
http://www.comp.nus.edu.
instead of introducing holes in types and contexts to leave
parts of a declaration unspecified, why not use type subsumption?
it has been pointed out to me that I should be more specific about
what I mean with this suggestion (not least to ensure that I don't
suggest to use subsumption t
when trying to look up the state of this proposal, I noticed:
- there seem to be two parallel versions (probably signatures
is an older form, and all references ought to point to annotations
instead?):
http://hackage.haskell.org/trac/haskell-prime/wiki/HaskellExtensions
points to: