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.Code Podcast Forum: https://discuss.codepodcast.com/t/episode-5-type-systems/22Episode produced by:Andrey Salomatin https://twitter.com/flpvskMichael Beschastnov michael@codepodcast.comGuests (in order of appearance):Joseph Abrahamson https://twitter.com/sdboRadoslav Kirov https://twitter.com/radokirovErlend Hamberg https://twitter.com/ehambergEdwin Brady https://twitter.com/edwinbradySpecial thanks to our reviewers, this time:Adriano Melo https://twitter.com/AdrianoMeloRoman Liutikov https://twitter.com/roman01laIf you'd like to help us make the podcast better *and* get episodes earlier, consider becoming a reviewer: https://gist.github.com/filipovskii/f12685bc74a425ba651c736fb5e3e5ae## Links: BasicsBenjamin C. Pierce "Types and Programming Languages" https://www.cis.upenn.edu/~bcpierce/tapl/A draft of the book available for free: http://ropas.snu.ac.kr/~kwang/520/pierce_book.pdfRob Nederpelt and Herman Geuvers "Type Theory and formal proof" http://www.win.tue.nl/~wsinrpn/book_type_theory.htmRobert Harper "Practical Foundations for Programming Languages" https://www.cs.cmu.edu/~rwh/pfpl.htmlInterview with Jesper Louis Andersen about Erlang, Haskell, OCaml, Go, Idris, the JVM, software and protocol design — PART I https://notamonadtutorial.com/interview-with-jesper-louis-andersen-about-erlang-haskell-ocaml-go-idris-the-jvm-software-and-b0de06440fbd#.rawqi9bvpPaper by Xavier Leroy "Manifest Types, Modules, and Separate Compilation" (1994) http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3950Paper by Conor McBride and Ross Paterson "FUNCTIONAL PEARL: Applicative programming with effects" http://strictlypositive.org/IdiomLite.pdf## Links: IdrisEdwin Brady "Type-Driven Development with Idris" http://tinyurl.com/typedd## Links: TypeScripthttp://www.typescriptlang.org/## Links: HaskellChristopher Allen and Julie Moronuki "Haskell Programming from First Principles" http://haskellbook.com/Learn you some Haskell http://learnyouahaskell.com/## Links: ScalaPaul Chiusano and Rúnar Bjarnason "Functional Programming in Scala" https://www.manning.com/books/functional-programming-in-scala##Links: OCamlYaron Minsky, Anil Madhavapeddy, Jason Hickey "Real World Ocaml" https://realworldocaml.orgA chapter from "Real World Ocaml" about Objects https://realworldocaml.org/v1/en/html/objects.htmlOCaml Documentation http://caml.inria.fr/pub/docs/manual-ocaml/Effective ML (video) https://blogs.janestreet.com/effective-ml-video/## Links: DiscussionsWhat exactly makes the Haskell type system so revered (vs say, Java)? http://softwareengineering.stackexchange.com/questions/279316/what-exactly-makes-the-haskell-type-system-so-revered-vs-say-javaWhat is a Functor? http://stackoverflow.com/questions/2030863/in-functional-programming-what-is-a-functor#2031421ADTs vs Inheritance http://stackoverflow.com/questions/3271974/why-adts-are-good-and-inheritance-is-badExistential vs Universal Typess http://stackoverflow.com/questions/14299638/existential-vs-universally-quantified-types-in-haskell#14299983Subclassing vs Subtyping http://www.cs.princeton.edu/courses/archive/fall98/cs441/mainus/node12.htmlWhy Haskell has no subtyping https://www.reddit.com/r/haskell/comments/423o0c/why_no_subtypingsubtype_polymorphism/Haskell vs Java type systems http://softwareengineering.stackexchange.com/questions/279316/what-exactly-makes-the-haskell-type-system-so-revered-vs-say-java## MusicMid-Air! @mid_air