Nielson F., Nielson H.R. Two-Level Functional Languages

  • формат djvu
  • размер 1.48 МБ
  • добавлен 03 февраля 2012 г.
Издательство Cambridge University Press, 1992, -311 pp. The subject area of this book concerns the implementation of functional languages. The main perspective is that part of the implementation process amounts to making computer science concepts explicit in order to facilitate the application, and the development, of general frameworks for program analysis and code generation. This is illustrated on a specimen functional language patterned a...

Харрисон Джон. Введение в функциональное программирование (пер. с англ.)

  • формат pdf
  • размер 1.4 МБ
  • добавлен 25 января 2012 г.
- Кембридж, 1997. - 170 с. Это конспект лекций по курсу Введение в функциональное программирование, который преподавался Джоном Харрисоном в университете Кембриджа в 1996/7 учебном году. Оглавление. Введение. Лямбда-исчисление. Лямбда-исчисление как язык программирования. Типы. Знакомство с ML. Более подробно о ML. Доказательство корректности программ. Эффективный ML. Примеры. Литература.

Loverdos C.K.K., Syropoulos A. Steps in Scala

  • формат pdf
  • размер 12.25 МБ
  • добавлен 05 декабря 2011 г.
CAMBRIDGE UNIVERSITY PRESS, 2010. - 485 p. - ISBN: 978-0-511-90054-9 Object-functional programming is already here. Scala is the most prominent representative of this exciting approach to programming, both in the small and in the large. In this book we show how Scala proves to be a highly expressive, concise, and scalable language, which grows with the needs of the programmer, whether professional or hobbyist. Read the book to see how to: - leve...

Curien P.-L. Categorical Combinators, Sequential Algorithms, and Functional Programmimg

  • формат djvu
  • размер 2.14 МБ
  • добавлен 12 октября 2011 г.
Издательство Birkh?user, 1993, -424 pp. The goal of this monograph is to give a concrete approach to the semantics of sequential programming languages, with application to the design and implementation of programming languages. Just as machines do not manipulate numbers, but representations of numbers, we do not present sets and functions, but concrete representations of these sets and functions. The motivation behind our constructions is to ens...

Лекция - Функциональное программирование

Статья
  • формат doc, pdf
  • размер 3.21 МБ
  • добавлен 03 октября 2011 г.
Содержание. Парадигма программирования. Функциональные языки. Свойства функциональных языков. Быстрая сортировка Хоара на C. Быстрая сортировка Хоара на языке Haskell. Ленивость и нестрогость. Немного о популярном языке. Каррирование (карринг). Определение функций. Рекурсия. Использование списков. Сопоставление с образцом. Сортировка вставкой. Быстрая сортировка. Типизация. Использование ?-исчисления. ?-функция. Реализации Haskell. Автор: проф....

Бенерт К.Н., Герасин М.Л. Введение в Лисп: Учебное пособие

  • формат pdf
  • размер 41.5 МБ
  • добавлен 29 сентября 2011 г.
Бенерт К. Н., Герасин М. Л. Введение в Лисп: Учебное пособие / Сыктывкарский университет. Сыктывкар, 1994. 134 стр. В пособии описаны основные конструкции языка программирования Лисп. Особое внимание уделяется методам рекурсивного программирования. Приводится большое число примеров простых программ для обработки списков. Даны примеры применения Лиспа для решения прикладных задач. Изложение сопровождается упражнениями и заданиями для самостоятель...

Лабораторная работа - Рекурсивные функции

Лабораторная
  • формат txt
  • размер 2.03 КБ
  • добавлен 30 мая 2011 г.
A. Функция Позиция(x список) возвращает положение атома x в одноуровневом списке (первый элемент имеет номер 1). Если элемента в списке нет, то функция возвращает 0. (Используется функция MEMBER) b. Функция Сумма-дерева (дерево) возвращает сумму чисел в дереве. Нечисловые символы игнорируются (Сумма-дерева ’((3 Три) (3 Богатыря) (1 Волк))) = 7 (Используется предикат MEMBERP и CAR-CDR)rn

Журнал - Практика Функционального Программирования 2011 № 7

  • формат pdf
  • размер 4 МБ
  • добавлен 13 апреля 2011 г.
Седьмой номер был небыстр и нелегок в производстве; долгими студёными зимними вечерами, не покладая рук, трудились авторы и редакторы над его созданием. Но, пожалуй, труды себя оправдали — по разнообразию и качеству содержимого этот номер беспрецедентен; низкий поклон авторам. Мы уверены, что читатели откроют для себя из статей много нового, и надеемся, что этот номер окажется большим шагом к выполнению нашей основной задачи: повысить осведомлённ...

Городняя Л.B. Основы функционального программирования

  • формат rtf
  • размер 11.41 МБ
  • добавлен 10 апреля 2011 г.
ИНТУИТ, 2004. - 150 с. В курсе изложены основы функционального программирования и методы его применения при решении сложных задач на стыке искусственного интеллекта и системного программирования. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эффективными методами преобразования информации, реализация которых требует многоуровневого обобщения и абстрагирования, что наибол...

Fogus M., Houser C. The Joy of Clojure: Thinking the Clojure

  • формат pdf
  • размер 22.01 МБ
  • добавлен 06 апреля 2011 г.
