Пока искал нужный мне материал, случайно наткнулся сначала на две главы будующей книги какой-то книги.
Chapter 3 Recursion in the Pointfree Style
Chapter 4 Why Monads Matter
Стало интересно, быстро нашел автора, название, и чуть более полный вариант ее черновика (первая часть -- 4 главы, без вступления и синопсиса), pdf:
J.N.Oliveira, Program Design by Calcuration, (DRAFT) University of Minho (in preparation).
Упор в книге делается на разработку программ в pointfree стиле.
Будет время, почитаю не по диагонали.
Комментариев нет:
Отправить комментарий