157: Adding Dialyzer Late in the Game
Thinking Elixir Podcast
Dialyzer: The Future of Types
There are at least three or four talks slash blog posts about understanding dialyzer errors and how to fix them. Even Chris McCord says in an old Elixir forum post dialyzer edit as it exists today is a net negative value ad for me. So things like that are why I decided to start ignoring errors first and fixing them over time. But hopefully by then Elixir will have its magical new progressive type system set up. Who knows? Who knows what tools will exist in that future.
Dialyzer is something that eventually everyone hears about in the Elixir community. It's a static code analysis tool that has both fans and detractors, and with good reasons on both sides! We talk with Noah Betzen about how he brought Dialyzer to several mature Elixir projects. He wanted the benefits of finding and fixing bugs and to prevent new problems from being added. He shared tools, strategies and other resources for how to get started without stopping everything to fix all the existing problems. If you've ever tried to add Dialyzer to a project and aborted, then this discussion may give you the courage and the tools to try again!
Show Notes online - http://podcast.thinkingelixir.com/157
Elixir Community News
- https://elixir-lang.org/blog/2023/06/19/elixir-v1-15-0-released/ – Elixir 1.15 release blog post
- https://github.com/elixir-lang/elixir/releases/tag/v1.15.0 – full release notes
- https://twitter.com/josevalim/status/1670879654134050828 – José Valim's tweet about reported compilation time improvements
- https://elixirforum.com/t/elixir-v1-15-0-released/56584 – ElixirForum.com post about the release with comments, feedback, and workarounds for issues.
- https://github.com/phoenixframework/phoenix/blob/v1.7.4/CHANGELOG.md – Phoenix 1.7.4 (then up to 1.7.6) was released with a small, but handy fix around deploying with active websockets
- https://survey.stackoverflow.co/2023/ – StackOverflow Developer Survey results
- https://survey.stackoverflow.co/2023/#technology-most-popular-technologies – Most popular technologies
- https://survey.stackoverflow.co/2023/#section-top-paying-technologies-top-paying-technologies – Top paying technologies
- https://survey.stackoverflow.co/2023/#section-admired-and-desired-web-frameworks-and-technologies – Phoenix is the most admired web framework and technology
- https://twitter.com/bcardarella/status/1669423297518264320 – LiveView Native got animated charts working in SwiftCharts
- https://twitter.com/moomerman/status/1670021284900614144 – Apache ECharts with LiveView
- https://huggingface.co/blog/livebook-app-deployment – José Valim's has a Livebook blog post on the Hugging Face blog.
- https://twitter.com/thibaut_barrere/status/1670789241436028931 – Using IEx helpers in Livebook cells -
import IEx.Helpers - https://twitter.com/germsvel/status/1669669754305404928 – German Velasco has created a number of short tip videos that now have a home on ElixirStreams.com
- https://twitter.com/elixirphoenix/status/1670856560480747526 – Adding Bandit to a Phoenix 1.7 project fits in a single tweet
- https://erlef.org/events – The EEF (Erlang Ecosystem Foundation) has an "events" page.1
Do you have some Elixir news to share? Tell us at @ThinkingElixir or email at show@thinkingelixir.com
Discussion Resources
- https://fly.io/phoenix-files/adding-dialyzer-without-the-pain/ – Blog post with more resources and code
- https://www.erlang.org/doc/man/dialyzer.html – Dialyzer docs
- https://github.com/jeremyjh/dialyxir – Dialyxir project
- https://github.com/jeremyjh/dialyxir/pull/493 – PR to add new format for ignore_file_strict
- https://elixirforum.com/t/blog-post-adding-dialyzer-without-the-pain/56461 – Feedback to blog post that we discuss
- https://www.youtube.com/watch?v=4PZE40h13wM – Slaying the Type Hydra, or How We Went from 12,000 Dialyzer Errors to None | Jesper Eskilson - Senior Engineer at Klarna
- https://github.com/bamorim/typed_ecto_schema
- https://podcast.thinkingelixir.com/72 – Interview about type_check
- https://github.com/Qqwy/elixir-type_check
- https://github.com/lexical-lsp/lexical – Lexical Language Server
- https://github.com/elixir-tools/next-ls – Next-LS Language Server
- https://smartlogic.io/podcast/elixir-wizards/s10-e12-jose-guillaume-giuseppe-types-elixir/ – José Valim, Guillaume Duboc, and Giuseppe Castagna discussing static types in Elixir
Guest Information
- https://twitter.com/Nezteb – on Twitter
- https://github.com/Nezteb/ – on Github
- https://genserver.social/Nezteb/ – on Fediverse
- https://nezteb.net – Blog
Find us online
- Message the show - @ThinkingElixir
- Message the show on Fediverse - @ThinkingElixir@genserver.social
- Email the show - show@thinkingelixir.com
- Mark Ericksen - @brainlid
- Mark Ericksen on Fediverse - @brainlid@genserver.social
- David Bernheisel - @bernheisel
- David Bernheisel on Fediverse - @dbern@genserver.social
- Cade Ward - @cadebward
- Cade Ward on Fediverse - @cadebward@genserver.social
Sponsored By:
The AI-powered Podcast Player
