AK
то есть он
Boolean -> m Unit -> m Unit, а мне надо Boolean -> m a -> m aBoolean -> m Unit -> m Unit, а мне надо Boolean -> m a -> m aSize: a a a
2018 July 22
ЗП
то есть он
AK
Хм, можно попробовать, да, спасибо!
2018 July 24
VY
не соображу как можно по-нормальному записать такое:
в смысле убрать
HandleDialog (Dialog.Output idx) a → a <$ do
dialog ← H.gets _.dialog
for_ dialog \options → do
for_ (options.actions !! idx) \{ action } → do
H.liftAff action
H.modify_ _ { dialog = Nothing }
в смысле убрать
for_ for_ЗП
не соображу как можно по-нормальному записать такое:
в смысле убрать
HandleDialog (Dialog.Output idx) a → a <$ do
dialog ← H.gets _.dialog
for_ dialog \options → do
for_ (options.actions !! idx) \{ action } → do
H.liftAff action
H.modify_ _ { dialog = Nothing }
в смысле убрать
for_ for_заюзать
Compose и тогда скорее всего у тебя будет один for_VY
либо линзами
VY
пора бы уже мне нормально научиться ими пользоваться)
2018 July 25
AK
AP
Линзы - лучшее, что случилось с ML-семейством в последние годы
AG
VY
:D есть доля шутки
к
:D есть доля шутки
ну там серия твитов с иронией над языками
VY
прочитал книгу его, прикольная, она маленькая, но оч полезная для новичков как я, пошел везде линзы втыкать теперь :D
AK
прочитал книгу его, прикольная, она маленькая, но оч полезная для новичков как я, пошел везде линзы втыкать теперь :D
мне тоже надо, а то кажется, что некоторые преувеличивают (pun intended) их значение
2018 July 26
AG
надо разобраться в чем затык с зависимыми линзами
VY
зависимыми?
AG
ну, линзы в завтипизированном языке (idris)
AG
говорят что-то не то с ними там
2018 July 28
AK
Почему в
do-нотации можно указать тип так: func = doА с
smth :: Type <- otherFunc
pure smth
let нужно обязательно так:func =(а не
let
smth :: Type
smth = otherFunc
in ...
smth :: Type = otherFunc)?