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

Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 2:
__NOEDITSECTION__
<div style="max-width:52em;margin:1.3em auto 1em 4%;">
<span style="margin-left:-0.1em"><big>Лисп</big></span> — старейший из ныне живых языков программирования,<ref>[[w:Ассемблер|Ассемблер]] язык машины, а не программирования, а [[w:Фортран|Фортран]] — не вполне жив.</ref> а по высоте абстракции и по выразительности превосходит все прочие. Это первый язык [[:Категория:Функциональное программирование|функционального программирования]], но любые парадигмы, философии, привычки, условия среды́, — он поддерживает гибко и эффективно. Код Лиспа представлен…<source style="display:block;clear:both;width:35em;margin:0 auto;" lang="lisp">
(через нагромождение (круглых) скобок)</source></div>
 
<span style="margin-left:-0.1em8em">Элементарные…[[w:Связный список|односвязным списком]].</span> Элементарные части программы: числа, [[Электронный текст|слова]], указатели, имена типов, операторы, — это возможные значения ''символа'', обозначающего их в дереве кода. Символьное представление можно определить для любой ''формы'' — корректно вычислимого выражения с любыми параметрами, значениями и воздействиями на среду. Сплошная типизация «статических языков» в Лиспе заменяется декларацией типов, — необязательной, но допустимой на любом шаге создания и исполнения программы, — равно, как и включение произвольного кода.
Код Лиспа представлен…<br style="clear:both" />
<div style="margin:0 auto 0 11em;"><source style="display:block;clear:both;width:35em;margin:0 auto;" lang="lisp">
(через
(избыточное (на первый взгляд (и на второй тоже)))
нагромождение (круглых) скобок)</source></div>
<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.1em">Элементарные</span> части программы: числа, [[Электронный текст|слова]], указатели, имена типов, операторы, — это возможные значения ''символа'', обозначающего их в дереве кода. Символьное представление можно определить для любой ''формы'' — корректно вычислимого выражения с любыми параметрами, значениями и воздействиями на среду. Сплошная типизация «статических языков» в Лиспе заменяется декларацией типов, — необязательной, но допустимой на любом шаге создания и исполнения программы, — равно, как и включение произвольного кода.
 
Познание вычисления как такового — стезя академического курса и лет практики, а посвящение в Лисп также требует отразить привычные ограничения прочих — «непрограммируемых» — языков программирования. Задача гигантская, однако, Лиспу досталось внимание величайших компьютерных гениев, и нам остается взобраться на плечи гигантов, уместно освещая избранную [[Лисп/Литература|литературу о Лиспе]]. Ясно также, что кратчайшие пути обучения расплетаются по локальным оптимумам для разных вычислительных задач. Перед вами — не просто [[:w:Викиучебник|учебник в свободном доступе]], а домашняя страница <big>открытой школы</big>, где каждый может быть и слушателем, и автором.<ref>Изучите [[Справка|справку]] по сайту Викиучебник, освойтесь с [[вики]]-средой, общайтесь с читателями и соавторами (<code>[[Обсуждение:Лисп]]</code>, <code>[[Обсуждение:Лисп/Типы данных]]</code> и так далее.)</ref></div>
Строка 16 ⟶ 10 :
<div style="max-width:52em;margin:1.2em auto 0 4%;padding-left:0.1em;">
==Содержание==
<!--<small>''([[(несуществующая страница)|Красным]] — даже не начатое.)''</small>-->
*[[Лисп/Историософия|Историософия]]<small>: происхождение и философские основы Лиспа, его силы и слабости</small>
*[[Лисп/Рабочая среда|Рабочая среда]]<small>: диалект и интеграция разработки</small>
Строка 55 ⟶ 49 :
*[[Лисп/Делопроизводство|Делопроизводство]]
*[[Системы автоматического управления]]
*[[Агенты]] ([[Clojure]])
*[[Лингвоанализ]]: распознание речи и смысла, говороботы
*[[Различение образов]] и [[раскопка данных]]-->
Строка 65 ⟶ 59 :
<references />
</div>
 
[[Категория:Языки программирования]]
[[Категория:Лисп| ]]