Event

Programmieren findet auf zwei Ebenen statt:

• Typebene: Typen, Aussagen, Invarianten, API-Beschreibung, Modellierung
• Implementations-Ebene: Algorithmen, Beweise, Performance

Wieso programmieren wir so viel auf Implementations-Ebene statt auf Typ-Ebene?

Typen können aus der Implementation erschlossen werden; wieso erschließen wir nicht in die andere Richtung so weit wie möglich + füllen nur die Lücken?

Welche Paper oder Konzepte sollte ich kennen lernen?

Ich kenne die Antworten selber nur begrenzt und freue mich auf das entstehende Gespräch!

Es ist jeder willkommen, ob mit viel Ahnung zu den Themen (sehr bereichernd!) oder daran interessiert, die Themen kennen zu lernen (enorm bereichernd!)

🧮