Похожие разделы

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

  • формат djvu
  • размер 1,51 МБ
  • добавлен 05 августа 2014 г.
Учеб. пособие. - Сыктывкар.: Сыктывкарский университет, 1994. - 131 с. - ISBN 5-87237-025-3. В пособии описаны основные конструкции языка программирования Лисп. Особое внимание уделяется методам рекурсивного программирования. Приводится большое число примеров простых программ для обработки списков. Даны примеры применения Лиспа для решения прикладных задач. Изложение сопровождается упражнениями и заданиями для самостоятельного решения. Для ст...

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

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

Большакова Е.И., Груздева Н.В. Основы программирования на языке Лисп

  • формат pdf
  • размер 839,75 КБ
  • добавлен 08 марта 2015 г.
М.: ВМК МГУ имени М.В.Ломоносова; МАКС Пресс, 2010. - 112 с. В учебном пособии излагаются основные понятия и базовые механизмы функционального языка программирования Лисп, ориентированного на решение задач обработки символьных данных. Рассматриваются приемы рекурсивного программирования, в том числе с использованием функционалов. Подробно разбираются примеры лисп-программ. В пособие включено также описание заданий практикума по программированию н...

Вольфенгаген В.Э., Яцук В.Я. Аппликативные вычислительные системы и концептуальный метод проектирования систем знаний

  • формат pdf
  • размер 5 МБ
  • добавлен 23 сентября 2010 г.
Под. ред. проф. Л. А. Майбороды. М.: Министерство Обороны СССР, 1987. 256 с. В книге изложены особенности концептуального моделирования систем знаний. Приведена характеристика экспертных систем, даются рекомендации по выбору системы программирования. Рассмотрено разделение проектирования по уровням. Изложены принципы разработки вычислительной среды с операторами аппликации и абстракции. Исследованы базовые свойства возникающих при этом исчислени...

Горлянский С.П. Решение задач на языке программирования Лисп

  • формат pdf
  • размер 8,01 МБ
  • добавлен 1 апреля 2015 г.
Учебное пособие. – Симферополь: Крымский федеральный университет имени В.И. Вернадского, 2016. – 1212 с. Данное пособие является частью мультимедийной системы подготовки обучающихся по направлению подготовки «история», составлено в соответствии с программой курса «Информационные технологии в исторических исследованиях и образовании», содержит варианты решений учебных задач на языке программирования Лисп (ANSI Common Lisp) и предназначено для п...

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

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

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

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

Зюзьков В.М. Математическое введение в декларативное программирование

  • формат pdf
  • размер 2.06 МБ
  • добавлен 25 сентября 2010 г.
Учебное пособие. 2003. 83 с. Рассматриваются математические основы декларативного и функционального программирования, лямбда-исчисление и методы доказательства теорем. Для примеров используются языки Prolog и Haskell.

Крюков А.П. и др. Программирование на языке R-Лисп

  • формат pdf
  • размер 12,37 МБ
  • добавлен 05 декабря 2013 г.
М.: Радио и связь, 1991. 192 с. ISBN 5-256-00526-Х. Крюков А. П., Родионов А. Я., Таранов А. Ю., Шаблыгин Е. М. Программирование на языке R-Лисп Изложены основы программирования на языке R-Лисп, широко распространённом диалекте языка Лисп - языке реализации системы аналитических вычислений Reduce. Рассмотрены описание основных синтаксических конструкций и встроенных функций, принципы работы компилятора, а также представления данных в памяти. Прив...

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

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

Курсовая работа - Поиск кратчайшего пути в лабиринте

Курсовая работа
  • формат doc
  • размер 42.56 КБ
  • добавлен 29 мая 2010 г.
Курсовая работа. По по предмету конструирование программ и языки программирования на тему: Поиск кратчайшего пути в лабиринте. Постановка задачи. Проектирование программы. Реализация программы. Модуль GRAPHICA. Модуль SHORTWAY. Модуль MOUSE. Описание работы программы. Методика и результаты тестирования. задачи. 22 стр.

Курсовой проект - Компилятор Lisp в промежуточный код RISC-архитектуры

Курсовая работа
  • формат txt, pdf
  • размер 264.34 КБ
  • добавлен 02 ноября 2009 г.
