shen’s type system is capable of modeling dependent types but it’s super unconventional from a dependent typing perspective.
It’s hard to really be sure tho, cus the free online material is a bit hard to follow.

если у них все так, как рекламируют

Если хочется статически охуенный Лисп, надо контрибьютить в SBCL.

Интересно

я хз его делает примерно 1 человек

а тот же кок делает ну

сильно больше

и кажется что они чуть меньше обещают про кок

сравнивали мы где то

Ну вроде нет, там какая-то команда разработчиков на сайте перечислена.

ну и поэтому сомнения берут конечно

проприетарщина без нормального стандарта, не?

там не так много людей пользуется чтоб была нужда в стандарте))

причем автор прямо люто ненавидит опенсорс, как я слышал

+ ну типа он мб денег хочет

Почему проприетарщина то
https://shen-language.github.io/

вот почему

In September 2015, after analysing the reasons why OS Shen was massively underperforming, I moved my development to closed source. Since that time the closed source Shen, Shen Professional, has developed rapidly with funding from a small group of professional programmers and investors. Concurrency, compiler optimisation, large file handling, HTML generation, and graphics have emerged or are emerging within a 6-8 month interval.