Softwaretechnische Aspekte

• algebraische Datentypen, Pattern Matching, Termersetzungssysteme

  Scale: case class, Java: 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, LINQ