на ноль пропагандистов. "у нас есть вывод типов", "у нас то есть", а в реальности код на уровне мусора и каждый хаскель-адепт хардкодит типы для сигнатур потому как вывод типов для подтипов практически не работает.
Это как раст и сказки его адептов про "у нас тоже есть перегрузка операторов". Идёт в цпп и смотрим? Везде есть перегрузка. Идёт в раст-скриптуху и видим что? А ничего не видим. Потому что одно дело орать "у нас есть", а другое дело использовать. Ведь на самом деле "у нас есть" нужно читать как "у нас есть нерабочее дерьмо" и толку с того, что оно есть? От того мы проявлений этого не видим
А что скажешь насчёт языка Carbon?
Обсуждают сегодня