Size: a a a

2021 March 22

n

nonsameer in Haskell Start
Aleksei (astynax) Pirogov
Is it a kind of homework? We are trying to avoid such discussions here
No. It's a training program and I am not looking for homework help,  but trying to learn from experience of others in similar, related training program. My objective is to make consistent progress and remain productive,  in the direction of work I have chosen here.
источник

JS

Jerzy Syrowiecki in Haskell Start
nonsameer
I got kinda , sorta inducted to the training program to develop this open-source /research product. As stated,  it's critical for me to make progress. Any tips are welcome
you say "this project", but I see no project
источник

t

toriningen in Haskell Start
Yan Shkurinskiy
Помню жаркие споры о корректности фразы "монада  Maybe"
а почему maybe может быть не монадой?
источник

n

nonsameer in Haskell Start
toriningen
okay, I've falsely assumed you're a spamer. if you're not, it's okay, but your attached image looks like not really related to haskell in any way
it's a Haskell product under research and development at umich
источник

JS

Jerzy Syrowiecki in Haskell Start
toriningen
а почему maybe может быть не монадой?
это тоже некорректный вопрос
источник

YS

Yan Shkurinskiy in Haskell Start
toriningen
а почему maybe может быть не монадой?
Это кажется был спор между Юрием и каной
источник

YS

Yan Shkurinskiy in Haskell Start
Лучше у них все детали)
источник

t

toriningen in Haskell Start
Jerzy Syrowiecki
это тоже некорректный вопрос
почему? разве монады не относятся к вопросам новичков?
источник

t

toriningen in Haskell Start
страшное м-слово
источник

TZ

Timofey Zakrevskiy in Haskell Start
toriningen
почему? разве монады не относятся к вопросам новичков?
В формулировке. Для Maybe можно написать инстанс монады.
источник

TZ

Timofey Zakrevskiy in Haskell Start
Правда, только один
источник

TZ

Timofey Zakrevskiy in Haskell Start
Со списком сложнее. Для него можно написать много разных инстансов монады, пусть и используем мы только один.
источник

JS

Jerzy Syrowiecki in Haskell Start
toriningen
почему? разве монады не относятся к вопросам новичков?
а, окей, для новичков надо пояснить.

Maybe всегда является монадой, даже если инстанс не написан, в теории это монада, это уже доказано.

просто не стоит говорить "монадамэйби" в тех случаях, когда монадность этого типа не нужна.

равно как "человек Юра", "рыба селёдка" или "орех пекан"
источник

YK

Yuri Kostin in Haskell Start
Jerzy Syrowiecki
а, окей, для новичков надо пояснить.

Maybe всегда является монадой, даже если инстанс не написан, в теории это монада, это уже доказано.

просто не стоит говорить "монадамэйби" в тех случаях, когда монадность этого типа не нужна.

равно как "человек Юра", "рыба селёдка" или "орех пекан"
=)
источник

t

toriningen in Haskell Start
Jerzy Syrowiecki
а, окей, для новичков надо пояснить.

Maybe всегда является монадой, даже если инстанс не написан, в теории это монада, это уже доказано.

просто не стоит говорить "монадамэйби" в тех случаях, когда монадность этого типа не нужна.

равно как "человек Юра", "рыба селёдка" или "орех пекан"
окей, логично
источник

t

toriningen in Haskell Start
но вроде никто и не говорит "монада мэйби", когда мэйби используется как функтор, например
источник

t

toriningen in Haskell Start
или вообще как адт
источник

JS

Jerzy Syrowiecki in Haskell Start
может, это личное, я слишком часто слышал, как любители, например, Котлина, говорят, что у них в языке "оператор (?.) — это монада мэйби".

или "давайте вместо null возвращать монаду мэйби, это прогрессивно"
источник

D

Dreamerinnoise in Haskell Start
занудство какое-то
источник

D

Dreamerinnoise in Haskell Start
обижаться ещё и на котлинистов
источник