Задача: Написать программу с нетривиального подмножества произвольного диалекта Лиспа (Lisp) в промежуточный код RISC-архитектуры Компилятор --- это программа, предназначенная для трансляции высокоуровневого языка в абсолютный (машинный) код или, иногда, в язык ассемблера. Входной информацией для компилятора (исходный код) является описание алгоритма или программа на проблемно-ориентированном языке, а на выходе компилятора — эквивалентное опи...

Лабораторная работа - Знакомство с языком Lisp. Абстракция вычислений

Лабораторная
  • формат zip
  • размер 166.12 КБ
  • добавлен 02 ноября 2009 г.
Задача: Реализовать процедуру нахождения неподвижной точки методом итераций в общем виде, то есть параметризованную оператором преобразования процедуру, вычисляющую преобразование Ньютона, и применить её для реализации метода Ньютона в решении уравнения: $e^{x} - e^{-x} - 2 = 0$. Нахождение производной также реализовать в виде процедуры (принимающей функцию и возвращающей функцию~ --- её производную). } Решение Для реализации данной программы н...

Лабораторная работа - Отложенные вычисления и ленивые списки в Лиспе. Нисходящий разбор по заданной LL(1)-грамматике

Лабораторная
  • формат pdf, txt
  • размер 776.61 КБ
  • добавлен 02 ноября 2009 г.
Задача: Написать программу, эмулирующую поведение детерминированного МП-автомата, составленного по заданной LL(1)-грамматике. Проверку принадлежности строки языку выполнить в виде поиска допускающего состояния в истории вычислений автомата. Историю вычислений реализовать в виде отложенного списка, то есть не допускается одновременное хранение в памяти всех промежуточных состояний автомата. Теория: Нисходящий синтаксический анализ осуществляется...

Лабораторная работа - Реализация работы с полиномами на функциональном языке HOPE

Лабораторная
  • формат zip
  • размер 1.5 КБ
  • добавлен 11 мая 2010 г.
Реализованы все задачи из спика заданий: 1) Определить тип данных Polynom – представление полиномов от одной переменной - x. Для представления можно, например, использовать списки. Полином в виде списка можно представить как список коэффициентов или как список пар чисел – (коэффициент, степень). Например, полином 2+x^3 будет иметь представление [2,0,0,1] в первом случае и [(2,0), (1,3)] – во втором. Во втором случае все операции будут реализо...

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

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

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

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

Ленивый интерпретатор языка HOPE

  • формат exe, pdf
  • размер 442.5 КБ
  • добавлен 11 мая 2010 г.
Hope - функциональный язык программирования, разработанный в начале 1980-х годов; является предшественником языков Miranda и Haskell. Hope - очень простой язык и в то же время содержит все важные особенности функциональных языков. Широкого применения не имеет, используется для обучения функциональному программированию. Учебник Филда и Харрисона [Филд А., Харрисон П. Функциональное программирование. М., Мир, 1993. ], использующий этот язык - одна...

Логическое и функциональное программирование

  • формат rtf
  • размер 368,65 КБ
  • добавлен 05 июня 2013 г.
Учебное пособие. — Выходные данные не приведены. Автор не известен. — 112 с. Введение. Прямой и обратный вывод. Математические основы. Алгебра высказываний. Синтез логических выражений. Исчисление предикатов. Правила вывода логики предикатов. Функциональное программирование. Индуктивный вывод. Практические задания. Рекурсия. Использование списков. Логическое программирование. Модели и опровержения. Доказательство от противного. Домашнее задание....

Непейвода Н.Н. Функциональное программирование

Статья
  • формат rtf
  • размер 35,34 КБ
  • добавлен 21 мая 2013 г.
Статья. Интернет Университет Информационных Технологий, INTUIT.ru, 2010. — 11 с. Списки и функциональные выражения. Поле зрения и поле памяти. Прагматические добавления и динамическое порождение программ. Объекты и LISP. Список литературы.

Окасаки Крис. Чисто функциональные структуры данных

  • формат pdf
  • размер 53,09 МБ
  • добавлен 1 апреля 2015 г.
М.: ДМК Пресс, 2016. — 253 с.: ил. — (Функциональное программирование). — ISBN 978-5-97060-233-1. Большинство книг по структурам данных предполагают использование императивного языка программирования, например, C/C++ или Java. Однако реализации структур данных на таких языках далеко не всегда хорошо переносятся на функциональные языки программирования, такие как Стандартный ML, Haskell или Scheme. В этой книге структуры данных описываются с точки...

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

  • формат doc
  • размер 764.98 КБ
  • добавлен 26 марта 2010 г.
