_:
Хм, разве?
Size: a a a
2020 June 28
_:
Ну, вроде похоже
_:
Просто Aff было проще написать
ЗП
ContT r m a
Cmd = ContT Unit Aff
Cmd = ContT Unit Aff
_:
Нужно попробовать заменить
ЗП
+ callCC использовать, где надо прервать
_:
ЗП
Переслано от Зигохистоморфный Пре...
запилил repl для Node.ReadLine.Aff
main :: Effect Unit
main = simpleRepl loop
where
loop = do
setPrompt "$ "
dog <- question "What's your dog's name?\n"
log $ ("Can I pet " <> dog <> "?")
str <- prompt
case SCU.uncons str of
Just {head: 'y'} -> log "Thanks!"
_ -> (log "C'mon! Be a sport about it!") *> loop
ЗП
Переслано от Зигохистоморфный Пре...
чтобы вы добавили в этот тип?
type Repl a = ReaderT RL.Interface Aff a2020 June 29
_:
Нет такого синтаксиса?
map (.name) xs
MK
Есть такой синтаксис.
MK
Вроде ещё можно использовать
(_.name)_:
Пока протестить не могу, вечером посмотрю, спасибо
ЗП
map _.name xs
ЗП
Можно линзой
MK
Можно линзой
Не срача ради, а просвещения, чем так хороша линза, и лучше ли она обращения к полю?
MK
(я ещё слабо погрузился в теоркат и фпшные фишки, на работе из-за этого устроили диспут на почве галогена, брр)
ЗП
Ну если нужно делать сложную выборку, то линзы ок
ЗП
Теоркат тут не при чем
MK
Я слышал вроде, линзы спасают при модификации вложенных структур