Abstract:Generic programming
(GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combine two features: 1) a special type of interfaces; and 2)
implicit instantiation
of implementations of those interfaces.
Scala
implicits
are a GP language mechanism, inspired by type classes, that break with the tradition of coupling implicit … Show more
“…Injection and ejection may be formally encoded in implicit calculus [36], though due to space limitations, we provide only a sketch of it. The bare constructs operating on whole constraint sets or records could be described as follows.…”
“…Injection and ejection may be formally encoded in implicit calculus [36], though due to space limitations, we provide only a sketch of it. The bare constructs operating on whole constraint sets or records could be described as follows.…”
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.