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... я к этому времени уже прошёл через несколько жесточаших обломов и пёр на всех парах к новым, а он явно мега-успешен и уже в позе Байрона... странно...
ОТВЕТИТЬ