Type Driven Data, Data Driven Types

Data-driven programming and short feedback loops are key to Clojure developers. In this talk we’ll learn about something entirely different, yet oddly similar: Idris and its first class types. We’ll see how the language and its interactive environment allow types to drive our implementation, and our data to drive our types.

Video and the following discussion are online. Follow #cestmeetup on Twitter to learn more.

Datum

02.06.2020

Uhrzeit

19:00 - 20:00

Konferenz / Veranstaltung

Clojure European Summer Time

Ort

Twitch, Internet