Jun. 24th, 2017

juan_gandhi: (Default)
So, I believed. Yes, I did.

trait Map[-Domain, +Codomain].

What does it fucking mean? That an f: X → Y is also X1 → &Y1 for any X1 <: X and Y1 >: Y.

Do I have to elaborate why it's just plain fucking bullshit?

Ok, ok, I understand, Curry typing.

Does Curry typing have any categorical meaning? Eh...

дыбр

Jun. 24th, 2017 10:17 pm
juan_gandhi: (Default)
 Утром проспали до полвосьмого, так что с мужиками кофе пить не поехали. Я повозился чуток с "зависимыми типами" (ну надо же закончить!), и в Икею ломанулись. Ну в смысле сначала еще в Коровку, потом в Пало Альто Арт Центр, а потом уже в Икею. Купили там одежный шкаф в угол маленького коридора. Но только это столько времени заняло! Потом дизайн на компьютере, потом подошла тетенька, все это вставила в базу, наш заказ, и мы поехали обедать. В Восточном Пало Альто подруга есть не пожелала, поехали в тайский на Литтон, в Пало Альто. Я там был раз в 2010м, обедал с Качингом. Ну ничо так. Но сейчас уже совсем так себе.

Вернулись, погрузили мебель на большую машину, на крышу. Ну разгрузили дома, и уже 4 часа дня.

Надо всякое делать по дому, но некогда!!! Поспал, потом опять программировал до вечера.

Кошка стучалась; есть не хочет, хочет общаться. Возьмешь ее на колени - слюни текут... нет, не бешенство. Но особо-то не насладишься. Выгнал ее. Пусть там с енотами тусуется. Кстати, енотов нету. Рыбы только. Рыбы, кстати, меня узнают.

И вот уже чуть не пол-одиннадцатого, а немецкий еще не доделан. Ну и дела. И кстати, еще не все готово с "типами".


Profile

juan_gandhi: (Default)
juan_gandhi

August 2017

S M T W T F S
   1 23 4 5
6 7 8 9 10 11 12
13 14 15 16 1718 19
20 21 2223242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 23rd, 2017 06:17 am
Powered by Dreamwidth Studios