Dienstag 14. Februar 2023: 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 Apéro noch ausgiebig diskutiert werden.

Agenda

• Kurze Einführung zum Thema
• Vortrag mit Hands-On
• Apéro

Ort

bbv Software Services AG, Blumenrain 10, Luzern, 1. Stock

Datum

Dienstag 14.02.2023, 19 - 21 Uhr (Anschliessend Apéro)

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.

Anmeldung

Erfolgt über den Meetup Event oder über das Kontaktformular auf dieser Webseite.

Wir freuen uns auf dich.