Diskussionsrunde zu Programmierung auf Typ- statt Implementations Ebene (Abhängige Typen, automatisches Beweisen, Prolog)
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!)
🧮
Additional information
| Type | other |
|---|---|
| Language | German |
More sessions
| 12/27/24 |
Come and join our warm, cozy -cafeinated and non-cafeinated- journey/conspiracy!
|
| 12/27/24 |
How a mathematical breakthrough made at the end of the 17th century is the workhorse of the artificial neural networks of today
|
| 12/27/24 |
[More information in the Angelsystem](https://engel.events.ccc.de/news/11)
|
| 12/27/24 |
If you are neurodivergent or looked into the topics ADHD and Autism this might be the session for you. Unsure? No worries. Curiosity is enough to participate. I'll bring some fidget toys, talk a little about stimming and accessibility for neurodivergent minds. Please bring your own topics, life-hacks and toys so we can learn from each other! *CN:* Attendees might want to raise topics that can be triggering. These can be discussed in smaller groups where everyone is okay with it.
|
| 12/27/24 |
Telefonarmbänder aus waschbarer Pappe selbermachen
|
| 12/27/24 |
Ein Awareness-Team für den Kidspace - wer macht mit?
|
| 12/27/24 |
This is a monero-beginner-friendly workshop for nerds, bring your computer to follow along and by the end you will have a monero wallet in your terminal and understand how to use it.
|
