On this page
type safety
Explore " type safety" with insightful episodes like "The best of PodRocket in 2023", "José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir", "Modula-2", "Paul Explains It All" and "Introduction to type safety" from podcasts like ""PodRocket - A web development podcast from LogRocket", "Elixir Wizards", "Iowa Type Theory Commute", "The Stack Overflow Podcast" and "Iowa Type Theory Commute"" and more!
Episodes (8)
José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir
Modula-2
In this episode I discuss the paper "Modula-2 and Oberon" by Niklaus Wirth. Modula-2 introduced (it seems from the paper) the idea of having modules with explicit import and import lists -- something we saw at the start of our look at module systems with Haskell's module system. I note some interesting historical points raised by the paper.
Paul Explains It All
Introduction to type safety
Type safety is a basic property of both statically typed programming languages and type theories. It has traditionally (past few decades) been decomposed into type preservation and progress. Type preservation says that if a program expression e has some type T, then running e a bit will give a result that still has type T (and type preservation would apply again to that result, to preserve the type T indefinitely along the execution of e). Progress says that well-typed expressions cannot get stuck computationally: they cannot reduce to a form where the operational semantics is then undefined. This is how we model the idea that the type system is preventing certain kinds of failures: make those failures correspond to undefined behavior.
355: F# Shill
Type-safety, BladeX, and HTML emails
Jake and Michael return to discuss the introduction of further type-safety in PHP, BladeX, finite state machines, and rendering HTML emails.
Thanks to Spatie for sponsoring our show.
Show links
- PHP typed properties
- Infinitely better UIs with Finite Automata
- BladeX - custom HTML components in your Blade views
- Introducing view components in Laravel
- Laravel View components (package)
- Maizzle
40: Dynamic Member Lookup Proposal
- Introduce User-defined "Dynamic Member Lookup" Types:
- First version: https://github.com/apple/swift-evolution/pull/768
- Second version: https://github.com/apple/swift-evolution/pull/774
- Implementations:
- First version: https://github.com/apple/swift/pull/13076
- Second version: https://github.com/apple/swift/pull/13361
- Related "dynamic callable" proposal (gist in progress): https://gist.github.com/lattner/a6257f425f55fe39fd6ac7a2354d693d
- Chris’s email to Swift Evolution: https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20171113/041463.html
Leave a review on iTunes and join http://spectrum.chat/specfm/swift-unwrapped