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