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

157: Adding Dialyzer Late in the Game

Thinking Elixir Podcast