![]() ![]() Phoenix core team members Chris McCord and Jason Stiebs join Elixir Wizards Sundi Myint and Owen Bickford the growth of Phoenix and LiveView, the latest updates, and what they're excited to see in the future. Special Guests: Giuseppe Castagna, Guillaume Duboc, and José Valim. "A reckless introduction to Hindley-Milner type inference" "Covariance and Contravariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)" by Giuseppe Castagna "Programming with union, intersection, and negation types", by Giuseppe Castagna "The Design Principles of the Elixir Type System" by G. ℂDuce: a language for transformation of XML documents OCaml industrial-strength functional programming Keynote: Celebrating the 10 Years of Elixir | José Valim | ElixirConf EU 2022 Links and Resources Mentioned in this Episode:īringing Types to Elixir | Guillaume Duboc & Giuseppe Castagna | ElixirConf EU 2023 The risks and tradeoffs of choosing syntaxĪ big thanks to this season’s guests and all the listeners! Using types as a form of "mechanized documentation" How José and Giuseppe initially connected through research papers Gradual typing techniques for integrating typed and untyped code The history and development of set-theoretic types over 20 years The possibility of type inference in a set-theoretic type system The differences between typing in the Gleam programming language vs. The tradeoffs between Dialyzer and making types part of the core languageĪdvantages of typing for catching bugs, documentation, and tooling How the team chose a type system that supports as many Elixir idioms as possibleīalancing simplicity and pragmatism in type system designĪddressing challenges like typing maps, pattern matching, and guards They come together with a shared joy of problem-solving that will accelerate Elixir's continued growth.Īdding type safety to Elixir through set theoretical typing Decades of theory meet the needs of a living language, with open challenges like multi-process typing ahead. Guillaume's formalization and Giuseppe's "cutting-edge research" balance José's pragmatism and "Guardian of Orthodoxy" role. 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. 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. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |