Your favorite features of Type Systems in one episode! Interfaces, Generics, ADT, Type Classes and Dependent Types. We’ll talk about what they are and how they shape the way we work.

Host: Andrey Salomatin flpvsk.com

Dark side: Michael Beschastnov

Guests

Joseph Abrahamson twitter.com/sdbo

twitter.com/sdbo Radoslav Kirov twitter.com/radokirov

twitter.com/radokirov Erlend Hamberg twitter.com/ehamberg

twitter.com/ehamberg Edwin Brady twitter.com/edwinbrady

Special thanks to our reviewers

Adriano Melo twitter.com/AdrianoMelo

twitter.com/AdrianoMelo Roman Liutikov twitter.com/roman01la

Links: Basics

Benjamin C. Pierce “Types and Programming Languages” www.cis.upenn.edu/~bcpierce/tapl/

A draft of the book available for free ropas.snu.ac.kr/~kwang/520/pierce_book.pdf

Rob Nederpelt and Herman Geuvers “Type Theory and formal proof” www.win.tue.nl/~wsinrpn/book_type_theory.htm

Robert Harper “Practical Foundations for Programming Languages” www.cs.cmu.edu/~rwh/pfpl.html

Interview with Jesper Louis Andersen about Erlang, Haskell, OCaml, Go, Idris, the JVM, software and protocol design — PART I notamonadtutorial.com/interview-with…fbd#.rawqi9bvp

Paper by Xavier Leroy “Manifest Types, Modules, and Separate Compilation” (1994) citeseerx.ist.psu.edu/viewdoc/summar…10.1.1.14.3950

Paper by Conor McBride and Ross Paterson “FUNCTIONAL PEARL: Applicative programming with effects” strictlypositive.org/IdiomLite.pdf

Links: Idris

Edwin Brady “Type-Driven Development with Idris” tinyurl.com/typedd

Links: TypeScript

www.typescriptlang.org

Links: Haskell

Christopher Allen and Julie Moronuki “Haskell Programming from First Principles” haskellbook.com/

Learn you some Haskell learnyouahaskell.com/

Links: Scala

Paul Chiusano and Rúnar Bjarnason “Functional Programming in Scala” www.manning.com/books/functional-…gramming-in-scala

Links: OCaml

Yaron Minsky, Anil Madhavapeddy, Jason Hickey “Real World Ocaml” realworldocaml.org

A chapter from “Real World Ocaml” about Objects realworldocaml.org/v1/en/html/objects.html

OCaml Documentation caml.inria.fr/pub/docs/manual-ocaml/

Effective ML (video) blogs.janestreet.com/effective-ml-video/

Links: Discussions

What exactly makes the Haskell type system so revered (vs say, Java)? softwareengineering.stackexchange.com/questi…y-java

What is a Functor? stackoverflow.com/questions/203086…-functor#2031421

ADTs vs Inheritance stackoverflow.com/questions/327197…heritance-is-bad

Existential vs Universal Typess stackoverflow.com/questions/142996…haskell#14299983

Subclassing vs Subtyping www.cs.princeton.edu/courses/archiv…us/node12.html

Why Haskell has no subtyping www.reddit.com/r/haskell/comment…ype_polymorphism/

Haskell vs Java type systems softwareengineering.stackexchange.com/questi…y-java

Music

Mid-Air! @mid_air