21

Почему для работ в области искусственного интеллекта часто выбирают какой-нибудь из диалектов Лиспа или Пролог, что в них такого, чего нельзя сделать на C#? Интересуют именно сравнение возможностей (что можно сделать в одном языке программирования, но невозможно или проблематично в другом) языка, а не готовых алгоритмов/методов или их количества.

upd: Нашел проект IronScheme, зеркало Github

IronScheme implements over 99% of the R6RS specification and specified behavior.

пример работы из C#, документация

6
  • 2
    На ответ не тянет (про C# ничего). В нагугленной ссылке Почему Lisp? мне понравилась фраза >В качестве девиза для Common Lisp лучше всего подходит похожее на дзенский коан описание "программируемый язык программирования". Видимо, подобное свойство языка должно быть близко разработчикам ИИ. По сути (если отбросить прикладные аспекты) интеллект - это способность к размышлениям, которые порождают размышления, увеличивают уровень познания (конечно, отталкиваясь от наблюдаемых фактов).
    – avp
    15 авг 2012 в 15:35
  • >что в них такого, чего нельзя сделать на C# у C# проблемы с автоматическим выводом типов в общем и для делегатов Func и Action в частности - это единственное, что мне не нравится в нём
    – Spectre
    15 авг 2012 в 16:24
  • А причём тут Lisp и Scheme с их динамической типизацией?
    – alexlz
    16 авг 2012 в 8:42
  • В C# нет метапрограммирования времени компиляции. В языках семейства LISP оно есть. (Синтаксические макро) 28 мая 2015 в 17:58
  • В C# нет анафорических лямбд и пандоричеких макросов.
    – typemoon
    28 ноя 2015 в 12:03

4 ответа 4

12

Вполне законно вопрос поставить шире: сравнение возможностей процедурного, функционального и логического программирования. Вопрос очень широкий и требует как минимум хорошей академической статьи.

В принципе, возможности большинства языков всех этих групп достаточно близки. Вопрос только в простоте и легкости реализации тех или иных задач. Думаю, все, что можно сделать на Лиспе или Прологе, вполне возможно реализовать и на C#. Только там, где на этих языках та или иная операция будет занимать пару строчек, на процедурном языке может занять пару десятков.

6
  • 2
    Есть такая гипотеза Тьюринга (недоказуемая). Упрощенно она гласит - любой алгоритм можно запрограммировать на машине Тьюринга. Следствие - если на некотором языке можно эмулировать машину Тьюринга, то на нем можно запрограммировать любой алгоритм. Но я бы хотел посмотреть как на с# реализовать унификацию термов
    – renegator
    15 авг 2012 в 19:46
  • 1
    @mikillskeg C# -- язык с процедурными, объедко-ориентированными и функциональными средствами. Вот логическое программирование (если я не путаю) тут мимо кассы.
    – alexlz
    16 авг 2012 в 8:46
  • @alexlz, просто в вопросе был упомянут Пролог.
    – skegg
    17 авг 2012 в 7:56
  • 1
    Согласен по сути, но не согласен с формулировкой. Это слишком общий ответ на вполне конкретный вопрос. Из вашего ответа непонятно, зачем вообще тогда существуют разные языки, ни одного примера вы не привели. 19 ноя 2015 в 17:16
  • @renegator пожалуйста, на C#: yieldprolog.sourceforge.net 24 окт 2016 в 21:26
8

Scheme - изящный и простой язык, к тому-же близость синтаксиса к соответствующему AST Tree позволяет программисту интуитивно генерировать необходимые языки с помощью макросов. Вообще, для Scheme естественно, что код - это данные. Это полезно для разработчиков всевозможного матана, в тч специфичного для AI (обработка и генерация графов - сильное место любого Lisp), но также и интернет-магазинов....

Есть в Scheme принципиально отсутствующие в C# сущности, например: продолжения (Continuations), как объекты первого класса. Это фактически значит, что состояние всей программы можно сохранять и восстанавливать на уровне языка.

Scheme - мультипарадигменный язык, его философия не навязывает ООП, равно как чисто-функциональное или реактивное программирование. Экосистема Scheme поддерживает развитые средства для любых, в т.ч. и эксперементальных методик.

Хотя не существует единого репозитария Scheme-кода и стандарта модульности, зато развита теория и добрая традиция переиспользования функций, построенных (возможно) в разных стилях. Есть и база качественного кода на Scheme. Скажем, их даже несколько.

REPL - традиционный для LISP способ коммуникации с интерпретатором, "выращивания" окружений. Изменения вносятся в непрерывно работающую программу - подобным образом математики работают с Maxima и её аналогами. Для некоторых современных языков, того-же С#, совершенно необходимо специальное IDE. Однако есть и мнение, что IDE в целом усложняет процесс разработки, во всяком случае - итеративный процесс разработки очевидно помогает разгрузить оперативную память программиста.

Существуют компиляторы и интерпретаторы Scheme для любой архитектуры - ARM, Webkit/ECMAScript, .NET, Java... Благодаря простоте, Scheme - в мире, один из самых портированых языков. С недавних пор, он выбран стандартным языком расширения GNU, и на этой платформе построен дистрибутив GUIX с демоном инициализации Shepherd (замена init и systemd).

9
  • «...первая версия Javascript, как и большинства современных языков, была написана на Scheme». А можно поподробнее? C? C++? C#? Java? Go? Rust? Ruby? Python? Swift?
    – VladD
    19 ноя 2015 в 17:53
  • Непонятно зачем вы перечислили столько несовременных языков, однако согласен - это очень спорное утверждение, из ответа его стоит убрать, чтобы не разводить холивар. Однако, в природе есть такая информация о многих языках, например Haskell. А Ruby его создатель (Matz) вообще называет Matz-lisp, хотя первая версия его была написана на C. Но автор на момент проектирования очевидно думал на Scheme или, как минимум в AST-tree. Тут надо различать то, на чём написан интерпретатор фактически из соображений производительности (как правило C) и то, на чём создавался язык 19 ноя 2015 в 18:19
  • Ну, а что вы считаете современными языками? Может быть, C вышел из моды, но C++ активно развивается, а C# уж точно впереди планеты всей.
    – VladD
    19 ноя 2015 в 18:22
  • 1
    забавно кстати, что C - более актуален чем громоздкий C++ , замен которому множество. C остался незаменим и используется в самом большом проекте современности - ядре Linux 19 ноя 2015 в 18:39
  • 1
    @11111000000 "в самом большом проекте современности - ядре Linux" -- в каких единицах измерения? если в SLOC, то есть проекты крупнее. informationisbeautiful.net/visualizations/million-lines-of-code
    – Stack
    20 янв 2016 в 22:09
4

Есть множество языков программирования. Вот для алгоритмов или ИИ нужна спец. подготовка. А специалистов таких не много. Теперь выберите из этого числа людей тех, кто на профессиональном уровне знает тот же С#. Вот и получается что тем, кто занимается ИИ, проще написать (())О() в пару строк - и все готово. Тут тебе и строгой типизации нет, и ООП учить (почти) не надо. А вообще была бы возможность, выучил бы F#. У меня даже книга есть по нем. Но язык мне действительно показался сложноватым.

3
  • по F# есть хорошая книга Functional Programming for the Real World, всё изложение построено по принципу сравнения этого языка с C#
    – Spectre
    17 авг 2012 в 6:05
  • 1
    "Но язык мне действительно показался сложноватым." Сложностей в нем не так уж и много -- бардачность от OCaml и ООП от .NET Разве что обычные проблемы изучения функционального программирования для имеющих опыт императивного. Но тут уж ничего не поделаешь...
    – alexlz
    17 авг 2012 в 9:52
  • "язык мне действительно показался сложноватым" -- после c# - согласен. код очень сжатый, иногда сильно закрученный. и возможностей больше, например active pattern
    – Stack
    30 дек 2015 в 17:39
0

Наверное, то, что сама идеология Лисп, в отличие от идеологии С#, более подходит для написания самомодифицирующегося кода - кода, анализирующего и модифицирующего самого себя.

То есть Лисп свой собственный исходник может обрабатывать как данные.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.