328: Reliability First (Rob Zuber)
erichaberkorn / Eric
There are no people in erichaberkorn’s collective.
Huffduffed (165)
-
-
Modeling
-
328: Reliability First (Rob Zuber)
-
Trade Dreams and Low Seams
Trade Dreams and Low Seams
-
Minsky
-
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: https://discuss.codepodcast.com/t/episode-5-type-systems/22
Episode produced by:
Andrey Salomatin https://twitter.com/filipovskii
Michael Beschastnov michael@codepodcast.com
Guests (in order of appearance):
Joseph Abrahamson
Radoslav Kirov
Erlend Hamberg
Edwin Brady
https://twitter.com/edwinbrady
Special thanks to our reviewers, this time:
Adriano Melo https://twitter.com/AdrianoMelo
Roman Liutikov https://twitter.com/roman01la
If 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: Basics
Benjamin 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.pdf
Rob Nederpelt and Herman Geuvers "Type Theory and formal proof" http://www.win.tue.nl/~wsinrpn/book_type_theory.htm
Robert Harper "Practical Foundations for Programming Languages" https://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 https://notamonadtutorial.com/interview-with-jesper-louis-andersen-about-erlang-haskell-ocaml-go-idris-the-jvm-software-and-b0de06440fbd#.rawqi9bvp
Paper by Xavier Leroy "Manifest Types, Modules, and Separate Compilation" (1994) http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3950
Paper by Conor McBride and Ross Paterson "FUNCTIONAL PEARL: Applicative programming with effects" http://strictlypositive.org/IdiomLite.pdf
## Links: Idris
Edwin Brady "Type-Driven Development with Idris" http://tinyurl.com/typedd
## Links: TypeScript
http://www.typescriptlang.org/
## Links: Haskell
Christopher Allen and Julie Moronuki "Haskell Programming from First Principles" http://haskellbook.com/
Learn you some Haskell http://learnyouahaskell.com/
## Links: Scala
Paul Chiusano and Rúnar Bjarnason "Functional Programming in Scala" https://www.manning.com/books/functional-programming-in-scala
##Links: OCaml
Yaron Minsky, Anil Madhavapeddy, Jason Hickey "Real World Ocaml" https://realworldocaml.org
A chapter from "Real World Ocaml" about Objects https://realworldocaml.org/v1/en/html/objects.html
OCaml Documentation http://caml.inria.fr/pub/docs/manual-ocaml/
Effective ML (video) https://blogs.janestreet.com/effective-ml-video/
## Links: Discussions
What 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-java
What is a Functor? http://stackoverflow.com/questions/2030863/in-functional-programming-what-is-a-functor#2031421
ADTs vs Inheritance http://stackoverflow.com/questions/3271974/why-adts-are-good-and-inheritance-is-bad
Existential vs Universal Typess http://stackoverflow.com/questions/14299638/existential-vs-universally-quantified-types-in-haskell#14299983
Subclassing vs Subtyping http://www.cs.princeton.edu/courses/archive/fall98/cs441/mainus/node12.html
Why 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
## Music
Mid-Air! @mid_air
-
205: People Don’t Use the Weird Parts
Transcript of this episode
Follow up: MacRumors talks with Lattner
LLVM
LLVM Bytecode vs. LLVM Bitcode
Bitcode
Slicing
Clang
OpenGL
Swift
ARC
Swift Open Source
Casey's love letter to Swift enums
Swift Evolution "Commonly Rejected Changes" list
asm.js, WebAssembly & TypeScript
RxSwift
Casey's primer series
Garbage collection vs. ARC
libauto
Singularity
Finalizer
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.
-
Death and Distributed Systems with Pieter Hintjens | Software Engineering Daily
http://traffic.libsyn.com/sedaily/Zeromq_Edited.mp3Podcast: 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.
Sponsors
IT Pro TV has online training for AWS, Microsoft Azure, and many other topics. Go to itpro.tv/sedaily 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)
Related
Comments
https://softwareengineeringdaily.com/2016/06/23/death-distributed-systems-pieter-hintjens/
-
Michael Nygard - Cognicast Episode 106 — Cognitect Blog
In this episode, we talk to Michael Nygard about microservices and other
things from his current blog series.
Tagged with michael nygard blog series .
-
Clojure spec with Rich Hickey - Cognicast Episode 103 — Cognitect Blog
Tagged with rich hickey clojure.spec .
Page 1 of 17Older