INNOQ Technology Lunch: 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.

#StayHome – einfach aus dem Homeoffice teilnehmen!

Klicke hier auf „Teilnehmen“, wenn Du dabei sein möchtest.

Für die Veranstaltung gilt der Berlin Code of Conduct (https://berlincodeofconduct.org/de/). Bei Fragen wende Dich gerne an technologynight@innoq.com.