Archive for the ‘Функциональные языки’ Category

« Older Entries

Лекции UC Berkeley по computer science

Wednesday, April 5th, 2006

Свободно доступны на вебе в видео- и аудиозаписи лекции, которые читают в текущем семестре в Калифорнийском Университете в Беркли.

Отдельного внимания заслуживают:

См. также полный список лекций, доступных в рамках программы Webcast.Berkeley. Доступны форматы: потоковое видео в формате RealMedia, потоковое аудио в формате MP3, а также версия в MP3 для скачивания.

См. также: Видеозаписи лекций курса “Structure and Interpretation of Computer Programs”, которые читают в MIT.

Posted in Scheme, Лекции, Операционные системы, Программирование, Процессоры, Функциональные языки | No Comments »

R. Kent Dybvig “The Scheme Programming Language”, 3rd ed.

Monday, March 6th, 2006

Книга R. Kent Dybvig “The Scheme Programming Language” издательства MIT Press доступна в электронном виде.

Почитать можно тут: “The Scheme Programming Language”.

Posted in Scheme, Функциональные языки | No Comments »

The Haskell 98 Report (Revised)

Wednesday, March 1st, 2006

Описание языка Haskell и его стандартных библиотек доступно в электронном виде.

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

Оригинал можно прочитать здесь: The Haskell 98 Report (Revised).

Существует также русский перевод этого документа (из которого взято с небольшими изменениями краткое описание языка): Язык и библиотеки Haskell 98. Исправленное описание.

Posted in Haskell, Стандарты, Функциональные языки | No Comments »

Google Research Publications

Monday, February 27th, 2006

На сайте Google Labs доступно множество статей, написанных в разное время сотрудниками Google. Среди самых интересных:

  • The Google File System  — архитектурные принципы и внутреннее устройство файловой системы, используемой на серверах Google;
  • MapReduce: Simplified Data Processing on Large Clusters — интересное применение классических функций map и reduce для проведения широкомасштабных вычислений;
  • Web Search for a Planet: The Google Cluster Architecture — практические (местами неожиданные) выводы из технологии устройства вычислительных кластеров в Google;

Posted in Алгоритмы, Полнотекстовый поиск, Функциональные языки | No Comments »

R5RS: Revised5 Report on the Algorithmic Language Scheme

Friday, February 17th, 2006

Коротенький (50 страниц) и во многом даже увлекательный стандарт языка Scheme.

Почитать можно здесь: Revised5 Report on the Algorithmic Language Scheme

Posted in Scheme, Функциональные языки | No Comments »

Paul Graham, “On Lisp”

Wednesday, February 8th, 2006

Замечательная книжка “On Lisp”, написанная Полом Грэхемом (Paul Graham), опубликована в электронном виде. В книге подробно рассказываются различные методики программирования на Lisp, позволяющие резко увеличить выразительную силу программ и производительность программиста.

Почитать можно здесь: Paul Graham, “On Lisp”.

Posted in Lisp, Функциональные языки | No Comments »

Raphael Finkel, “Advanced Programming Language Design”

Sunday, February 5th, 2006

Raphael Finkel написал книгу о различных аспектах языков программирования, на примере многих достаточно нетривиальных языков. Книга называется “Advanced Programming Language Design”, она была опубликована издательством Addison-Wesley, и доступна в электронном виде.

Почитать можно здесь: “Advanced Programming Language Design”.

Posted in Функциональные языки, Языки программирования | 1 Comment »

Emmanuel Chailloux et al, “Developing Applications With Objective Caml”

Saturday, February 4th, 2006

Книга группы французских авторов “Разработка приложений в Objective Caml” в настоящий момент почти полностью переведена на английский язык и доступна в электронном виде.

Почитать можно здесь: “Developing Applications With Objective Caml”.

Posted in O'Reilly, Ocaml, Функциональные языки | No Comments »

Peter Seibel “Practical Common Lisp”

Saturday, February 4th, 2006

Книга Peter Seibel “Practical Common Lisp” доступна в электронном виде.

Почитать можно здесь: “Practical Common Lisp”

Posted in Lisp, Функциональные языки | No Comments »

Simon Peyton Jones “The Implementation of Functional Programming Languages”

Saturday, February 4th, 2006

Simon Peyton Jones, известный исследователь в области функционального программирования, выложил в открытый доступ свою книгу “The Implementation of Functional Programming Languages” (”Реализация языков функционального программирования”). Книга издана в 1987 году.

Почитать можно тут: “The Implementation of Functional Programming Languages”

Posted in Компиляция, Функциональные языки | No Comments »

« Older Entries