?

Log in

No account? Create an account
 
 
03 October 2015 @ 10:32 am
Зачем же, всё-таки, нужны монады?  
Наконец-то дискуссия про ненависть к монадам (575 комментариев, Карл!) пришла к консенсусу:
монады нужны, потому что они эффективны в "допиливании" языка какими-то фичами, которые авторы туда добавить не озаботились (например, call/cc).

Для себя я из это делаю такой вывод: поскольку я до сих пор не использую (и даже не изучил) многие фичи моего языка (C#) и не ощущаю нехватки конструкций языка в задачах, которые я решаю, то использовать монады мне пока рано.


И ещё оттуда же:
Если вы видите человека, который не впадает в околорелигиозный экстаз уже при виде самого определения монад, и если хотите ему что-то про пользу монад объяснять, работайте в рамках аксиоматики, в которой абстракция и обобщение - априорное зло.
Tags:
 
 
 
журнал закрытjuan_gandhi on October 3rd, 2015 03:21 pm (UTC)
Забавно. Последнее особенно.
Возможно, так и надо, разделить миры; кто-то работает с конечными языками, и ему абстракция не нужна; кто-то с кс, где без абстракций не разобраться.
gineergineer on October 3rd, 2015 03:34 pm (UTC)
Скорее так...

кто-то копает карьер, а кто-то занимается глубоким бурением. ;)

Но вот вопрос абстракции, он ортогонален.

Например, даже разработке ГУЙни, не помешала бы более серьезная проработка абстракции,
но людям от кс это не интересно... потому что слишком сложно (слишком много сущностей реального мира нужно учитывать).

Это аргумент к вашей идее про иерархию языков.
На самом деле все решается не ей,
а тем, на что хватает финал стэйт машины под названием ГМ.
Dennis Gorelikdennisgorelik on October 3rd, 2015 06:00 pm (UTC)
> разделить миры

Конечно - специализация рулит.

> ему абстракция не нужна;

Абстракции нужны всем, но на разных уровнях работы нужны разные абстракции.
Причём количество абстракций, которые могут уместиться в голове - ограничены.
gineergineer on October 3rd, 2015 03:26 pm (UTC)
Да, сегодня пересмотрел все ветки, и тоже это отметил.

Еще вот... может быть интересно почитать -- http://ivan-gandhi.livejournal.com/1884945.html

Edited at 2015-10-03 03:35 pm (UTC)