Michael Fogus, Chris Houser. The Joy of Clojure: Thinking the Clojure. Manning Publications, 2011. - 360 p. - ISBN: 1935182641 Clojure is a dynamic programming language that targets the Java Virtual Machine. The Joy of Clojure goes beyond the syntax, and shows how to write fluent, idiomatic Clojure code. Readers will learn to approach programming challenges from a Functional perspective and master the Lisp techniques that make Clojure so elegant...

Launchbury J., Peyton-Jones S.L. Lazy Functional State Threads

Статья
  • формат pdf
  • размер 291.25 КБ
  • добавлен 09 марта 2011 г.
John Launchbury and Simon L. Peyton Jones, Lazy Functional State Threads // In Programming Languages Design and Implementation. - ACM Press, 1993. - pp. 24-35. Краткое содержание: Introduction Overview Array references Input/output Formal semantics Implementation Other useful combinators Related work Acknowledgements References Appendix

Kiselyov O. Strongly Typed Heterogeneous Collections

  • формат pdf
  • размер 165.89 КБ
  • добавлен 09 марта 2011 г.
A shorter version of this paper appeared in the proceedings of the ACM SIGPLAN Haskell Workshop 2004, September 22, 2004, Snowbird, Utah, USA, Published by ACM Press. This longer version provides several appendices and some extra paragraphs. Краткое содержание: Introduction Not so strongly typed collections Typeful heterogeneous lists Numeral-based access operations Extensible records Type-based access operations Type-indexed products Database...

Meijer E., Fokkinga M., Paterson R. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

  • формат pdf
  • размер 246.78 КБ
  • добавлен 09 марта 2011 г.
Erik Meijer and Maarten Fokkinga and Ross Paterson, Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. - Springer-Verlag, 1991. - pp. 124-144. Краткое содержание: Introduction The data type of lists Algebraic data types Recursion schemes Parametrized types Conclusion References

Peyton-Jones S., Bolingbroke M. Supercompilation by Evaluation

  • формат pdf
  • размер 315.49 КБ
  • добавлен 09 марта 2011 г.
Peyton-Jones S. , Bolingbroke M. Supercompilation by Evaluation // Second International Workshop on Metacomputation in Russia (META-2010), July 1-5, 2010, Pereslavl-Zalessky. My student Max Bolingbroke and I have been studying supercompilation, with a view to making GHC into a supercompiler. In this talk I'll describe various approaches that we have explored, and focus on the one we are pursuing right now. A well-known practical challenge in sup...

Hughes J. The Design of a Pretty-printer Library

Статья
  • формат pdf
  • размер 331.67 КБ
  • добавлен 05 марта 2011 г.
Статья одного из пропагандистов ФП о разработке библиотеки комбинаторов вывода. Реализация осуществлена на языке Haskell. Краткое содержание: Introduction A Preview of the Pretty-printing Library Deriving Functional Programs from Specifications Designing a Sequence Type Implementing Monads Monads for Backtracking Specifying Pretty-printing Implementing Pretty-printing: A Term Representation Optimized Pretty-printing: A Term Representation A Con...

Martin Odersky, Lex Spoon, Bill Venners. Programming in Scala. 2nd edition

  • формат pdf
  • размер 21.06 МБ
  • добавлен 25 февраля 2011 г.
2e издание декабря 2010 года. Известная книга Мартина Одерски по наиболее прогрессивному в наше время функциональному языку Scala. 879 стр. Язык: английский. Overview. Contents. List of Figures. List of Tables. List of Listings. Foreword. Foreword to the First Edition. Acknowledgments. Introduction. - A Scalable Language. - First Steps in Scala. - Next Steps in Scala. - Classes and Objects. - Basic Types and Operations. - Functional Objects. - Bu...

Эрвиг М. Побег от Зурга: упражнение в логическом программировании

  • формат pdf
  • размер 164.72 КБ
  • добавлен 01 февраля 2011 г.
В этой статье показывается, как современные функциональные языки, например, Хаскель, могут эффективно использоваться для решения поисковых задач, вопреки широко распространённому мнению, что для подобных задач лучше подходит Пролог.

Фоккер Е. Систематическое конструирование однокомбинаторного базиса для ?-термов

  • формат pdf
  • размер 121.7 КБ
  • добавлен 01 февраля 2011 г.
В этой статье описывается простое замкнутое ?-выражение, при помощи которого можно выразить все прочие ?-выражения. Его построение осуществляется систематическим образом. Полученное ?-выражение является более простым, чем известные из литературы однокомбинаторные базисы.

Городняя Л.В. Основы функционального программирования

  • формат pdf
  • размер 1.13 МБ
  • добавлен 28 января 2011 г.
М.: Изд-во "Интернет-университет информационных технологий - ИНТУИТ. ру", 2004. - 280 c.: ил. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эффективными методами преобразования информации, реализация которых требует многоуровневого обобщения и абстрагирования, что наиболее естественно выражается в терминах функционального программирования. Функциональное программирование...

Кубенский А.А. Функциональное программирование

  • формат pdf
  • размер 1.81 МБ
  • добавлен 26 января 2011 г.
Санкт-Петербург: СПбГУ ИТМО, 2010. - 251 с. Учебно-методическое пособие содержит обширный теоретический и практический материал по курсу «Функциональное программирование». Изложение ведется с использованием одного из самых известных и распространенных в настоящее время языков функционального программирования – языка Haskell. Даны многочисленные примеры программ, подробно обсуждаются методы и приемы функционального программирования. Рекомендуется...