3 ms·
How is this different to typespecs and Dialyzer?
by h0l0cube 2y ago
How is this different to typespecs and Dialyzer?
- greenavocado 2y agoSee the first reply to the question linked below. I have nothing more to add. https://elixirforum.com/t/how-to-make-dialyzer-more-strict/13854 https://elixirforum.com/t/how-to-make-dialyzer-more-strict/1...
- cess11 2y agoOK, great, then I'll add that pattern matching on struct types is built-in and good enough for my purposes. Haven't used the LSP-server in a while, but I think it runs the Dialyzer-checking by default too, so that layer of checking will likely be there without adding project dependencies.
- hosh 2y agoThis is in the works right now: https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradua...