| | |
Summary: Grundlagen Scrap Your Boilerplate Type-indexed data-types Zusammenfassung
Funktionale Programmierung
Generische Programmierung
Hans-Wolfgang Loidl, Andreas Abel
LFE Theoretische Informatik, Institut f¨ur Informatik,
Ludwig-Maximilians Universit¨at, M¨unchen
25. Juni 2009
Hans-Wolfgang Loidl, Andreas Abel Funktionale Programmierung
Grundlagen Scrap Your Boilerplate Type-indexed data-types Zusammenfassung
Grundlagen
Sprachdesign ist grunds¨atzlich ein Kompromiss zwischen
Flexibilit¨at und Sicherheit.
Sprachen mit statischem Typ-System bieten einen hohen Grad an
Sicherheit ("well-typed programs don't go wrong"), sind aber
weniger flexibel als ungetypte Sprachen.
Ein Ansatz um die Flexibilit¨at zu erh¨ohen ist es typ-basierte
Techniken einzuf¨uhren, um gleichartige, generische, Programme
zu definieren.
Hans-Wolfgang Loidl, Andreas Abel Funktionale Programmierung
Grundlagen Scrap Your Boilerplate Type-indexed data-types Zusammenfassung
|
