В рассылке проекта sbt (simple-build-tool) уже пару раз (раз и два) всплывал один и тот же вопрос: как скомпилировать проект с continuations и scala 2.8.
И хоть на вики это есть http://code.google.com/p/simple-build-tool/wiki/CompilerPlugins
все равно новенькие снова наступают на те же грабли.
Часто чинится посредством вызовом sbt update перед компиляцией. Тогда все идет нормально.
Показаны сообщения с ярлыком fp. Показать все сообщения
Показаны сообщения с ярлыком fp. Показать все сообщения
понедельник, 18 апреля 2011 г.
Века не хватит научится
Познавательная статья
(pdf)Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform. T.Rompf, I.Maier, M.Odersky.
Besides that, it is common knowledge that delimited continuations are able
to express any definable monad (Filinski 1994, 1999).
Это я на потихоньку решил вытащить все посты из draft'ов. Сначала мелкие, а потом, когда время и желание будет -- крупные.
(pdf)Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform. T.Rompf, I.Maier, M.Odersky.
Besides that, it is common knowledge that delimited continuations are able
to express any definable monad (Filinski 1994, 1999).
Это я на потихоньку решил вытащить все посты из draft'ов. Сначала мелкие, а потом, когда время и желание будет -- крупные.
пятница, 1 октября 2010 г.
Интригующие заголовки
Коллекция книжек давно перестала содержать "must-read only". Повыбрасывать спорные книжки можно, но жалко. :)
И вот, опять захомячил пару прикольных экземпляров. Как ради коллекции, так и полистать на досуге.
1. Functional C (International Computer Science Series), 1997
Введение уже подкупило фразами: "We visit all dark alleys of C". Отчего-то вспомнился комикс Functional programming is beautiful.
This book is the course material to teach a second paradigm: imperative pro-
gramming, using C as the programming language. The book has been written so
that it builds on the knowledge that the students have acquired during their first
course on functional programming, using SML.
Ведь правда интересно, как кому-то, кто начинал программирование с SML, будут рассказывать про это чудо природы.
2. Functional Programming and Input/Output.
Тоже будет интересно взглянуть, краем глаза, когда время будет:
A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O.
И вот, опять захомячил пару прикольных экземпляров. Как ради коллекции, так и полистать на досуге.
1. Functional C (International Computer Science Series), 1997
Введение уже подкупило фразами: "We visit all dark alleys of C". Отчего-то вспомнился комикс Functional programming is beautiful.
This book is the course material to teach a second paradigm: imperative pro-
gramming, using C as the programming language. The book has been written so
that it builds on the knowledge that the students have acquired during their first
course on functional programming, using SML.
Ведь правда интересно, как кому-то, кто начинал программирование с SML, будут рассказывать про это чудо природы.
2. Functional Programming and Input/Output.
Тоже будет интересно взглянуть, краем глаза, когда время будет:
A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O.
Подписаться на:
Сообщения (Atom)