Size: a a a

2021 February 15

JS

Jerzy Syrowiecki in Haskell
Aminion
да, вопрос именно в ленивости, иначе бы я просто получил бы все, и заалтернативил бы
конкретно для IO Maybe есть instance Alternative (MaybeT m)
источник

JS

Jerzy Syrowiecki in Haskell
(<|>) `on` MaybeT
 :: Monad m

 => m (Maybe a) -> m (Maybe a) -> MaybeT m a
источник

A

Aminion in Haskell
Jerzy Syrowiecki
конкретно для IO Maybe есть instance Alternative (MaybeT m)
Спасибо, а что использовать вместо ListT, если он осуждается?
источник

K

Kir in Haskell
Aminion
Спасибо, а что использовать вместо ListT, если он осуждается?
LogicT или ListT-done-right
источник

AA

A64m AL256m qn<co... in Haskell
да, теперь точно уже собираются геттеры и сеттеры через точку в разных релизах выпустить
источник

A

Aminion in Haskell
Kir
LogicT или ListT-done-right
взял MaybeT, благо по логике нужен только первый попавишся хед
источник

ЗП

Зигохистоморфный Пре... in Haskell
Kir
LogicT или ListT-done-right
LogicT это черч лист трансформер
источник

AP

Anatolii Prylutskyi in Haskell
A64m AL256m qn I0
да, теперь точно уже собираются геттеры и сеттеры через точку в разных релизах выпустить
будет какой-то флаг чтобы выключить это?
источник

AA

A64m AL256m qn<co... in Haskell
Anatolii Prylutskyi
будет какой-то флаг чтобы выключить это?
да, возможно это будут отдельные экстеншены вообще, но они не решили пока
источник

AP

Anatolii Prylutskyi in Haskell
было бы хорошо
источник

A

Aminion in Haskell
A64m AL256m qn I0
да, теперь точно уже собираются геттеры и сеттеры через точку в разных релизах выпустить
это типа линзы?
источник

AA

A64m AL256m qn<co... in Haskell
нет, к сожалению, нет
источник

ЗП

Зигохистоморфный Пре... in Haskell
чего они пренебрегают готовыми конструкциями?
источник

YS

Yan Shkurinskiy in Haskell
Зигохистоморфный Препроморфизм
чего они пренебрегают готовыми конструкциями?
линзы?
источник

ЗП

Зигохистоморфный Пре... in Haskell
Yan Shkurinskiy
линзы?
ага
источник

YS

Yan Shkurinskiy in Haskell
видимо хотят сделать чтобы было попроще
источник

AA

A64m AL256m qn<co... in Haskell
СПЖ линзохейтер просто
источник

AA

A64m AL256m qn<co... in Haskell
или, если точнее, примерно все кто имеет отношение к этому пропозалу и как имплементаторы и как те кто решает что пустить а что нет
или ненавидят линзы в принципе
или ненавидят именно lens за неиспользование абстрактных типов как в optics, и вставили бы optics, но видимо не решаются потому что они совсем не популярные
источник

AA

A64m AL256m qn<co... in Haskell
поэтому будет фича , которую могли бы в 98-ом году вставить в язык, но 25 лет спустя
источник

AA

A64m AL256m qn<co... in Haskell
вместо фичи которую могли бы в 13 году вставить, но 10 лет спустя
источник