Code Podcast

Episode 5: Type systems

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
Radoslav Kirov twitter.com/radokirov
Erlend Hamberg twitter.com/ehamberg
Edwin Brady twitter.com/edwinbrady

Special thanks to our reviewers

Adriano Melo 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