Logo

    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)

    The best of PodRocket in 2023

    The best of PodRocket in 2023
    It’s the end of the year, so we want to give you a taste of our most popular episodes from 2023, starting with Tim Neutkens and the release of Next.js 13.4, followed by Chris Ferdinandi talking about the transitional web, and ending with Kent C. Dodds talking about type safety. Links Apple Next.js 13.4 with Tim Neutkens: https://apple.co/3S93lyh The state of JS frameworks with Chris Ferdinandi: http://bit.ly/3n9eCRS Fully Typed Web Apps with Kent C. Dodds: http://bit.ly/3LfXNP4 Spotify Next.js 13.4 with Tim Neutkens: https://spoti.fi/4aE67Tm The state of JS frameworks with Chris Ferdinandi: https://spoti.fi/3LPxUpN Fully Typed Web Apps with Kent C. Dodds: http://bit.ly/3YuRN8o Google Next.js 13.4 with Tim Neutkens: https://bit.ly/3RwXscw The state of JS frameworks with Chris Ferdinandi: http://bit.ly/3JEzOXH Fully Typed Web Apps with Kent C. Dodds: http://bit.ly/3L9ZL3O We want to hear from you! How did you find us? Did you see us on Twitter? In a newsletter? Or maybe we were recommended by a friend? Let us know by sending an email to our producer, Emily, at emily.kochanekketner@logrocket.com (mailto:emily.kochanekketner@logrocket.com), or tweet at us at PodRocketPod (https://twitter.com/PodRocketpod). Follow us. Get free stickers. Follow us on Apple Podcasts, fill out this form (https://podrocket.logrocket.com/get-podrocket-stickers), and we’ll send you free PodRocket stickers! What does LogRocket do? LogRocket combines frontend monitoring, product analytics, and session replay to help software teams deliver the ideal product experience. Try LogRocket for free today. (https://logrocket.com/signup/?pdr) Special Guests: Chris Ferdinandi, Kent C. Dodds, and Tim Neutkens.

    José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir

    José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir
    It’s the Season 10 finale of the Elixir Wizards podcast! José Valim, Guillaume Duboc, and Giuseppe Castagna join Wizards Owen Bickford and Dan Ivovich to dive into the prospect of types in the Elixir programming language! They break down their research on set-theoretical typing and highlight their goal of creating a type system that supports as many Elixir idioms as possible while balancing simplicity and pragmatism. José, Guillaume, and Giuseppe talk about what initially sparked this project, the challenges in bringing types to Elixir, and the benefits that the Elixir community can expect from this exciting work. Guillaume's formalization and Giuseppe's "cutting-edge research" balance José's pragmatism and "Guardian of Orthodoxy" role. Decades of theory meet the needs of a living language, with open challenges like multi-process typing ahead. They come together with a shared joy of problem-solving that will accelerate Elixir's continued growth. Key Topics Discussed in this Episode: Adding type safety to Elixir through set theoretical typing How the team chose a type system that supports as many Elixir idioms as possible Balancing simplicity and pragmatism in type system design Addressing challenges like typing maps, pattern matching, and guards The tradeoffs between Dialyzer and making types part of the core language Advantages of typing for catching bugs, documentation, and tooling The differences between typing in the Gleam programming language vs. Elixir The possibility of type inference in a set-theoretic type system The history and development of set-theoretic types over 20 years Gradual typing techniques for integrating typed and untyped code How José and Giuseppe initially connected through research papers Using types as a form of "mechanized documentation" The risks and tradeoffs of choosing syntax Cheers to another decade of Elixir! A big thanks to this season’s guests and all the listeners! Links and Resources Mentioned in this Episode: Bringing Types to Elixir | Guillaume Duboc & Giuseppe Castagna | ElixirConf EU 2023 (https://youtu.be/gJJH7a2J9O8) Keynote: Celebrating the 10 Years of Elixir | José Valim | ElixirConf EU 2022 (https://youtu.be/Jf5Hsa1KOc8) OCaml industrial-strength functional programming https://ocaml.org/ ℂDuce: a language for transformation of XML documents http://www.cduce.org/ Ballerina coding language https://ballerina.io/ Luau coding language https://luau-lang.org/ Gleam type language https://gleam.run/ "The Design Principles of the Elixir Type System" (https://www.irif.fr/_media/users/gduboc/elixir-types.pdf) by G. Castagna, G. Duboc, and J. Valim "A Gradual Type System for Elixir" (https://dlnext.acm.org/doi/abs/10.1145/3427081.3427084) by M. Cassola, A. Talagorria, A. Pardo, and M. Viera "Programming with union, intersection, and negation types" (https://www.irif.fr/~gc/papers/set-theoretic-types-2022.pdf), by Giuseppe Castagna "Covariance and Contravariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)" (https://www.irif.fr/~gc/papers/covcon-again.pdf) by Giuseppe Castagna "A reckless introduction to Hindley-Milner type inference" (https://www.lesswrong.com/posts/vTS8K4NBSi9iyCrPo/a-reckless-introduction-to-hindley-milner-type-inference) Special Guests: Giuseppe Castagna, Guillaume Duboc, and José Valim.

    Introduction to type safety

    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

    355: F# Shill
    Mike and Wes dive into Bosque, Microsoft’s new research language, and debate if it represents the future of programming languages, or if we should all just be using F#. Plus some Qt license clarity, a handy new Rust feature, and your feedback.

    Type-safety, BladeX, and HTML emails

    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

    40: Dynamic Member Lookup Proposal

    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

    Logo

    © 2024 Podcastworld. All rights reserved

    Stay up to date

    For any inquiries, please email us at hello@podcastworld.io