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.
