Softwaretechnische Aspekte

• algebraische Datentypen, Pattern Matching, Termersetzungssysteme

  Entwurfsmuster Kompositum, immutable objects,

  das Datenmodell von Git

• Funktionen (höherer Ordnung), Lambda-Kalkül, Rekursionsmuster

  Lambda-Ausdrücke in C#, Entwurfsmuster Besucher

  Codequalität, code smells, Refaktorisierung

• Typklassen zur Steuerung der Polymorphie

  Interfaces in Java/C# , automatische Testfallgenerierung

• Bedarfsauswertung, unendl. Datenstrukturen

  Iteratoren, Ströme

• Programmstrukturierung durch Monaden

  Entwurfsmuster Zustand, LINQ in C#