On this page
type inference
Explore " type inference" with insightful episodes like "Creating a Language: Elixir vs. Roc with José Valim and Richard Feldman (Elixir Wizards X Software Unscripted Podcast)", "More on type inference for simple subtypes", "Subtyping, the golden key", "Type inference with simple subtypes" and "José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir" from podcasts like ""Elixir Wizards", "Iowa Type Theory Commute", "Iowa Type Theory Commute", "Iowa Type Theory Commute" and "Elixir Wizards"" and more!
Episodes (6)
More on type inference for simple subtypes
I continue the discussion of Mitchell's paper Type Inference with Simple Subtypes. Coming soon: a discussion of semantics of subtyping.
Subtyping, the golden key
In this episode, I wax rhapsodic for the potential of subtyping to improve the practice of pure functional programming, in particular by allowing functional programmers to drop various irritating function calls that are needed just to make types work out. Examples are lifting functions with monad transformers, or even just the pure/return functions for applicative functors/monads.
Type inference with simple subtypes
In this episode, I begin discussing a paper titled "Type Inference with Simple Subtypes," by John C. Mitchell. The paper presents algorithms for computing a type and set of subtype constraints for any term of the pure lambda calculus. I mostly focus here on how subtype constraints allow typing any term (which seems surprising).
You can join the telegram group for discussion related to the podcast.
José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir
Functional Programming and Concise Code: Type Inference
Start of discussion of some of technology and culture that lead to more concise code in functional programming languages. Type inference to avoid writing types for local and input variables. Some basics of static and dynamic typing.