Be sure to read the type checking article linked at the bottom of the web page. TLDR: type checking languages help humans, not so much AI.