157: Adding Dialyzer Late in the Game

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 [email protected] 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 - @[email protected] Email the show - [email protected] Mark Ericksen - @brainlid Mark Ericksen on Fediverse - @[email protected] David Bernheisel - @bernheisel David Bernheisel on Fediverse - @[email protected] Cade Ward - @cadebward Cade Ward on Fediverse - @[email protected] Sponsored By:Fly.io: Fly.io is a great place to deploy your next Phoenix application! Check them out!