ChatGPT the best study partner! By the way there are not typed or not typed languages. All prog languages have type systems. There are verified or not verified langs which means that type verification is done in compile phase or runtime phase, but all languages have types!