5th Edition. – Springer, 2022. — 245 p. — ISBN 978-3-662-65253-4. The book is written as a textbook and exercise book. This means that you will be introduced to new areas through explanation or examples. To consolidate your knowledge and to check your learning and success, we recommend that you do the exercises. Sample solutions are available for most exercises: Each exercise...
Springer, 2010. — 416 p. — ISBN: 978-1848826175. Drawing Programs: The Theory and Practice of Schematic Functional Programming describes a diagrammatic (schematic) approach to programming. It introduces a sophisticated tool for programmers who would rather work with diagrams than with text. The language is a complete functional language that has evolved into a representation...
New York: Springer, 2018. — 244 p. This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the...
Syncfusion Inc., 2014. — 101 p. With book you will learn many of the basic concepts involved with functional programming, such as currying, partial application, function pipelines, recursion, and continuations. By book’s end, you will learn how to combine functional and imperative programming to get the most out of your solutions. Topics included: Basic Vocabulary and Concepts...
Препринты ИПМ им. М.В. Келдыша. 2013. № 26. 24 с.
В данной работе представлена новая формулировка многорезультатной суперкомпиляции на основе преобразований графа. Для этого используется представление преобразуемой программы, основанное на гиперграфах. Данный подход соединяет суперкомпиляцию и насыщение равенствами. Также в работе показано, что в этих условиях естественным...
Course Technology, Cengage Learning, 2011. — 370 p. Alice is a dialect of Standard ML , augmented with support for lazy evaluation, concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming. Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is...
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. Краткое содержание: Not so strongly typed collections Typeful heterogeneous lists Numeral-based access operations Extensible records...
Loop/Recur, 2022. — 123 p. This is a book on the functional paradigm in general. We'll use the world's most popular functional programming language: JavaScript. Some may feel this is a poor choice as it's against the grain of the current culture which, at the moment, feels predominately imperative. However, I believe it is the best way to learn FP for several reasons: You...
Sandy Maguire, 2020. — 337 p. Dedication Foreword Overview Abstraction What is Algebra-Driven Design? Conventions Why Haskell? Reading Haskell Understanding Haskell Types Equational Laws A Note on the Companion Library Designing Algebras Tiles Basic Building Blocks Subdividing Space Observations Generalization What Makes a Good Algebra? Scavenger Hunt Input Filters Simultaneous...
New York: Leanpub, 2018. — 508 p. This is a book I wrote as part of convincing myself that the purer statically typed functional languages were ready for early mainstream adoption. Instead, I convinced myself they aren't, not yet. As such, the book is orphaned but the first 400 pages may still be useful to you. Dynamically typed functional languages like Clojure and Elixir are now...
Erik Meijer and Maarten Fokkinga and Ross Paterson, Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. - Springer-Verlag, 1991. - pp. 124-144. Краткое содержание: The data type of lists Algebraic data types Recursion schemes Parametrized types
Dover Publications, 2011. — 320 p. — ISBN 0486478831, 9780486478838. Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as...
When a C programmer needs an efficient data structure for a particular problem, he or she can often simply look one up in any of a number of good textbooks or handbooks. Unfortunately, programmers in functional languages such as Standard ML or Haskell do not have this luxury. Although some data structures designed for imperative languages such as C can be quite easily adapted to a...
Zweite Auflage. — Springer, 2003. — 301 S. Bevor wir anfangen Elementare funktionale Programmierung Was die Mathematik uns bietet Funktionen als Programmiersprache Modularisierung Ausdriicke Rekursion Ein bisschen syntaktischer Zucker Drei Beispiele aus der Numerik Weiterfiihrende Aspekte funktionaler Programmierung Funktionen hoherer Ordnung Formalismen 1: Zur Semantik von...
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...
Ojula Technology Innovations/Leanpub, 2022-08-07. — 110 р. This book is Part 1 of the series, "PLC Programming & Implementation," which contains both practical and theory parts. This book is very straightforward and easy-to-read, and presents the principles of PLCs while not tying itself to one manufacturer or another. Included are extensive examples and chapter-ending problems...
Loop/Recur, 2019. — 146 p. At my previous job, we had a couple of Haskell programmers on the team, so our code base was rich with functional programming trips and ticks. I felt the need to learn the paradigm, and chose this book as my starting point because it doesn’t add the complexity of learning a new language — and a useless one at that (our codebase was JavaScript and...
New York, USA: Cambridge University Press, 1988. — 194 p. – (Cambridge Tracts in Theoretical Computer Science 04). – ISBN: 0521345898 Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its...
Leanpub, 2025. — 44 p. Are you scared by mathematical symbols or formal terms like "monad"? Unwrapping Monads & Friends offers a clear, approachable path through functional programming’s most intimidating concepts—no math degree required. If you've ever said "I kind of get it, but not really," this is the guide that finally makes it click. Unwrapping Monads & Friends is a...
Springer, 2018. — 389 p. This book presents a variety of widely used algorithms, expressing them in a pure functional programming language to make their structure and operation clearer to readers. In the opening chapter the author introduces the specific notations that constitute the variant of Scheme that he uses. The second chapter introduces many of the simpler and more general...
Iowa City: ACM Books, 2016. — 256 p.
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using...
Addison-Wesley, 1991. — 379 p. — (International Computer Science Series). — ISBN10: 0201416670, ISBN13: 978-0201416671. Constructive Type theory has been a topic of research interest to computer scientists, mathematicians, logicians and philosophers for a number of years. For computer scientists it provides a framework which brings together logic and programming languages in a...
Springer, 2017. — 143 p. — (Springer Theses). — ISBN10: 3319532219. — ISBN13: 978-3319532219. This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on...
Springer, 2021. — 142 p. — ISBN 978-3-030-83977-2. This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested...
Бенерт К. Н., Герасин М. Л. Введение в Лисп: Учебное пособие / Сыктывкарский университет. Сыктывкар, 1994. 134 стр.
В пособии описаны основные конструкции языка программирования Лисп. Особое внимание уделяется методам рекурсивного программирования. Приводится большое число примеров простых программ для обработки списков. Даны примеры применения Лиспа для решения прикладных...
М.: ВМК МГУ имени М.В.Ломоносова; МАКС Пресс, 2010. - 112 с. В учебном пособии излагаются основные понятия и базовые механизмы функционального языка программирования Лисп, ориентированного на решение задач обработки символьных данных. Рассматриваются приемы рекурсивного программирования, в том числе с использованием функционалов. Подробно разбираются примеры лисп-программ. В...
Под. ред. проф. Л. А. Майбороды. — М.: Министерство Обороны СССР, 1987. — 256 с. В книге изложены особенности концептуального моделирования систем знаний. Приведена характеристика экспертных систем, даются рекомендации по выбору системы программирования. Рассмотрено разделение проектирования по уровням. Изложены принципы разработки вычислительной среды с операторами аппликации...
Учебное пособие. – Симферополь: Крымский федеральный университет имени В.И. Вернадского, 2016. – 1212 с. Данное пособие является частью мультимедийной системы подготовки обучающихся по направлению подготовки «история», составлено в соответствии с программой курса «Информационные технологии в исторических исследованиях и образовании», содержит варианты решений учебных задач на...
Электронное учебное пособие. — 3-е издание, перераб. и доп. — Казань: Бук, 2021. — 3052 с. — ISBN 978-5-907665-30-9. Данное пособие является частью мультимедийной системы подготовки обучающихся по направлению подготовки 46.04.01 История, составлено в соответствии с программой курса «Информационные технологии в исторических исследованиях и образовании», содержит варианты решений...
Электронное учебное пособие. — Казань: Бук, 2021. — 2422 с. — ISBN 978-5-00118-776-9. Данное пособие является частью мультимедийной системы подготовки обучающихся по направлению подготовки 46.04.01 История, составлено в соответствии с программой курса «Информационные технологии в исторических исследованиях и образовании», содержит варианты решений учебных задач на языке...
2-е изд. испр. — М.: Интуит, 2016. — 247 с. В курсе изложены основы функционального программирования и методы его применения при решении сложных задач на стыке искусственного интеллекта и системного программирования. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эффективными методами преобразования...
М.: Изд-во "Интернет-университет информационных технологий - Интуит. ру", 2004. - 280 c.: ил. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эффективными методами преобразования информации, реализация которых требует многоуровневого обобщения и абстрагирования, что наиболее естественно выражается в...
М.: МИФИ, 2001. — 69 с. «Вводная лекция». История функционального программирования. Свойства функциональных языков. Краткость и простота. Строгая типизация. Модульность. Функции — это значения. Чистота (отсутствие побочных эффектов). Отложенные вычисления. Решаемые задачи. Справочный материал. Языки функционального программирования. Internet-ресурсы по функциональному...
Учебное пособие. 2003. 83 с. Рассматриваются математические основы декларативного и функционального программирования, лямбда-исчисление и методы доказательства теорем. Для примеров используются языки Prolog и Haskell.
4-e изд. — Москва: Лаборатория знаний, 2021. — 660 с. — (Адаптивные Интеллектуальные Системы). — ISBN 978-5-00101-179-8. Самоорганизующиеся карты вместе с их разновидностями представляют собой одну из наиболее популярных нейросетевых архитектур, ориентированных на обучение без учителя. Они широко используются в таких областях, как статистика, обработка сигналов, теория...
М.: Радио и связь, 1991. — 192 с. — ISBN: 5-256-00526-Х. Изложены основы программирования на языке R-Лисп, широко распространённом диалекте языка Лисп - языке реализации системы аналитических вычислений Reduce. Рассмотрены описание основных синтаксических конструкций и встроенных функций, принципы работы компилятора, а также представления данных в памяти. Приведены примеры...
Санкт-Петербург: СПбГУ ИТМО, 2010. - 251 с. Учебно-методическое пособие содержит обширный теоретический и практический материал по курсу «Функциональное программирование». Изложение ведется с использованием одного из самых известных и распространенных в настоящее время языков функционального программирования – языка Haskell. Даны многочисленные примеры программ, подробно...
Hope - функциональный язык программирования, разработанный в начале 1980-х годов; является предшественником языков Miranda и Haskell. Hope - очень простой язык и в то же время содержит все важные особенности функциональных языков. Широкого применения не имеет, используется для обучения функциональному программированию. Учебник Филда и Харрисона [Филд А., Харрисон П. Функциональное...
Пер. с англ. Матвеев В. — СПб.: Питер, 2023. — 608 с.: ил. — (Библиотека программиста). — ISBN: 978-5-4461-1887-8. Кодовые базы разрастаются, становясь всё сложнее и запутаннее, что не может не пугать разработчиков. Как обнаружить код, изменяющий состояние вашей системы? Как сделать код таким, чтобы он не увеличивал сложность и запутанность кодовой базы? Большую часть...
М.: ДМК Пресс, 2016. — 253 с.: ил. — (Функциональное программирование). — ISBN: 978-5-97060-233-1. Большинство книг по структурам данных предполагают использование императивного языка программирования, например, C/C++ или Java. Однако реализации структур данных на таких языках далеко не всегда хорошо переносятся на функциональные языки программирования, такие как Стандартный...
Томск: Факультет дистанционного обучения, ТУСУР, 2016. — 100 с. В настоящем учебном пособии изложены основные положения функционального программирования на примере языка Лисп. Рассматриваются принципы функционального программирования, применения лямбда-выражений и написания собственных функций. Большое внимание уделено использованию рекурсии при написании программ....
Пер. с англ. С. Черников. — СПб.: Питер, 2023. — 336 с.: ил. — (Библиотека программиста). — ISBN 978-5-4461-2393-3. Книга «Рекурсивная книга о рекурсии» содержит примеры кода на языке Python и JavaScript, которые иллюстрируют основы рекурсии и проясняют фундаментальные принципы всех рекурсивных алгоритмов. Из книги вы узнаете о том, когда стоит использовать рекурсивные функции...
М.: Академия, 2010. — 320 с. Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и...
Учебное пособие. Сошников Д. В. Программирование на F#. — М.: ДМК Пресс, 2011. — 192 с. Автор этой книги имеет богатый опыт преподавания курсов функционального программирования на базе F# в ведущих российских университетах, в то же время, будучи технологическим евангелистом Майкрософт, он умеет доходчиво объяснить концепции функционального программирования даже начинающему...
Учебное пособие по функциональному программированию. В папке представлены первые 3 урока. Подробно рассматриваются разделы функционального программирования. Факультет инноваций и высоких технологий
Московский физико-технический институт
Санкт-Петербург: Кафедра компьютерной математики и программирования СПб ГУАП, 2008. — 79 с. Введение Понятие функционального программирования Языки функционального программирования Теоретические основы функционального программирования Рекурсивное программирование Введение в лямбда-исчисление Прикладные лямбда-исчисления Данные и выражения языка Lisp Понятия списков и атомов,...
Http://homelisp.ru/help/lisp.html, 2013 Руководство от разработчика программного продукта HomeLisp. В руководстве дается сжатое описание основных концепций языка Лисп. Раздел задуман исключительно в целях полноты изложения (хотя, как надеется автор, он все же будет нелишним). Оглавление Лисп-машина. Алфавит языка Лисп. Атомы. Точечные пары - "молекулы" Лиспа. S-выражения. Списки....
М.: Мир, 1993. — 637 с. — ISBN: 5-03-001870-0. В книге английских специалистов рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. При этом спецификация предметной области существенно упрощает труд программиста. Особое внимание уделяется вопросам реализации...
В этой статье описывается простое замкнутое λ-выражение, при помощи которого можно выразить все прочие λ-выражения. Его построение осуществляется систематическим образом. Полученное λ-выражение является более простым, чем известные из литературы однокомбинаторные базисы.
Перевод с английского. — Кембридж, 1997. — 170 с. Это конспект лекций по курсу "Введение в функциональное программирование", который преподавался Джоном Харрисоном в университете Кембриджа в 1996/7 учебном году. Введение. Лямбда-исчисление. Лямбда-исчисление как язык программирования. Типы. Знакомство с ML. Более подробно о ML. Доказательство корректности программ. Эффективный...
М: Мир, 1983. — 349 с.
Книга английского специалиста по программированию, обобщающая опыт использования функционального программирования. Обсуждаются особенности функциональных языков и возможности их реализации на современных ЭВМ. Изложение иллюстрируется многочисленными примерами. Книга будет интересна и полезна для программистов, математиков-прикладников, для всех, кто...
Учебное пособие. — Брянск: БГТУ, 2010. — 191 с. Рассмотрены теоретические и практические положения, а также принципиальные вопросы функционального программирования: управление памятью, типизация, виды вычислений, управление в функциональной программе, определение функций и организация повторяющихся вычислений. Дано системное представление об основах высокоуровневого...
В этой статье показывается, как современные функциональные языки, например, Хаскель, могут эффективно использоваться для решения поисковых задач, вопреки широко распространённому мнению, что для подобных задач лучше подходит Пролог.
Комментарии