Generic and Indexed Programming
Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraicstructures, strategies, computational paradigms, and so on. Indexed programming is a lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on. The two forces of genericity and indexing…
Mehr
CHF 54.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-3-642-32202-0
- EAN: 9783642322020
- Produktnummer: 33301743
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 259 S.
- Plattform: PDF
- Masse: 3'329 KB
- Auflage: 2012
- Abbildungen: 24 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 7470
19 weitere Werke von Jeremy (Hrsg.) Gibbons:
Bewertungen
Anmelden