Aug. 31st, 2010
самое полезное чтение
Aug. 31st, 2010 04:46 pmЗа последнее время хм, я прочитал толстенный роман Любы Оглоблиной; несколько глав дневника Нагибина; несколько глав дневника Фейнмана (что смешно, у Любы И Ричарда что-то такое было общее в детстве; а дальше Оглоблина поминает и похотливого Нагибина... Нагибин вообще человек не простой, но жж у него классный.)
Но это всё фигня. Самое главное - вот, лекция Тармо Уусталу на тему типов, монад и прочего такого. Я всё лето пытался сообразить, как коммутировать монады, как для этого использовать сопряженные пары и т.д. - а у него всё это изложено с примерами. Немножко там лишнего есть; надо бы переизложить в более компактных терминах - но на главный вопрос у него как раз есть ответ. Так что это.
Но это всё фигня. Самое главное - вот, лекция Тармо Уусталу на тему типов, монад и прочего такого. Я всё лето пытался сообразить, как коммутировать монады, как для этого использовать сопряженные пары и т.д. - а у него всё это изложено с примерами. Немножко там лишнего есть; надо бы переизложить в более компактных терминах - но на главный вопрос у него как раз есть ответ. Так что это.