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.

Datum
01.07.2020
Uhrzeit
12:15 - 13:00
Online Event
INNOQ Technology Lunch

TAGS

Kommentare

Um die Kommentare zu sehen, bitte unserer Cookie Vereinbarung zustimmen. Mehr lesen