Выбор автошколы в Москве Удивительно, как вместе с научно-техническим прогрессом меняется и сама жизнь. Еще относительно недавно (на заре XX века) Никола Тесла утверждал, что когда-нибудь человество сможет обмениваться мыслями на самых далеких расстояниях. Тогда его заявление казалось абсурдным, провокационным, ...
Переводы в библиотечку ПФП
fprog — 30.01.2011
Дамы и господа!Что из классической литературы по ФП, по-вашему, стоило бы перевести в библиотечку ПФП? Предлагаю обсудить в этом посте.
Необязательно конкретные статьи, можно и темы.
Желающие предложить свои переводы или выполнить предложенные также строжайше приветствуются - родина вас вовеки не забудет, ибо проект в своем роде единственный!
Вот что кажется мне:
- Guy Steele - Lambda Papers, в частности "Lambda: the ultimate GOTO", "Lambda: the ultimate imperative"
- Guy Blelloch - Vector Models for Data-Parallel Computing
- Henk Barendregt - Lambda Calculi with Types
- Fergusson, Deugo - Call with Current Continuation Patterns
- Philip Wadler - Monads for functional programming
- Iverson - Notation as a tool of thought, либо что-то еще на тему APL/J/K
- Peyton-Jones - Composable Memory Transactions
- Kiselev, Peyton-Jones etc. - Fun with Type Functions
- Что-либо про prolog
- Что-либо про forth или другие конкатенативные языки
- Что-либо про partial evaluation
- Что-либо про calculus of inductive constructions
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Архив записей в блогах:
(с) Оригинал Источник ...
Вот вы тут сидите, кнопочки на клавиатуре нажимаете, а Германию уже оккупировали агенты Путина... Ну или немцев покусали укры и прибалты, вы уж сами решайте: Именно те самые агенты Путина, которые уже завербовали Порошенко, Климкина и всех санитаров в укропсихушках, захватили Прибалтику ...
Сегодня завиcла у шкафа в раздумьях, чего бы захотеть. Понимаю, что в таких случаях Aeroplane, Detaille уже заслужил звание палки-выручалки. Да и погода хороша для шипров. А в чем вы поживаете в этот прекрасный хмурый летний день? :) ...
1. На улице дождь. Но как говорит моя мама: если ты одет правильно, то любая погода нипочем :) Мы одеты правильно - у всех резиновые сапоги, нормальные зонты, портфели на спине. "Народные тропы" развезло, пришлось идти по дорожкам. Зато повторили английский с Кирой :) Надеюсь, от дождя и ...
