Вот вы пишите что много чего не хватает и чего не делают. А вы сколько пулл-реквестов сделали, чтобы это появилось? В других языках все это появляется потому что много пользов...
>Однако мы не имеем права забыть главное: язык программирования - это средство, но не цель. Мы ведь помним цель, не так ли? Софт. Это наша цель. Эм.
А рекламировать можно? http://typetheory.ru Если кто-нибудь знает какие-нибудь другие материалы на русском, то буду рад добавить.
Ага, ну то есть мы уже приходим к целям, которые стоят перед языком. А знаешь какие цели у создателей Haskell стояли?
А можно ли в реализации интерфейса объявлять поля, которых в интерфейсе нет?
А что делать, если в vs code через lonide в одном файле не видно другой?
Так отсутсвие нормальной библиотеки это проблема экосистемы хаскеля или большинства кому эта библиотека нужна?
В питоне когда вызывается typecheck? Непосредственно во время выполнения
А в России F# вообще кто-то использует?
Какие-нибудь большие компании или мелкие?
То есть Mozilla Research уже совсем не research?
Этого мало для определения "нужная штука"?
И как они будут к нему доступ получать?
A of ... * ... * ... ?
а ссылочки не будет здесь?
А тут где стандарт?
Как вам Брагилевский?
равно нулю? нет
Че он мертвый?