Deconstructing Dependent Types with Templates

Nach einer kurzen Einführung zu Dependent Types mit Idris werden versuchen ein Beispiel mit Hilfe von Templates auseinander zu nehmen.

Dabei lernen wir hoffentlich etwas weniges zu Templates und vielleicht auch ein bisschen etwas über Concepts.

Anschliessend kann dann beim Apero noch ausgiebig diskutiert werden.

Agenda

• Kurze Einführung zum Thema
• Vortrag mit Hands-On
• Apero

Mitbringen

Eigener netzwerkfähiger Notebook mit installiertem Browser. Es ist keine IDE und C++ Toolchain nötig. Wir programmieren im Browser.

Spass, Mut und Enthusiasmus

Es sind alle herzlich Willkommen die gerne mit C++ programmieren. Egal ob Anfänger oder Experte.

Wir freuen uns auf dich.