если хакель недоязык, то у кого-то либо нет опыта в хаскеле либо завышена планка

полный по тьюрингу, нездравый, математически тривиальный (из-за парадокса Карри), зависимых типов нет — доказательная сила не справится с достаточно сложными математическими утверждениями на нерекурсивном фрагменте (а рекурсивный фрагмент содержательно не богат), выразительность тоже такая себе, ведь это логика высказываний второго порядка + общая рекурсия + мутабельность и IO

второе

ты чего нос задрал?

спускай, завтипов в проде мало

Судя по лямбда-кубу, если взять system F фрагмент (а мы знаем, что вне его), то и типов, зависимых от типов, тоже нет (под "зависимыми типами" стандартно имеются в виду типы, зависимые от термов)

HKT что ли

Т.е. с Хаскелем ты знаком на уровне foo x y = x + y, но мнение сказать надо?

Хочу вам сказать лишь то, что оно мало соотносится с реальностью

(□, □)

кроме того, хаскелль не разделяет свои части по математическим свойствам

и мы не знаем прямо на уровне структуры самого языка, пользуемся мы предикативной частью или нет — для кого-то это может быть важным; аналогично для свойств вычислимости и т.п.

я просто хотел заявить то, что идеи о "недоязыках" не более чем ~

вот прямо здесь я показал, как можно рассматривать хаскелль как таковой

а вообще сама идея не является конструктивной и просто мотивирована пользовательским презрением

О пользовательском презрении

Мы любим повторять, что технологии не нейтральны. Очень схожие технологии, которые предоставляют плюс-минус один и тот же сервис, могут быть помещены в сложный идеологический контекст, где пользователи поделены на разные лагеря, а страсти накалены до предела.

В этом плане наиболее показательны мессенджеры. Если телеграм – это «клёво, молодежно», то вайбер (более презрительно «вибер») – «для безнадежно отсталых». Недавно видел ситуацию, где стримера застебали за то, что у него ойкнул вайбер, говорят «бабушка написала».

Или вот аська. Многие ее давно похоронили, а она жива. Зайти под своим старым ником, конечно, мало кто сможет, но зарегаться и получить вполне современный мессенджер со всякими там стикерами, пересылкой сообщений и прочим – вполне. Знаю, есть некоторые коллективы, которые обожают пользоваться по своим рабочим/тусовочным вопросам аськой, потому что складывается ощущение, что она как будто создана только для вас – ведь никто извне тебе сюда не напишет, только «свои».

Хотя от той же аськи иногда отказываются не только потому, что она «старомодна». А потому что она входит в состав мэйл.ру, который «тьфу на тебя, АН» вроде как подручный и провластный.

С наступлением пандемии на заслуженную пенсию отправился еще и скайп. Если это и не пенсия, то титульным продуктом, в честь которого названы все схожие сервисы видеосвязи (как все копировальные аппараты названы в честь Xerox), он перестал быть.

Означает ли это, что вайбер, аська, скайп и прочие предоставляют сервис более низкого качества? Не знаю. Однако убедиться в обратном нам мешает пользовательское презрение, которое держит нас в границах сложившихся практик лучше, чем любые новые плюшки и фичи.

Приходится часто пользоваться вотсап. Он объективно хуже телеги и, прости господи, вк

Опять мимо. Хаскель используют в проде и справляется он не хуже каких-нибудь шарпов. Хоть и непопулярнее.

ну а телеграм объективно хуже других мессенджеров, но пользовательское презрение почему-то сосредотачивается среди пользователей телеграма

Каких?