elixir-type_check icon indicating copy to clipboard operation
elixir-type_check copied to clipboard

Published 20 hours ago • verified publisher icon Qqwy

Comparison to Gradient/Gradualizer

Open baldwindavid opened this issue 3 years ago • 2 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.

baldwindavid avatar May 31 '22 16:05 baldwindavid

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! :+1:

Qqwy avatar May 31 '22 19:05 Qqwy

Oh, that's great. I hope to see that talk once it's released!

baldwindavid avatar May 31 '22 19:05 baldwindavid

@Qqwy's presentation is now available at https://www.youtube.com/watch?v=7ykfO2tBwYw.

Thank you, Marten, for creating this fascinating project.

JamesLavin avatar Feb 20 '23 15:02 JamesLavin