Denis Lebedev

Шутите, да? Там большая статья и всю переводить мне лень. Есть конкретная цитата, где в требования к agi было записано, что она должна быть умнее человека?

Хм. То есть выходит: рендер-клиент на Elm, а сервер со всей логикой хоть на чем (Erlang, Haskell) пиши? Потом все упаковать бы еще в красивую обертку, чтобы выглядело, как обы...

Непроверяемая гипотеза, которую уже больше 10 лет проверяют и развивают?

Например, один язык позволяет прибавить к строке число, а в другом есть конструктор даты из строки. В каком из них типизация сильнее или слабее?

Неужели стек прямо сейчас покрывает все задачи на 100%? Или кто-то обещает, что в ближайшие год-два станет покрывать?

Что за селектел?

Кстати, а какими, на твой взгляд, полезными качествами обладает хаскель, важными для разработки обычного софта?

Не знаю. А в плюсах есть стандарты? Там же тоже компот из возможностей не дай боже узреть его весь сразу!

Погоди, есть языки, в реализациях которых имеется вменяемая оптимизация взаимной рекурсии???

Изобрели что-то новое в криптографии и ключи шифрования больше никто не использует?

Или вот, если в языке к строке можно символ добавить, это делает типизацию слабой?

Вот и взялся от отчаяния сам что-то сваять. Вдруг что-то получится?

Кто-нибудь пробовал ghc собирать с помощью clang? Без тулчейна gcc.

Новичкам тяжко, как видно на примере... Как там его ник?

Теорию логики, теорию чисел и теорию множеств уже освоил?

Только вот разумно ли работать со столь длинными списками?

Собственно, вся суть современного программирования?

Любишь эксперименты на рабочих инструментах?

Что-то интересное. Как это я ее пропустил?

Эх, не в курсе, как взламывают ключи?