Какова область применения Lisp/Clojure/Scheme?

Question

[HoHsi]

Добрый день!
Не так давно заинтересовался Clojure, и в связи с этим возникло несколько вопросов:

* Какова область применения Lisp-семейства?
* В чем их преимущества над ООП языками?
* Так как все объекты в функциональных языках передаются по значению, не делает ли это нагрузки на память и оверхедов?
* В каких случаях лучше не использовать ФП?

Answer 1

[Даниил Колесниченко]

Какова область применения Lisp/Clojure/Scheme?

В общем-то это всё языки общего назначения, которые могут использоваться там же где и Python или Java, например. Единственное, что я бы выделил — написание EDSL (встраиваемых предметно-специфичных языков). Пример: https://github.com/tonsky/datascript.

В чем их преимущества над ООП языками?

Лиспы поддерживают ООП, вопрос некорректный.

все объекты в функциональных языках передаются по значению

Кто Вам такую чушь сказал? И да, лиспы не более функциональны, чем какой-нибудь JavaScript.

В каких случаях лучше не использовать ФП?

Смотря что понимать под ФП. Лямбды, ФВП, чистые функции стоит использовать всегда. Рекурсивные функции — нежелательно, если язык не поддерживает TCO (хотя некоторые скажут что преждевременная оптимизация — корень всех зол). Всякие монады и функторы — по ситуации, только не говорите никому что это монады. Вон Promise всё JS-сообщество использует, а было бы написано в доке, что Promise — монада, никто бы и смотреть не стал :)

Comments

[HoHsi]

все объекты в функциональных языках передаются по значению

Да на всех докладах загоняют ФП == Имутабельность

Лиспы поддерживают ООП, вопрос некорректный.

Я считал, что лиспы - чито функциональные

[Даниил Колесниченко]

HoHsi: так иммутабельность ≠ передача по значению. Просто надо передавать ссылку на объект, который нельзя менять. И да, всё-таки неверно говорить, что ФП = иммутабельность. Иммутабельность — один из принципов ФП, но не единственный. А на счёт лиспов — дело в том, что когда они появились, они действительно были "функциональнее" остальных языков, но со временем функциональные фишки, появившиеся в лиспах, перекочевали в мейнстрим (JavaScript, Python, Ruby, C#, даже C++), так что теперь в лиспах особо и не осталось ничего, что делало бы их функциональнее того же JS. Ну и лиспы уж точно не чисто функциональные, в отличие от Haskell или Idris. Потому что "чистое" ФП подразумевает полное отсутствие изменяемого состояния (переменные в лиспах изменяемы) и работы с IO "напрямую" (в Haskell, например, IO представлено, грубо говоря, в виде структуры содержащей объект ReadWorld, так что с точки зрения формальной семантики языка функции, работающие с вводом-выводом, являются чистыми).