Category: литература

Category was added automatically. Read all entries about "литература".

лямбда

Библиотеки

Две библиотеки, о которых узнал из френд-ленты. Понравились.

1. mmtl via permea_kra.

Очередная библиотека монад-трансформеров с фишкой. Позволяет не определять для каждой монады инстанс каждого монад-класса. Таким образом модуль с ReaderT не будет ничего знать о MonadWriter, тем не менее инстансы для

(а) MonadWriter w => MonadWriter w (ReaderT r (Writer w))
и
(б) MonadWriter w m => MonadWriter w (ReaderT r (WriterT w m))

будут выводиться. Т.е. теперь мы пишем свой монад-трансформер и у нас автоматом есть инстансы для всех имеющихся монад классов.

К сожалению, (а) и (б) реализованы как отдельные инстансы. Была бы ещё возможность описать это в отдельном - типа
MonadWriter w i, MonadTrans t => MonadWriter w (t i)


Написано, что "Inspired by the paper /Functional Programming with Overloading and Higher-Order Polymorphism/, Mark P Jones"

2. Coroutine via nponeccop.

lightweight session types для описания протоколов. Индексированная монада для представления линейных типов, собирание типов с помощью комбинаторов типов. Понравилась реализация дуальности типа клиента и сервера - очень просто и красиво.

Подробнее в презентации Haskell Session Types with (Almost) No Class
от Jesse Tov. Есть видео, но я его не смотрел.
иа

Детство

Вспоминаю вот.
Вот, что autonuke напомнил. Хочу такой NFS для своего сына. Мне, помню, нравился.
А вот еще чудесный сайт: http://www.76-82.ru/

Кто стучится в дверь моя, видишь, дома нет никто. Это я, жена пришел. Заходи по одному!

или вот

Дело было в январе, солнечном апреле,
Сухо было на дворе - грязи по колено,
По кирпичной мостовой сделанной из досок,
Шел высокий гражданин низенького роста,
Дело было в январе, солнечном апреле,
Жив здоров - лежу в больнице,
Сыт по горло-есть хочу,
Приходите все родные - я вас видеть не хочу.

У девчонок в тетрадках были "анкеты" и стихи вроде этого:

Помни и не забывай формулу такую:
Сумма двух влюбленных губ равна поцелую.

А вот что мальчишки говорили девчонкам:

мадам Люлю,
я вас люблю!
тут девочки таяли.. и:
Но-но, я репетирую!

Остальное смотрите там, а я ушел в Союзпечать - говно качать, по три копейки получать :-)
иа

хокку плюс

Наслаждайтесь! Парень дописывает хокку японских поэтов. Всего одной строчкой.

http://www.vavilon.ru/bgl/hok.html
http://www.belobrovpopov.ru/palka/palka.htm

Вот примеры:

Бросил на миг
Обмолачивать рис крестьянин.
Глядит на луну...
(ОН - ИНОПЛАНЕТЯНИН.)

Вместе с хозяином дома
Слушаю молча вечерний звон.
Падают листья ивы.
ДИН, ПОНИМАЕШЬ, ДОН...

подглядел у shinan
шапка джейн

месяц не курю

и не хочется.

Прочитал хорошую книжку. В ней черным по белому написано:

"единственная причина, по которой вы читаете эту книгу, состоит в том, что вам порекомендовал ее другой бывший курильщик"

И вроде ничего особенного в ней нет, общеизвестные факты. Хотя вру, конечно, было и новое для меня.
В частности вот это: "бросить курить очень легко"