Jun. 17th, 2009
говорят попы
Jun. 17th, 2009 08:26 pmте, кто погиб на поле брани, отстояли духовную свободу нашей страны
любая трагедия - и революция 1917 года, и вторая мировая война, и экономический кризис - есть Божие наказание, Божий суд
Домовые храмы в вузе - чистая капля в море, а капля камень точит
У нас, академического сообщества, общие с Церковью задачи
(пардон, это не поп, а чёрт: это сам Садовничий)
Антихристианская элита пытается загнать жителей планеты в электронный концлагерь, чтобы получить абсолютную власть над ними
митрополит Одесский и Измаильский Агафангел справедливо отмечает: "Нынешний процесс глобализации, несомненно, приведет к воцарению антихриста и кончине мира...
Церкви жизненно необходимо заниматься миссией в социальных сетях
Правительство должно разработать законопроект об ограничении эротики в СМИ
Недопустимо считать человека греховным только потому, что у него ирокез
Новый этап российского освоения Арктики должна предварять литургия
Неприятие традиционных ценностей - главное проявление экстремизма в современной России
Главная заслуга Александра Невского - сохранение Православия на Руси
Православные русины будут сопротивляться размещению ПРО в Закарпатье
8 марта помогает людям смягчить травму от затянувшейся зимы
православные продемонстрировали, что между Третьим Римом и "третьим рейхом" не может быть ничего общего
Православная молодежь зачастую не умеет знакомиться
Церковная колокольня - это Останкинская башня богослужения
Со стороны Московского патриархата самым корректным ходом было бы профинансировать скорейший выход гоблиновского перевода "Кода да Винчи"
Нафигулла Аширов: Исходя из Конституции, мы на сто процентов правы
ХАМАС заинтересован в сотрудничестве с палестинскими христианами
Сегодня нет войны полумесяца с крестом - есть противостояние попсированного ислама и Голливуда
После Цусимы, как известно, западные страны устроили у нас в государстве революцию 1905 года, тогдашнюю "оранжевую"
любая трагедия - и революция 1917 года, и вторая мировая война, и экономический кризис - есть Божие наказание, Божий суд
Домовые храмы в вузе - чистая капля в море, а капля камень точит
У нас, академического сообщества, общие с Церковью задачи
(пардон, это не поп, а чёрт: это сам Садовничий)
Антихристианская элита пытается загнать жителей планеты в электронный концлагерь, чтобы получить абсолютную власть над ними
митрополит Одесский и Измаильский Агафангел справедливо отмечает: "Нынешний процесс глобализации, несомненно, приведет к воцарению антихриста и кончине мира...
Церкви жизненно необходимо заниматься миссией в социальных сетях
Правительство должно разработать законопроект об ограничении эротики в СМИ
Недопустимо считать человека греховным только потому, что у него ирокез
Новый этап российского освоения Арктики должна предварять литургия
Неприятие традиционных ценностей - главное проявление экстремизма в современной России
Главная заслуга Александра Невского - сохранение Православия на Руси
Православные русины будут сопротивляться размещению ПРО в Закарпатье
8 марта помогает людям смягчить травму от затянувшейся зимы
православные продемонстрировали, что между Третьим Римом и "третьим рейхом" не может быть ничего общего
Православная молодежь зачастую не умеет знакомиться
Церковная колокольня - это Останкинская башня богослужения
Со стороны Московского патриархата самым корректным ходом было бы профинансировать скорейший выход гоблиновского перевода "Кода да Винчи"
Нафигулла Аширов: Исходя из Конституции, мы на сто процентов правы
ХАМАС заинтересован в сотрудничестве с палестинскими христианами
Сегодня нет войны полумесяца с крестом - есть противостояние попсированного ислама и Голливуда
После Цусимы, как известно, западные страны устроили у нас в государстве революцию 1905 года, тогдашнюю "оранжевую"
Thrists: Dominoes of Data
Jun. 17th, 2009 09:03 pmarticle
"We develop a novel list-like datastructure (which we name Thrist), that is able to capture the typing
rule of function composition. Indeed, we show that when Thrist is parameterized with the function type
constructor (®) an interpretation function can be provided which completely emulates the classical
function composition (.). Additionally we can perform pattern matching on our Thrist elements, thus
obtaining the ability to do analysis on them. On the practical side we develop three new two-parameter
GADTs for inclusion into Thrists. The first, when accompanied by an appropriate interpreter, directly
model the semantics of the Cat language, while the second caters for a new type of parser combinator
libraries. In our third example we demonstrate the use of Thrists in state machines. The Thrist approach
of exposing the intermediate types where the elements are joined together shows its potential especially in
the ability to stage the interpreter in a type-safe way and only allows for type correct transformations."
"We develop a novel list-like datastructure (which we name Thrist), that is able to capture the typing
rule of function composition. Indeed, we show that when Thrist is parameterized with the function type
constructor (®) an interpretation function can be provided which completely emulates the classical
function composition (.). Additionally we can perform pattern matching on our Thrist elements, thus
obtaining the ability to do analysis on them. On the practical side we develop three new two-parameter
GADTs for inclusion into Thrists. The first, when accompanied by an appropriate interpreter, directly
model the semantics of the Cat language, while the second caters for a new type of parser combinator
libraries. In our third example we demonstrate the use of Thrists in state machines. The Thrist approach
of exposing the intermediate types where the elements are joined together shows its potential especially in
the ability to stage the interpreter in a type-safe way and only allows for type correct transformations."