Вот ответ.

clayrat

6 декабря 2020, 16:20:30
Вы как-то постоянно ходите вокруг ответов, да, собственно, и получаете их впрямую, но выбор ваш - игнорировать их. Типизированное ФП, и Хаскель в частности это продукт PL-теории (кстати, преимущественно европейской, она же "теория B"), которую в первую очередь интересуют вопросы корректности и логической стройности. Соответственно, люди пишут на этих языках чтобы избавиться от вечно грызущего чувства недоделанной работы - "а что, если я где-то пропустил баг?", о чём вам регулярно говорит тот же A64. "Странный тон" деталей берётся оттуда же - в устройстве компилятора того же Идриса всех интересуют не волюнтаристские инженерные решения автора, а воплощенные им логические ограничения.
ОТВЕТИТЬ
НРАВИТСЯ
 
sovkista

6 декабря 2020, 17:18:45
Соответственно, люди пишут на этих языках чтобы избавиться от вечно грызущего чувства недоделанной работы - "а что, если я где-то пропустил баг?"
В такой форме я "эту мысль" встречаю первый раз. Она мне понятна. Это для меня новое, спасибо. Меня такое не грызёт совершенно. Поставил в работу, завалилось. Подправил. Повторяю раз за разом, потом перестаёт валиться месяцами. Норм :). Подойдёт ли это для звездолёта? Нет. Но я и не звездолёт...
ОТВЕТИТЬ
НРАВИТСЯ
 
clayrat

7 декабря 2020, 00:28:19
Эти ощущения и вся мотивация в целом неплохо описаны, например, в этом посте: https://habr.com/ru/post/497114/

Этим же в целом объясняются и проблемы с тулингом и обучающими материалами - эйфория от сброшенного психологического хомута настолько сильна, что люди согласны писать в блокноте и учиться по необработанным записям академического потока сознания.
ОТВЕТИТЬ
НРАВИТСЯ
 
sovkista

7 декабря 2020, 05:59:00 Комментарий изменен:  7 декабря 2020, 06:03:49
Гхм... странно -- получается, что я таки верно уловил примат "психологичности", то есть clashа сушествующих у авторов эвристик с "реальностью". У меня "вот этого всего" из статьи на Хабре нет вообще. Я могу такое живо представить, но сам, тем более на постоянной основе, этого не испытываю.

Ломающегося, плохого или неудачного инструмента в широком смысле слова у меня никогда не было. Все затыки всегда были с задачами, а не с инструментами.
ОТВЕТИТЬ
НРАВИТСЯ
 
sovkista

7 декабря 2020, 07:35:56
эйфория от сброшенного психологического хомута настолько сильна, что люди согласны писать в блокноте
Перечитываю...
ОТВЕТИТЬ
НРАВИТСЯ
 
sovkista

7 декабря 2020, 13:06:56  ВЫБРАТЬСВЕРНУТЬ
УдалитьЗаморозитьСкрытьОтслеживатьИзменитьЛучший комментарий
Если 17 -- это 2/3 его жизни, ему сейчас 27-28... я к этому времени уже прошёл через несколько жесточаших обломов и пёр на всех парах к новым, а он явно мега-успешен и уже в позе Байрона... странно...
ОТВЕТИТЬ

это про пейперы

полностью согласен с Алексом кстати

То есть, серьёзно? Вы тут ТАК ДОЛГО что-то пытаетесь писать, спотыкаетесь о то, что что-то не корректно описано, снова пытаетесь, снова спотыкаетесь, слушаете советы что тут нужно обработать ВСЕ кейсы, проверить на Maybe и подобное, и только сейчас становится ясно, что у Вас с этим туго потому, что в Хаскеле нужно писать чуть строже, чем на среднем языке?

но я удивлен как и Ян, почему это стало откровением для гопника

Т.е.

ВСЕ ГОВОРЯТ ОБ ЭТОМ ХМГ (пусть, согласен, оторвано, местячково, но, суть - все примерно говорят о том)

АБСОЛЮТНО

в том числе и "всё говорит об этом" в самом хаскеле

И тут внезапно сказанное (должен сказать - сказано хорошо и в полной мере) Алексом становится откровением

Ладно

Главное - дошло

Пусть даже так

Вот Александр Вершилов говорил с аналогией про качалку, где "всё есть, только тренер немой" в отличии от другой качалки где "тренер говорить умеет, а снарядов - нема"

Тут ХМГ ничего не было понятно, он упирался что в такую качалку не пойдёт

Короче - я хз

Для меня это рандом просто) Говорить +/- одно и то же и надеяться, что человек поймёт

ох не могу. Удержаться. Правильно ли я понимаю, что _человек_ может допустить баг в программе не на ФП языке? А на Хаскеле с Идрисом _человек_ не задается вопросом "а что, если я где-то пропустил баг?". Лол. А на Прологе? Баги вообще уходят в отрицательную полуось? 😂  Не, прав Тюринг в своей автобиографии....