erichaberkorn / Eric

There are no people in erichaberkorn’s collective.

Huffduffed (165)

  1. 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.

    Code Podcast Forum:

    Episode produced by:

    Andrey Salomatin

    Michael Beschastnov

    Guests (in order of appearance):

    Joseph Abrahamson

    Radoslav Kirov

    Erlend Hamberg

    Edwin Brady

    Special thanks to our reviewers, this time:

    Adriano Melo

    Roman Liutikov

    If you'd like to help us make the podcast better and get episodes earlier, consider becoming a reviewer:

    ## Links: Basics

    Benjamin C. Pierce "Types and Programming Languages"

    A draft of the book available for free:

    Rob Nederpelt and Herman Geuvers "Type Theory and formal proof"

    Robert Harper "Practical Foundations for Programming Languages"

    Interview with Jesper Louis Andersen about Erlang, Haskell, OCaml, Go, Idris, the JVM, software and protocol design — PART I

    Paper by Xavier Leroy "Manifest Types, Modules, and Separate Compilation" (1994)

    Paper by Conor McBride and Ross Paterson "FUNCTIONAL PEARL: Applicative programming with effects"

    ## Links: Idris

    Edwin Brady "Type-Driven Development with Idris"

    ## Links: TypeScript

    ## Links: Haskell

    Christopher Allen and Julie Moronuki "Haskell Programming from First Principles"

    Learn you some Haskell

    ## Links: Scala

    Paul Chiusano and Rúnar Bjarnason "Functional Programming in Scala"

    ##Links: OCaml

    Yaron Minsky, Anil Madhavapeddy, Jason Hickey "Real World Ocaml"

    A chapter from "Real World Ocaml" about Objects

    OCaml Documentation

    Effective ML (video)

    ## Links: Discussions

    What exactly makes the Haskell type system so revered (vs say, Java)?

    What is a Functor?

    ADTs vs Inheritance

    Existential vs Universal Typess

    Subclassing vs Subtyping

    Why Haskell has no subtyping

    Haskell vs Java type systems

    ## Music

    Mid-Air! @mid_air

    —Huffduffed by erichaberkorn

  2. 205: People Don’t Use the Weird Parts

    Transcript of this episode

    Follow up: MacRumors talks with Lattner


    LLVM Bytecode vs. LLVM Bitcode







    Swift Open Source

    Casey's love letter to Swift enums

    Swift Evolution "Commonly Rejected Changes" list

    asm.js, WebAssembly & TypeScript


    Casey's primer series

    Garbage collection vs. ARC




    Go's garbage collection

    Java Native Interface

    Ending theme by Jonathan Mann

    Post-show Neutral

    Sponsored by:

    Audible: With Audible, you’ll find what you’re looking for. Get a free 30-day trial.

    Eero: Finally, Wi-Fi, that works. Use code ATP for free expedited shipping.

    Squarespace: Build it beautiful. Use code ATP for 10% off your first order.

    —Huffduffed by erichaberkorn

  3. Death and Distributed Systems with Pieter Hintjens | Software Engineering Daily Play in new window | Download

    Pieter Hintjens grew up writing software by himself. The act of writing code brought him great pleasure, but the isolated creative process disconnected him from the rest of the world. As his life progressed he became involved in open source communities, and he discovered a passion for human interaction.Open source software succeeds or fails on the strength of the community. One story of success is ZeroMQ, a popular open source distributed messaging system that was started by Pieter Hintjens. In this episode, Pieter gives his thoughts on human nature, distributed systems, and death. “A Protocol For Dying” is a blog post Pieter wrote recently, where he discussed his terminal diagnosis of cancer, and how it has reframed his perspective on life.


    IT Pro TV has online training for AWS, Microsoft Azure, and many other topics. Go to to get started with a free 7 day trial of videos. You can use the promo code sedaily and get a 30% discount.

    CacheFly is the content delivery network with the fastest global throughput. SE Daily listeners get 2 TB of bandwidth free by using promo code sedaily.

    Share this:Click to share on Twitter (Opens in new window)Click to share on Facebook (Opens in new window)Click to share on LinkedIn (Opens in new window)Click to email this to a friend (Opens in new window)



    —Huffduffed by erichaberkorn

Page 1 of 17Older