Yeah the main benefits are reducing bugs in developer write-run-debug cycles, and acting as machine-readable documentation (including to generate tooltips and a

Yeah the main benefits are reducing bugs in developer write-run-debug cycles, and acting as machine-readable documentation (including to generate tooltips and autocomplete). The “cold shower” doesn’t check those.