Aug. 1st, 2020

juan_gandhi: (Default)
Что в ScalaZ ноль тестов для OptionT. Я им когда-то навалял тест для finger trees, ну и. Короче, за столько лет если не сбацали, так и все уже, наверно. Хм. Это я хотел поэкспериментировать. Потому что не совсем понимаю причин коммутирования (и могу привести простой контрпример). Пошел смотреть, как оно в typelevel/cats. In short. Have to use cats. Probably not. Will take a look at ZIO later.

дыбр

Aug. 1st, 2020 09:49 pm
juan_gandhi: (Default)
 Ночью опять дурдом был на огороде, еноты куролесили. И перед домом тоже, пораскопали, что я там на газоне закопал, что-то им надо было.

А утром, заснул после завтрака, подруга уже ушла вниз работать, я я так просыпаюсь, на меня кошка смотрит. Это она пробралась на второй этаж. Показал ей балкон. Но вообще она боится; удрала.

А я на велике поехал, чо. Погодка хорошая, не жарко утром. Народ почему-то навстречу - 26 навстречу; двое меня обогнали, четверых я обогнал. Но главное - уложился меньше чем в два часа, ура. Сбылась мечта идиота. Теперь я не на третьем месте с конца, а на девятом.

Но вообще такое ощущение, велосипедное чувство тридцатилетия, когда все пофиг, и пилишь себе. Хорошо!




Пока ехал, думал про OptionT, " monadic transformer", и про алгебраические типы. Ну все норм; но с трансформером надо еще побаловаться. Контрпримеры у меня есть (монада, не коммутирующая с Option); ну и. Посмотрю еще. 

Баловался со scalaz и с cats. Cats, конечно, посерьезнее. Ну посмотрим еще.

И текст этот, про алгебраические типы, перенес из вики в файл. Посмотрим тоже; советуют почитабельнее сделать.

Еще почитал Зиника, потом пошел поливалку дальше починять. Ну там ой морока; корни в земле; труба треснула; вставлял одну вставку - не вошла, пришлось другую склеивать, да в Хоум Дипо сгонять.

А, ну в шестом часу же смотрел, как ДрагонЭкс удаляется. У него там бортовые огни, красный и зеленый. Космическое судно! Причем блин, ведь верха и низа нету, значит, нет и право-лево. Нет. Соблюдают. Прикол какой-то, я думаю.

А вообще, на этом Драгоне сортир есть? Ха, посмотрел. Есть, оказывается. Можно Терешкову посылать.

Поливку я так и не доделал, стемнело. Сходили погуляли; ну и все на сегодня.

 

 

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

August 2025

S M T W T F S
      12
3456789
10 11 12 13141516
171819 20212223
24252627282930
31      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 21st, 2025 04:35 am
Powered by Dreamwidth Studios