Typen und Tippen – Datengetriebene Typen in Idris
Ausdrucksstarke Programmiersprachen und kurze Feedback-Schleifen sind entscheidend für effektive Software-Entwicklung. In dieser Mittagspause werfen wir einen Blick auf Idris, eine Programmiersprache mit First-Class Types. In einer kurzen Live-Coding-Session werden wir entdecken, wie die Sprache es uns erlaubt, Werte und Typen zu kombinieren. Das Verwischen der Grenze zwischen den beiden Domänen führt zu einigen faszinierenden Eigenschaften und Ausdrucksmöglichkeiten.
- Datum
- 01.07.2020
- Uhrzeit
- 12:15 - 13:00
- Online Event
- INNOQ Technology Lunch