Компьютерная лаборатория, Университет Кембридж, 1995 - 45 c. Курс связан с ?-вычислениями и близкой к ним наукой – комбинаторной логикой Содержание 1. Вступление 2. Равенство и нормализация 3. Кодирования данных в ?-вычислениях 4. Написание рекурсивных функций в ?-вычислениях 5. ?-вычисления и теория вычислений 6. ISWIM: ?-вычисления как язык программирования 7. Ленивые вычисления, используя комбинаторы 8. Методы компиляции, использующие комбинат...

Печерский А. Режим ограниченной функциональности

  • формат doc
  • размер 70.54 КБ
  • добавлен 18 февраля 2010 г.
Язык XML: Символы; синтаксические конструкции; Символьные данные и разметка; Инструкции процессинга; Разделы CDATA; Объявление Документа; Обработка; Логические структуры; Теги; Ссылки; Кодирование символов; Обработка процессором XML экземпляров и ссылок; Конструкция замещающего текста; Объявления Нотации; Проверяющие и непроверяющие процессоры; Классы символов; W3C XML Working Group; Автоопределение кодировок символов.

Рвачов В.Л., Шевченко А.Н. Проблемно-ориентированные языки и системы для инженерных расчетов

  • формат djvu
  • размер 1,55 МБ
  • добавлен 06 сентября 2012 г.
К.: Тэхника, 1988.-197 с. Описаны синтаксис, семантика и прагматика проблемно-ориентированных языков, которые используются для решения прикладных задач. Основное внимание уделено современной технологии программирования и средствам создания новых языков высокого уровня и пакетов прикладных программ для инженерных расчетов на ЭВМ температурных, деформационных, силовых, электромагнитных, аэродинамических и других физико-механических полей, а также д...

Реферат - Общие сведения о функциональном программировании

Реферат
  • формат doc
  • размер 164.8 КБ
  • добавлен 14 ноября 2009 г.
Реферат. Общие сведения о функциональном программировании. Предисловие. Введение. Общие сведения о функциональном программировании. История функционального программирования. Основы функционального программирования. Краткость и простота. Строгая типизация. Модульность. Функции — это значения. Чистота (отсутствие побочных эффектов). Отложенные (ленивые) вычисления. Основы работы с HUGS 98. Панель инструментов HUGS 98. Команды консоли HUGS 98. Допол...

Реферат - Программирование на языке CLIPS

Реферат
  • формат pdf
  • размер 271.2 КБ
  • добавлен 18 декабря 2009 г.
