Jun. 17th, 2009

juan_gandhi: (Default)
Один из лучших фильмов. Скорсезе. Мастер. Дей-Луис, Клава Шифер Мишель Пфайфер, Вайнона Райдер.

Стиль, философия, фрейдизм, драма на грани трагедии.
juan_gandhi: (Default)
Ты прикрываешь человека, а он на тебя тем временем стучит. Повторяющийся сюжет, а.
juan_gandhi: (Default)
те, кто погиб на поле брани, отстояли духовную свободу нашей страны

любая трагедия - и революция 1917 года, и вторая мировая война, и экономический кризис - есть Божие наказание, Божий суд

Домовые храмы в вузе - чистая капля в море, а капля камень точит

У нас, академического сообщества, общие с Церковью задачи
(пардон, это не поп, а чёрт: это сам Садовничий)

Антихристианская элита пытается загнать жителей планеты в электронный концлагерь, чтобы получить абсолютную власть над ними

митрополит Одесский и Измаильский Агафангел справедливо отмечает: "Нынешний процесс глобализации, несомненно, приведет к воцарению антихриста и кончине мира...

Церкви жизненно необходимо заниматься миссией в социальных сетях

Правительство должно разработать законопроект об ограничении эротики в СМИ

Недопустимо считать человека греховным только потому, что у него ирокез

Новый этап российского освоения Арктики должна предварять литургия

Неприятие традиционных ценностей - главное проявление экстремизма в современной России

Главная заслуга Александра Невского - сохранение Православия на Руси

Православные русины будут сопротивляться размещению ПРО в Закарпатье

8 марта помогает людям смягчить травму от затянувшейся зимы

православные продемонстрировали, что между Третьим Римом и "третьим рейхом" не может быть ничего общего

Православная молодежь зачастую не умеет знакомиться

Церковная колокольня - это Останкинская башня богослужения

Со стороны Московского патриархата самым корректным ходом было бы профинансировать скорейший выход гоблиновского перевода "Кода да Винчи"

Нафигулла Аширов: Исходя из Конституции, мы на сто процентов правы

ХАМАС заинтересован в сотрудничестве с палестинскими христианами

Сегодня нет войны полумесяца с крестом - есть противостояние попсированного ислама и Голливуда

После Цусимы, как известно, западные страны устроили у нас в государстве революцию 1905 года, тогдашнюю "оранжевую"
juan_gandhi: (Default)
article

"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."

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 23456
78910111213
14151617181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 3rd, 2025 09:34 am
Powered by Dreamwidth Studios