next up previous contents
Next: The Ur Standard Library Up: Type Inference Previous: Reverse-Engineering Record Types   Contents

Implicit Arguments in Functor Applications

Constructor, constraint, and constructor class witness members of structures may be omitted, when those structures are used in contexts where their assigned signatures imply how to fill in those missing members. This feature combines well with reverse-engineering to allow for uses of complicated meta-programming functors with little more code than would be necessary to invoke an untyped, ad-hoc code generator.