|
|
|
Parametricity: Programming Languages, Parametric Polymorphism, Program Transformation
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
| Inhalt: |
| Please note that the content of this book primarily consists of articles
available from Wikipedia or other free sources online. In the theory of
programming languages in computer science, parametricity is a
theoretical result that states that functions that have types that are
related to each other share certain properties in common.Parametricity
is the basis for many program transformations implemented in compilers
for the Haskell programming language. These transformations were
traditionally thought to be correct in Haskell because of Haskell's
non-strict semantics. Despite being a lazy programming language, Haskell
does support certain primitive operations - such as the operator seq -
that enable so-called "selective strictness", allowing the programmer to
force the evaluation of certain expressions. |
|
i.d.R. innert 7-14 Tagen versandfertig
Newsfeed | 
Facebook | 
Twitter
