Загрузка...
скачать
Реферат на тему:

Аппликативный подход к программированию



План:

    Введение
  • 1 Аппликативный язык программирования
  • 2 Аппликативный компьютинг
  • 3 Компьютинг
  • 4 Определение компьютинга
  • 5 Компьютинг, область знаний
  • 6 Дисциплина компьютинга
  • Литература

Введение

Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли аргумента и т. д. Это делает запись программы математически ясной. Тот факт, что функция обозначается выражением, свидетельствует о возможности использования значений-функций на равных правах с прочими объектами. Следовательно, значения-функции можно передавать как аргументы, либо возвращать как результат вычисления других функций. Конструкции аппликативных, или функциональных языков программирования, в целом отличает простота исходных посылок. Их базовыми строительными блоками являются представления о выражении и функции, а все прочие понятия являются производными и вводятся шаг за шагом, что придаёт конструктивный стиль самому процессу программирования.


1. Аппликативный язык программирования

По классификации парадигм языков программирования аппликативный язык программирования предназначен для поддержки разработки программ способом получения результата вычисления функции, зависящей от комбинации переменных. Конечный результат достигается последовательным применением функциональных преобразований к данным[1]. Поскольку управление состояниями остается неявным, такой язык в более узком смысле называют функциональным языком.

Примерами аппликативных языков программирования служат Lisp[2] и ML. В языке Haskell эта парадигма программирования реализована в виде аппликативного функтора, расширяющего возможности механизма функциональной абстракции высших порядков до многоместной.


2. Аппликативный компьютинг

Аппликативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений. Для его осуществления применяют аппликативные вычислительные системы (АВС), в состав которых включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах — это представление об объекте. В комбинаторной логике единственный метаоператор — аппликация, или, по иной терминологии, приложение одного объекта к другому. В λ-исчислении два метаоператора — аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте.


3. Компьютинг

Наиболее фундаментальным понятием в компьютерных науках — англ. computer science, -- считается вычисление, выполняемое на компьютере — компьютинг (англ. computing). Вычислением считается множество преобразований, которые «механически» выполняются применением конечного числа заранее определенных правил. Вычисление выполняется на формализованных символьных данных — информации, — представляющих, например, числа (числовые вычисления), математические выражения (формальные вычисления/преобразования), данные (извлечение из базы данных ответа на запрос), метаданные (изменение «знаний»). Для всех этих вычислений присущим оказывается дискретный характер данных — информация оказывается конечной, — вместе с механическим, или рутинным способом применения правил, в соответствии с которыми вычисления выполняются. Вполне естественной представляется формализация, базирующаяся на идее объектов, для манипулирования которыми строится специальное средство — иллативная логика.


4. Определение компьютинга

Компьютинг представляет собой деятельность, направленную на разработку и применение компьютерных технологий, включая аппаратное обеспечение и программное обеспечение. Это компьютерно-ориентированная часть информационных технологий. В отличие от компьютинга, компьютерные науки представляют собой изучение теоретических основ компьютинга и применений этих теорий[3]


5. Компьютинг, область знаний

Термином компьютинг (англ. computing) также обозначают обобщенную область знаний, в которую входят информатика, программная инженерия, проектирование аппаратных платформ и прочие дисциплины, так или иначе связанные с информационными технологиями[4]. Информационные технологии являются одной из самостоятельных дисциплин в рамках более широкой области знаний, относящейся к компьютингу.


6. Дисциплина компьютинга

Иногда используется более узкое толкование термина компьютинг, приведенное в отчете ACM 1989 г. Компьютинг как дисциплина[5]:

дисциплина компьютинга — это систематическое изучение алгоритмических процессов описания и преобразования информации: их теория, анализ, проектирование, эффективность, реализация и применения. Фундаментальным для компьютинга вопросом является вопрос, 'что можно (эффективно) автоматизировать?'

скачать

Данный реферат составлен на основе статьи из русской Википедии. Синхронизация выполнена 14.07.11 10:09:25

Похожие рефераты: Олимпиада по программированию, Олимпиады по программированию, Список литературы по нейролингвистическому программированию, Командный чемпионат России по программированию, Международная студенческая олимпиада по программированию, Северо-Восточная Европейская региональная зона Чемпионата мира по программированию, Северо-Восточный Европейский полуфинальный регион Чемпионата мира по программированию, Сферный подход.

Категории: Функциональное программирование.

Текст доступен по лицензии Creative Commons Attribution-ShareAlike.