{
  "guid": "e82f8328-a1ab-4951-9011-c64bc1e8c7b1",
  "id": 828328,
  "date": "2024-12-28T20:00:00+01:00",
  "start": "20:00",
  "duration": "00:45",
  "room": "\"KliMathematik Augsburg\" Table",
  "slug": "38c3-diskussionsrunde-zu-programmierung-auf-typ-statt-i",
  "url": "https://events.ccc.de/congress/2024/hub/de/event/diskussionsrunde-zu-programmierung-auf-typ-statt-i/",
  "title": "Diskussionsrunde zu Programmierung auf Typ- statt Implementations Ebene (Abh\u00e4ngige Typen, automatisches Beweisen, Prolog)",
  "subtitle": null,
  "language": "de",
  "track": null,
  "type": "other",
  "abstract": "",
  "description": "Programmieren findet auf zwei Ebenen statt:\r\n* Typebene: Typen, Aussagen, Invarianten, API-Beschreibung, Modellierung\r\n* Implementations-Ebene: Algorithmen, Beweise, Performance\r\n\r\nWieso programmieren wir so viel auf Implementations-Ebene statt auf Typ-Ebene?\r\n\r\nTypen k\u00f6nnen aus der Implementation erschlossen werden; wieso erschlie\u00dfen wir nicht in die andere Richtung so weit wie m\u00f6glich + f\u00fcllen nur die L\u00fccken?\r\n\r\nWelche Paper oder Konzepte sollte ich kennen lernen?\r\n\r\nIch kenne die Antworten selber nur begrenzt und freue mich auf das entstehende Gespr\u00e4ch!\r\n\r\nEs ist jeder willkommen, ob mit viel Ahnung zu den Themen (sehr bereichernd!) oder daran interessiert, die Themen kennen zu lernen (enorm bereichernd!)\r\n\r\n\ud83e\uddee",
  "logo": null,
  "persons": [
    {
      "guid": "dac32a0d-d0f8-4c9a-ba4f-279507c6c45f",
      "name": "photm",
      "public_name": "photm",
      "avatar": null,
      "biography": null,
      "url": "https://events.ccc.de/congress/2024/hub/de/user/photm/"
    }
  ],
  "links": []
}