The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Extended Report: The Implicit Calculus
[article]
2012
arXiv
pre-print
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 instantiation with a special type of interface. Instead, implicits provide
arXiv:1203.4499v1
fatcat:pykj7uowufhx7peh65ly4x7pum