Jan. 8th, 2017

juan_gandhi: (Default)

List a = Codensity Endo a = forall r. (a -> r -> r) -> r -> r

nil :: List a
nil = \f z -> z

cons :: a -> List a -> List a
cons x xs = \f z -> f x (xs f z)

append :: List a -> List a -> List a
append xs ys = \f z -> xs f (ys f z)

foldr :: (a -> r -> r) -> r -> List a -> r
foldr f z xs = xs f z

Basically, it's like lambda.

Src: https://golem.ph.utexas.edu/category/2012/09/where_do_monads_come_from.html#c042100

дыбр

Jan. 8th, 2017 08:58 pm
juan_gandhi: (Default)
 
Ливень, штормяга. Но тепло. Так что тот факт, что обогрев сломан, не бацает уже.

По ящику в новостях один дождик показывают, и лужи на дорогах. Смотрите, лужа!

Мы как бы бездельничаем. Я доинсталлировал инстанс на амазоне с GPU, чтобы диплернингу учиться по интернету.

Выволокли все из кухни. Особенно драматично было холодильник тащить; он тяжелый, я еле вообще поднимал.

Посмотрели аж три серии Дирка Джентли. Ну так, ничо. Бегают много, и дерутся. И логика, как обычно, проседает на циклах. Ну это знамо дело, вопрос "когда это было" при зацикленном времени не имеет смысла (теорема есть).

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

Под конец кино у меня вдруг бац, рухнул сахар. Что это было, я ж не делал ничего. Любопытное явление. Если б насобачиться поддерживать вот так на 100, было бы классно.

Все, еще урок послушаю. Пока что там элементарные вещи, фильтры картинок (Sobel filter), все это лет 40 уже известно.

Profile

juan_gandhi: (Default)
juan_gandhi

July 2017

S M T W T F S
       1
2 3 4 5 67 8
9 10 11 1213 14 15
16 17 18 19 20 21 22
23 24 2526272829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 26th, 2017 04:45 am
Powered by Dreamwidth Studios