Лисп: различия между версиями

Материал из Викиучебника — открытых книг для открытого мира
Содержимое удалено Содержимое добавлено
Нет описания правки
мНет описания правки
Строка 1: Строка 1:
__NOTOC__
__NOTOC__
__NOEDITSECTION__
__NOEDITSECTION__
<div style="max-width:52em;margin:1.3em auto 1em 4%;">
{{wikipedia}}
<span style="margin-left:-0.1em"><big>Лисп</big></span> — старейший из ныне живых языков программирования,<ref>[[w:Ассемблер|Ассемблер]] язык машины, а не программирования, а [[w:Фортран|Фортран]] — не вполне жив.</ref> а по высоте абстракции и по выразительности превосходит все прочие. Это первый язык [[:Категория:Функциональное программирование|функционального программирования]], но любые парадигмы, философии, привычки, условия среды́, — поддерживает гибко и эффективно.
<div style="max-width:52em;margin:2em auto 0 4%;">
<span style="margin-left:-0.1em"><big>Лисп</big></span> полон выгодных особенностей. Он — старейший из ныне живых языков программирования,<ref>[[w:Ассемблер|Ассемблер]] язык машины, а не программирования, а [[w:Фортран|Фортран]] — не вполне жив.</ref> а по уровню вводимых абстракций и по свободе выражения превосходит все прочие. Лисп первый язык [[:Категория:Функциональное программирование|функционального программирования]], но и любые парадигмы, философии, привычки, условия среды́, — поддерживает гибко и эффективно.


Лисповый код представляется…<br style="clear:both" />
Код Лиспа представлен…<br style="clear:both" />
<div style="margin:0 auto 0 14em;"><source style="display:block;clear:both;width:30em;margin:0 auto;" lang="lisp">
<div style="margin:0 auto 0 11em;"><source style="display:block;clear:both;width:30em;margin:0 auto;" lang="lisp">
(через
(через
(избыточное (на первый взгляд))
(избыточное (на первый взгляд))
нагромождение (круглых) скобок)</source></div>
нагромождение (круглых) скобок)</source></div>
<span style="float:right;margin-right:-0.61803em">…[[w:Связный список|односвязным списком]].<ref>В основных диалектах у символов статическая область видимости, и древо символов со введением связи «обозначения» становится [[:w:en:Series-parallel partial order|последовательно-параллельным частичным порядком]], для начала.</ref></span><br style="clear:both" />
<span style="float:right;margin-right:-0.05em">…[[w:Связный список|односвязным списком]].<ref>В основных диалектах у символов статическая область видимости, и древо символов со введением связи «обозначения» становится [[:w:en:Series-parallel partial order|последовательно-параллельным частичным порядком]], для начала.</ref></span><br style="clear:both" />
<span style="margin-left:-0.161803em">Элементарные</span> части программы: числа, [[Электронный текст|слова]], указатели, имена типов, операторы, подпрограммы, — это возможные значения ''символа'', обозначающего их в коде. Любое выражение со свободными переменными, включая определения, — обрамляются понятием ''формы''. Сплошная типизация «статических языков» заменяется необязательной декларацией типов, — технически допустимой на любом шаге программы, — равно, как и вкомпиляция произвольного кода.
<span style="margin-left:-0.1em">Элементарные</span> части программы: числа, [[Электронный текст|слова]], указатели, имена типов, операторы, — это возможные значения ''символа'', обозначающего их в дереве кода. Символьное представление можно определить для любой ''формы'' — корректно вычислимого выражения с любыми параметрами, значениями и воздействиями на среду. Сплошная типизация «статических языков» в Лиспе заменяется декларацией типов, — необязательной, но допустимой на любом шаге создания и исполнения программы, — равно, как и включение произвольного кода.