Название языка CLIPS — аббревиатура от С Language Integrated Production System. Язык был разработан в Центре космических исследований NASA (NASA's Johnson Space Center) в середине 1980-х годов и во многом сходен с языками, созданными на базе LISP, в частности OPS5 и ART. Содержание Краткая история CLIPS. Правила и функции в CLIPS. Факты. Правила. Наблюдение за процессом интерпретации. Использование шаблонов. Определение функций. Объектно-ориент...

Смирнов Роман aka Romul. Практика современного программирования

  • формат doc
  • размер 217 КБ
  • добавлен 11 января 2009 г.
Ты знал, что повторяться свойственно не только моде на одежду, но и на парадигмы программирования? В этой обзорной статье мы поговорим о функциональной парадигме программирования и её роли в мэйнстриме современного программирования. Итак, начнём рассмотрение с исторического ракурса вопроса. Функциональное программирование(далее ФП) не является чем-то новым, скорее наоборот первые функциональные языки появились в конце 50-х годов прошлого века и...

Сошников Д.В. Программирование на F#

  • формат pdf
  • размер 1,77 МБ
  • добавлен 1 апреля 2015 г.
Учебное пособие. Сошников Д. В. Программирование на F#. — М.: ДМК Пресс, 2011. — 192 с. Автор этой книги имеет богатый опыт преподавания курсов функционального программирования на базе F# в ведущих российских университетах, в то же время, будучи технологическим евангелистом Майкрософт, он умеет доходчиво объяснить концепции функционального программирования даже начинающему разработчику ПО, не прибегая к сложным понятиям лямбда-исчисления. Книга с...

Сошников Д.В. Функциональное программирование

  • формат pdf
  • размер 6.93 МБ
  • добавлен 23 декабря 2010 г.
Учебное пособие по функциональному программированию. В папке представлены первые 3 урока. Подробно рассматриваются разделы функционального программирования. Факультет инноваций и высоких технологий Московский физико-технический институт

Филд А., Харрисон П. Функциональное программирование

  • формат djvu
  • размер 13.61 МБ
  • добавлен 29 апреля 2009 г.
Москва "Мир" 1993 Рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием.

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

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

Функциональное и логическое программирование

Курсовая работа
  • формат rtf
  • размер 618,81 КБ
  • добавлен 18 июня 2013 г.
Выходные данные не приведены. Автор не известен. — 20 с. Введение. Постановка задачи. Математические и алгоритмические основы решения задачи. Функциональные модели и блок-схемы решения задачи. Программная реализация решения задачи. Пример выполнения программы. Заключение. Список использованных источников и литературы.

Функциональное назначение программы Project Expert

Курсовая работа
  • формат rtf
  • размер 1,25 МБ
  • добавлен 01 июня 2013 г.
Выходные данные не приведены. Автор не известен. — 36 с. Общая характеристика методов оценки эффективности инвестиций. Программа Project Expert. Назначение и основные задачи, которые решает Project Expert. Инструментальные средства для работы пользователя. Основные программные модули и диалоги. Возможности Project Expert для анализа инвестиционных проектов. Оценка эффективности инвестиций с использованием Project Expert.

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

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

Хендерсон П. Функциональное программирование. Применение и реализация

  • формат djvu
  • размер 5.72 МБ
  • добавлен 08 сентября 2010 г.
Книга английского специалиста по программированию» обобщающая опыт использования функционального программирования. Обсуждаются особенности функциональных языков и возможности их реализации на современных ЭВМ. Изложение иллюстрируется многочисленными примерами. Для программистов, математиков-прикладников, для всех, кто преподает и изучает программирование.

Хендерсон П. Функциональное программирование. Применение и реализация

  • формат pdf
  • размер 26,47 МБ
  • добавлен 22 декабря 2016 г.
М: Мир, 1983. — 349 с. Книга английского специалиста по программированию, обобщающая опыт использования функционального программирования. Обсуждаются особенности функциональных языков и возможности их реализации на современных ЭВМ. Изложение иллюстрируется многочисленными примерами. Книга будет интересна и полезна для программистов, математиков-прикладников, для всех, кто преподает и изучает программирование.

Шалимов П.Ю. Функциональное программирование

  • формат djvu
  • размер 3.83 МБ
  • добавлен 08 сентября 2010 г.
Учеб. пособие. Рассмотрены вопросы функционального стиля программирования с позиций декларативного подхода, позволяющего повысить интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. В качестве базового языка рассматривается функциональный язык Лисп. Изложение сопровождается многочисленными примерами конкретных программ. Учебное пособие предназначено для студентов всех форм обучения и дополнительного образов...

Шалимов П.Ю. Функциональное Программирование на языках Lisp и Erlang

  • формат pdf
  • размер 1,35 МБ
  • добавлен 08 сентября 2013 г.
Учебное пособие. — Брянск: БГТУ, 2010. — 191 с. Рассмотрены теоретические и практические положения, а также принципиальные вопросы функционального программирования: управление памятью, типизация, виды вычислений, управление в функциональной программе, определение функций и организация повторяющихся вычислений. Дано системное представление об основах высокоуровневого программирования на примере одного из самых популярных его стилей – функционально...

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

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

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

Grechanik S.A. Supercompilation by hypergraph transformation

  • формат pdf
  • размер 291,76 КБ
  • добавлен 01 апреля 2013 г.
Препринты ИПМ им. М.В. Келдыша. 2013. № 26. 24 с. В данной работе представлена новая формулировка многорезультатной суперкомпиляции на основе преобразований графа. Для этого используется представление преобразуемой программы, основанное на гиперграфах. Данный подход соединяет суперкомпиляцию и насыщение равенствами. Также в работе показано, что в этих условиях естественным образом возникает многоуровневая суперкомпиляция. Работа выполнена при под...

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

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

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

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

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

Okasaki Chris. Purely Functional Data Structures

  • формат pdf
  • размер 614.14 КБ
  • добавлен 24 сентября 2010 г.
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 functional setting, most cannot, usually because they depend in cr...

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