Aug. 1st, 2020
с ужасом обнаружил...
Aug. 1st, 2020 01:34 pmOptionT
.
Я им когда-то навалял тест для finger trees, ну и. Короче, за столько лет если не сбацали, так и все уже, наверно.
Хм.
Это я хотел поэкспериментировать. Потому что не совсем понимаю причин коммутирования (и могу привести простой контрпример).
Пошел смотреть, как оно в typelevel/cats.
In short. Have to use cats. Probably not.
Will take a look at ZIO later.А утром, заснул после завтрака, подруга уже ушла вниз работать, я я так просыпаюсь, на меня кошка смотрит. Это она пробралась на второй этаж. Показал ей балкон. Но вообще она боится; удрала.
А я на велике поехал, чо. Погодка хорошая, не жарко утром. Народ почему-то навстречу - 26 навстречу; двое меня обогнали, четверых я обогнал. Но главное - уложился меньше чем в два часа, ура. Сбылась мечта идиота. Теперь я не на третьем месте с конца, а на девятом.
Но вообще такое ощущение, велосипедное чувство тридцатилетия, когда все пофиг, и пилишь себе. Хорошо!

Пока ехал, думал про OptionT, " monadic transformer", и про алгебраические типы. Ну все норм; но с трансформером надо еще побаловаться. Контрпримеры у меня есть (монада, не коммутирующая с Option); ну и. Посмотрю еще.
Баловался со scalaz и с cats. Cats, конечно, посерьезнее. Ну посмотрим еще.
И текст этот, про алгебраические типы, перенес из вики в файл. Посмотрим тоже; советуют почитабельнее сделать.
Еще почитал Зиника, потом пошел поливалку дальше починять. Ну там ой морока; корни в земле; труба треснула; вставлял одну вставку - не вошла, пришлось другую склеивать, да в Хоум Дипо сгонять.
А, ну в шестом часу же смотрел, как ДрагонЭкс удаляется. У него там бортовые огни, красный и зеленый. Космическое судно! Причем блин, ведь верха и низа нету, значит, нет и право-лево. Нет. Соблюдают. Прикол какой-то, я думаю.
А вообще, на этом Драгоне сортир есть? Ха, посмотрел. Есть, оказывается. Можно Терешкову посылать.
Поливку я так и не доделал, стемнело. Сходили погуляли; ну и все на сегодня.