пара заметок

Ночью приходил енот, помыл кошкину миску. Почему этого енота не записала камера, непонятно.

Regarding type parameters and member types. Say, you have trait T[X]{}. With a certain caveat, you may view it as a functor. If you have trait T { type X }. We have a partial mapping that, given a type, produces X (or not).

We can as well view both as binary relations between types (or profunctors, if we go to categories). One is an inverse of another.

So when you choose which one to prefer, mind the meaning of it.

(inspired by Compall's blog from 2015.

дыбр

 Утром вычислял, во сколько выехать на велике. Надо было в 10, но я выехал в 10:17, и немножко попотел уже на последнем подъеме. Жарко же в 12. Ну ладно. Старался типа поднажать чуток, но добавил мало. А потом еще бац - и моя запись на страве куда-то делась. Ну напишу здесь - обычные 20.5 миль, 2 часа с копейками, 1950 футов подъему. Так себе, по сравнению с крутыми - Аравин проехал 50 миль типа за 2.5 часа, что ли. Ну и т.д.

Ладно; помылся в верхнем душе (типа награда за достижение), пообедал - и лег делать налоги - и заснул. Продрых два часа. Проснулся - на столе уже остывший гамбургер, точнее, мясо от него.

Пришла с амазона швабра для окон. Там даже пипидастр есть, удобно. Завтра мыть буду; на лестницу лазить не надо, ура.
Еще пришла бумага, что у нас теперь lien на нашу проперти нету - Дом Наш! Год понадобился на эту бумагу; мы ж год назад выплатили. 

Потом что-то читал (а, вот: "Клини с Черчем, регулярки в виде типов").

Еще там на твитере Стивен П. пишет, про новости, что русские платят талибану за убитых американских солдат, мол, это Путин плохой, а русские вообще-то хорошие. Написал ответ, мол, все несколько сложнее в реале.

Хотел пойти посидеть на крыльце (у нас тут моден porch monkey business), и взял с собой кошку. Кошка так-то на руки с удовольствием, и по дому нормально (кроме гаража); но вынес ее через входную дверь, и она в панике - "где я, что тут?" - хотя бывало, что она под машиной сидела например. Ну и вот, в панике она побегала по лужайке, потом пошла села около соседского забора. Тут как раз вышел сосед Лап поливать свой газон из шланга. Ну убежала. Хотя с Лапом она знакома, по идее. Потом Лап ушел, она пошла обратно села. Прилетела птичка, стала дразнить ее. Но ей не до того, страшно же в незнакомом (почему-то) месте. Сидела как раз над тем местом, где Мусечка похоронена. А мимо меня ходит такая, не то что меня не знает, а я руку протяну - она удирать. Этого страшного дядьку, мол, не знаю. Но через час примерно успокоилась, подошла нехотя. Ну взял ее на руки, унес обратно на задний двор. Тут же жрать опять попросила. Ну дура, ну.

Потом мы еще сходили погуляли по местности, 8 тыс шагов. Рассуждали о том, что в дриме да на фесбуке да на твитере пишут. На твитере смешное кино про Луку, опять сцена с Гитлером эта. Т.к. нынче все на крылечках сидят (да надоело же замкнутое пространство), то опять поздоровались с Риком и Лорной (которые препы, как и мы), и с ними еще сидела Кайла в этот раз.

Вот эта моя дорожка, Меткаф (фесбук предлагает заменить на одного френда по этой фамилии - он родственник дороги)

 

А это у нас на местности