Python's typing package is a boon for module development. When developing R packages I often wish for some form of static type checking ala mypy. Does anyone know of any plans to introduce something similar for R? I have caught numerous coding errors and am able to clearly document function contracts using the gradual typing enabled by mypy.
Something similar for R would be hugely beneficial for package development and documentation. I realize this would be a monumental undertaking and am just curious if it has been discussed by folks in r-devel or Rstudio (or elsewhere) as a desired feature.