Typen und Tippen – Daten­getriebene 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.

Date
2020-07-01
Time
12:15 - 13:00
Online Event
INNOQ Technology Lunch

TAGS

Comments

Please accept our cookie agreement to see full comments functionality. Read more