@snarfmason The value is marginal at best
“but types are documentation!” – no. *docs* are documentation
“it simplifies things for the linter” - is the linter writing the code? reading it?
“but the linter helps our CI” - you know what would help the CI more? *tests*
“but editor autocomplete!” - yeah, we could have gotten this through something besides Frankenstein language fanfic, like via static analysis
I’ve spent more time fighting the type system than the “benefits” it yields have saved