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

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
1718 1920 21 22 23
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 24th, 2017 08:39 am
Powered by Dreamwidth Studios