?

Log in

No account? Create an account
Читая обсуждение http://ivan-gandhi.livejournal.com/3329246.html и… - Cyril Pertsev — LiveJournal
September 13th, 2015
02:21 pm

[Link]

Previous Entry Share Next Entry

(91 comments | Leave a comment)

Comments
 
[User Picture]
From:alamar
Date:September 14th, 2015 06:15 am (UTC)
(Link)
List comprehensions в чистом виде упражнения на монаде List.

А монада Maybe - в чистом виде функция с множеством выходов.

Edited at 2015-09-14 06:15 am (UTC)
[User Picture]
From:kika
Date:September 14th, 2015 06:39 am (UTC)
(Link)
Для меня в этом тексте слово "монада" совершенно лишнее. И поэтому от частного к общему я перехожу с большим трудом.

И Maybe я воспринимаю никак не как какую-то непонятную монаду, а как union из Nothing и другого union из всех остальных типов (то есть Just).
[User Picture]
From:lionet
Date:September 14th, 2015 08:08 am (UTC)
(Link)
Maybe — это простой тип. А монадой он становится только тогда, когда для него описывают монадическое поведение (через instance Monad Maybe ...). Которое может быть разным, но для Maybe не так много их можно придумать _полезных_. Поэтому иногда и говорят, что Maybe-это монада. Хотя на самом деле правильнее говорить, что для Maybe определена монада.

Проблема в том, что в хаскеле только одну монаду можно определить для типа. Вернее, монад сколько хочешь можно определить, но только одна будет первоклассной — подержанной синтаксическим сахаром, всеми подпорками из Control.Monad, и так далее.
[User Picture]
From:alamar
Date:September 14th, 2015 10:57 am (UTC)
(Link)
К общему "объект" ведь удалось перейти?
[User Picture]
From:kika
Date:September 14th, 2015 08:27 pm (UTC)
(Link)
Нет. я ООП понимал, но никогда не принимал. Для меня ОО - это просто местами довольно ловкий способ обеспечить модульность. Но вся религия вокруг ОО - это чистой воды мусор для мозга.
Это не мешало мне писать на ++, на ATL и WTL, но я "просто исполнял приказ", альтернативой было писать на чистом С, а для винды это еще более мучительно.

ООП на самом деле хорошо ложится на event driven парадигму разработки GUI, и может быть BPO. И все.

Но насколько лучше на GUI ложится концепция сигналов, например, из Elm. Если бы плюсовому программисту под винду несколько лет назад показали бы Elm-овский time traveling debugger, который там фактически просто сам собой зародился, то этот программист бы просто рехнулся.


Edited at 2015-09-14 08:28 pm (UTC)
My Website Powered by LiveJournal.com