Познание вычисления как такового — стезя академического курса и лет практики, а посвящение в Лисп также требует на примерах отразить привычные ограничения других — «непрограммируемых» — языков программирования. Задача гигантская, однако, на Лисп упало внимание многих компьютерных гениев, и нам следует взобраться на плечи гигантов, уместно освещая избранную [[Лисп/Литература|литературу о Лиспе]]. Ясно также, что кратчайшие пути обучения расплетаются по локальным оптимумам для разных задач. Перед вами — не просто [[:w:Викиучебник|учебник в свободном доступе]], а домашняя страница <big>открытой школы</big>, где каждый может быть и слушателем, и автором.<ref>Изучите [[Справка|справку]] по сайту Викиучебник, освойтесь с [[вики]]-средой, общайтесь с читателями и соавторами (<code>[[Обсуждение:Лисп]]</code>, <code>[[Обсуждение:Лисп/Типы данных]]</code> и так далее.)</ref></div>
Познание вычисления как такового — стезя академического курса и лет практики, а посвящение в Лисп также требует отразить привычные ограничения прочих — «непрограммируемых» — языков программирования. Задача гигантская, однако, Лиспу досталось внимание величайших компьютерных гениев, и нам остается взобраться на плечи гигантов, уместно освещая избранную [[Лисп/Литература|литературу о Лиспе]]. Ясно также, что кратчайшие пути обучения расплетаются по локальным оптимумам для разных вычислительных задач. Перед вами — не просто [[:w:Викиучебник|учебник в свободном доступе]], а домашняя страница <big>открытой школы</big>, где каждый может быть и слушателем, и автором.<ref>Изучите [[Справка|справку]] по сайту Викиучебник, освойтесь с [[вики]]-средой, общайтесь с читателями и соавторами (<code>[[Обсуждение:Лисп]]</code>, <code>[[Обсуждение:Лисп/Типы данных]]</code> и так далее.)</ref></div>
{{wikipedia}}
<div style="max-width:52em;margin:2em auto 0 4%;padding-left:0.1em;">
<div style="max-width:52em;margin:1.2em auto 0 4%;padding-left:0.1em;">
==Содержание==
==Содержание==
<small>''([[(несуществующая страница)|Красным]] — даже не начатое.)''</small>
<small>''([[(несуществующая страница)|Красным]] — даже не начатое.)''</small>

Версия от 03:28, 20 мая 2011


Лисп — старейший из ныне живых языков программирования,[1] а по высоте абстракции и по выразительности превосходит все прочие. Это первый язык функционального программирования, но любые парадигмы, философии, привычки, условия среды́, — поддерживает гибко и эффективно.

Код Лиспа представлен…

(через
  (избыточное (на первый взгляд))
  нагромождение (круглых) скобок)

односвязным списком.[2]
Элементарные части программы: числа, слова, указатели, имена типов, операторы, — это возможные значения символа, обозначающего их в дереве кода. Символьное представление можно определить для любой формы — корректно вычислимого выражения с любыми параметрами, значениями и воздействиями на среду. Сплошная типизация «статических языков» в Лиспе заменяется декларацией типов, — необязательной, но допустимой на любом шаге создания и исполнения программы, — равно, как и включение произвольного кода.

Познание вычисления как такового — стезя академического курса и лет практики, а посвящение в Лисп также требует отразить привычные ограничения прочих — «непрограммируемых» — языков программирования. Задача гигантская, однако, Лиспу досталось внимание величайших компьютерных гениев, и нам остается взобраться на плечи гигантов, уместно освещая избранную литературу о Лиспе. Ясно также, что кратчайшие пути обучения расплетаются по локальным оптимумам для разных вычислительных задач. Перед вами — не просто учебник в свободном доступе, а домашняя страница открытой школы, где каждый может быть и слушателем, и автором.[3]

Содержание

(Красным — даже не начатое.)


  1. Ассемблер язык машины, а не программирования, а Фортран — не вполне жив.
  2. В основных диалектах у символов статическая область видимости, и древо символов со введением связи «обозначения» становится последовательно-параллельным частичным порядком, для начала.
  3. Изучите справку по сайту Викиучебник, освойтесь с вики-средой, общайтесь с читателями и соавторами (Обсуждение:Лисп, Обсуждение:Лисп/Типы данных и так далее.)