Abstract
The more expressive a type system, the more type information
has to be provided in a program. Having to provide a type is
sometimes a pain, but lacking expressivity is often even worse. There
is a continuous struggle between expressivity and (type-)verbosity. However,
even very expressive type systems allow type inference for parts of
... read more