> Gradual/optional static typing are not new ideias. It’s just that they are fashionable now. I'd add that Common Lisp has had optional type hints (as both doc

> Gradual/optional static typing are not new ideias. It’s just that they are fashionable now. I'd add that Common Lisp has had optional type hints (as both documentation and performance improvement) for getting close to 40 years now.