AV
Вообще ничего не мешает сделать {paramName} -> HasField "paramName" и делать линзу
Size: a a a
2020 May 05
YS
Никита вроде вообще сторонник туплов, и писать всё в одном месте (насколько я понял его мысли)
AV
и ${_1} для тупли!
AV
Угу
AV
Я правда боюсь это тормозить компиляцию адски будет
DI
Кто-нибудь дочитал последнюю граниностатью? Я устал еще до середины и реквестирую tl;dr
AV
И сообщение об ошибках как портал в ад
AV
Dmitry Ivanov
Кто-нибудь дочитал последнюю граниностатью? Я устал еще до середины и реквестирую tl;dr
Спроси у него в соседнем канале
DI
лучше забью
DI
Студент с GSoC про ускорение Haskell IDE вроде адекватный
DI
поставили ему первую задачу "зайти в IRC"
AA
есть какой-нибудь крутой линзоприем превратить Nothing в Just x, а Just оставить как есть
> Just 42 ^. non 0
42
> Nothing ^. non 0
0
42
> Nothing ^. non 0
0
AV
Как в линзах правильно поменять третий элемент тупли?
(_3 %~foo) ?AV
а если foo=coerce можно проще записать?
AV
просто coerce написать не получается, ghc типы не выводит, а хотелось бы
2020 May 06
MP
а какой аналог liftIO для (MonadBaseControl IO m, MonadIO m)?
мне нужно что-то, что может (MonadBaseControl IO m, MonadIO m) => IO a -> m a
мне нужно что-то, что может (MonadBaseControl IO m, MonadIO m) => IO a -> m a
AV
непонятно зачем тут аналог
AV
тут liftIO подойдёт, если есть только MonadBaseControl IO m, то liftBase