Comparison to Gradient/Gradualizer
baldwindavid opened this issue · comments
I wonder if it would be good to have a comparison between Gradient/Gradualizer and TypeCheck. One is static checking while TypeCheck is runtime. While I wish Elixir just supported static checking out of the box, we obviously don't have that. I'm curious how that plays out with a library like gradient, but not sure it would ever support all the things that TypeCheck can or that development is as far along.
In fact, my talk at ElixirConf.EU this year (on the 10th of June) will be a lot about comparing TypeCheck to Dialyzer/Gradualizer and the benefits/trade-offs of each approach.
Definitely worthwhile to write a short document about the comparison and add it to the docs too, of course!
Oh, that's great. I hope to see that talk once it's released!
@Qqwy's presentation is now available at https://www.youtube.com/watch?v=7ykfO2tBwYw.
Thank you, Marten, for creating this fascinating project.