Python кажется очень подходящим для ваших целей (например, pygame
и другие популярные сторонние расширения позволяют легко получить хорошую графику, и вы также можете выбрать curses
для структурированного текстового ввода-вывода и т. Д.) С одним исключение того, что вы, вероятно, подразумеваете под «строго типизированным».
Python имеет строгую типизацию (вы не можете ошибочно использовать строку для операции, для которой требуется целое число, и наоборот, например), но это dynamic строгая типизация: каждый объект имеет строгий тип, но имена (в широком смысле, включая голые имена, составные имена, элементы в контейнерах и т. д.) не имеют типов - каждое имя относится к объект, объект имеет тип, а не имя. Вы можете привязать имя к другому объекту, и этот объект может иметь другой тип (strong ;-), чем любой объект, ранее связанный с тем же именем.
Все динамические языки имеют этот символ, даже если многие идут дальше, чем Python, в «слабости типов» («запутывание» строк и чисел и различных типов чисел, в то время как Python, например, отличает строки от целых чисел от чисел с плавающей точкой) ) - Python довольно «требователен к типу» ... в динамическом смысле, когда имена сами по себе не имеют типов; -).