Существует ли статически типизированный гомоиконный язык программирования?
В статье, которую вы сами и приводите, указан Clojure.

https://clojure.org/
https://ru.wikipedia.org/wiki/Clojure
https://clojurecourse.by/
Найдите какой-нибудь список и пройдитесь по нему, проверьте каждый язык на поддержку того, что вам нужно. Я нашёл вот такой:
