самое полезное чтение
Aug. 31st, 2010 04:46 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
За последнее время хм, я прочитал толстенный роман Любы Оглоблиной; несколько глав дневника Нагибина; несколько глав дневника Фейнмана (что смешно, у Любы И Ричарда что-то такое было общее в детстве; а дальше Оглоблина поминает и похотливого Нагибина... Нагибин вообще человек не простой, но жж у него классный.)
Но это всё фигня. Самое главное - вот, лекция Тармо Уусталу на тему типов, монад и прочего такого. Я всё лето пытался сообразить, как коммутировать монады, как для этого использовать сопряженные пары и т.д. - а у него всё это изложено с примерами. Немножко там лишнего есть; надо бы переизложить в более компактных терминах - но на главный вопрос у него как раз есть ответ. Так что это.
Но это всё фигня. Самое главное - вот, лекция Тармо Уусталу на тему типов, монад и прочего такого. Я всё лето пытался сообразить, как коммутировать монады, как для этого использовать сопряженные пары и т.д. - а у него всё это изложено с примерами. Немножко там лишнего есть; надо бы переизложить в более компактных терминах - но на главный вопрос у него как раз есть ответ. Так что это.
no subject
Date: 2010-08-31 11:48 pm (UTC)no subject
Date: 2010-09-01 12:48 am (UTC)no subject
Date: 2010-09-01 01:52 am (UTC)no subject
Date: 2010-09-01 04:42 am (UTC)no subject
Date: 2010-09-01 01:19 am (UTC)no subject
Date: 2010-09-01 04:41 am (UTC)