Folge 9: Idris – Was für ein Typ!

Auch heute wieder eine Premiere bei autoweird.fm: Wir reden heute zum ersten Mal über eine Programmiersprache. Aber nicht irgendeine Programmiersprache! Weit gefehlt! Hier kommt der heiße Scheiß (presented by @autoweird.fm): Idris! Wer uns kennt, weiß, dass wir bei neuen, vielleicht auch zunächst abwägig klingenden Konzepten immer hellhörig werden. Mit Idirs war das mal wieder der Fall und wir hoffen, euch ein wenig anteasern zu können. In dieser Folge gibt Benedikt eine kleine Einführung in die Konzepte von Idris und wir quatschen über den eleganten Ansatz des Type-Driven-Developments. Und wir reden über ADTs … 🙂

Links:

Biere:

Datum der Aufnahme: 13.03.2017

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.