Vortrag: Lieber ein Typparameter zu viel als einer zu wenig

Zusammenfassung

So gut wie alle modernen Programmiersprachen erlauben es, Routinen zu parametrisieren – über Werte und über Typen. Für Letzteres gibt es verschiedenen Begriffe: "Templates", "Generics" oder aber "Parametric Polymorphism". Diese Begriffe sollen hier einmal geklärt werden. Außerdem lernen wir die Vorteile von Typparametern kennen und warum Type Erasure in Java nicht nur richtig, sondern auch notwendig ist. Schließlich kommen wir auf Philipp Wadlers einflussreichen Artikel "Theorems For Free" zu sprechen, welcher eine Technik beschreibt, mit der wir Aussagen über Programme nur anhand der Typen treffen können.

Folien

Aufzeichnung

Events

  • rheinJUG, Düsseldorf, Deutschland, 2. Februar, 2020 Recording Slides Link
  • Softwerkskammer Rhein–Neckar, Mannheim, Deutschland, 11. November, 2019 Slides Link
  • Herbstcampus, Nürnberg, Deutschland, 4. September, 2019 Slides Link
  • JUG Ostfalen, Braunschweig, Deutschland, 18. Juli, 2019 Slides Link
  • JavaLand, Brühl, Deutschland, 19. März, 2019 Slides Link

Artikel

Zu diesem Thema habe ich auch einen Artikel geschrieben, der frei online (PDF) verfügbar ist.