@avadakeda

Существует ли статически типизированный гомоиконный язык программирования?

Интересуют языки с богатой и развитой экосистемой, например основанные на JVM, .NET или javascript. Мне понравился язык Julia, но там не настоящая типизация, т.е. не на этапе написания делаются проверки. Единственный такой язык, который я смог найти - Typed Racket, но там маленькая экосистема.

Если других языков не найти, то можно ли самому разработать версию популярного статически типизированного языка со свойством homoiconic, для меня важно чтобы код можно было представлять как данные и наоборот, данные как код. Какой популярный статически типизованный язык тогда проще будет модифицировать?
  • Вопрос задан
  • 133 просмотра
Пригласить эксперта
Ответы на вопрос 3
xez
@xez
Senior Junior Roo
В статье, которую вы сами и приводите, указан Clojure.

https://clojure.org/
https://ru.wikipedia.org/wiki/Clojure
https://clojurecourse.by/
Ответ написан
vabka
@vabka
Токсичный шарпист
В F# и Scala есть возможность сохранить AST в переменную.
Ответ написан
gdt
@gdt
Программист
Найдите какой-нибудь список и пройдитесь по нему, проверьте каждый язык на поддержку того, что вам нужно. Я нашёл вот такой:
rnxb-rpqv11edjmdnkckpnlpuzk.png
Ответ написан
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации
Похожие вопросы