March 19, 2017

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

45 minutes

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:

CRE Podcast Folge 194 zum Thema Bier.

Idris Homepage

Vortrag „Type-Driven Development in Idris“ von Edwin Brady auf der ScalaWorld 2015.

Currying ist die Überführung einer Funktion mit mehreren Argumenten in einer Funktion mit weniger Argumenten.

Die natürlichen Zahlen werden in Haskell und Idris als rekursiver Datentyp dargestellt.

In seinem Talk „All you need is Lambda“ bei der CraftConf 2016 zeigte Corey Haines, wie Hello World implementiert werden kann, wenn man ausschließlich Lambdas verwendet.

Wir reden hier nicht über den Abstract Syntax Tree (AST)

auch nicht über den Abstract Data Type (ADT)

sondern über den Algebraic Data Type (ADT)

Shapeless ist eine Bibliothek, die dependent types nach Scala bringt.

Holgers erste Erfahrungen mit funktionaler Programmierung waren u.a. mit Elixir.

Format String Beispiel von der Idris User Group DUS auf GitHub.

Die Idris User Group Düsseldorf trifft sich ein mal monatlich im Medienhafen in Düsseldorf. Im März ist Holger auf jeden Fall vielleicht dabei.

Biere:

Benedikt trinkt ein Lagerbier Hell von Augustinerbräu München

Holger trink ein Urbock 23° von Schloss Eggenberg

Datum der Aufnahme: 13.03.2017

...more

View all episodes

By Holger Grosse-Plankermann & Benedikt Ritter