ProsWeb 22 ноя 2019 в 11:47

Что сделало Lisp особенным

3 мин

14K

Lisp*История ITФункциональное программирование*

Перевод

+30

Комментарии 17

shuhray 22 ноя 2019 в 12:53

В Agda не так давно добавили рефлексию (можно заключить кусок кода в кавычки и программа его сможет обрабатывать как данные). И вот это уже было в Lisp.

Iwanowsky 22 ноя 2019 в 14:24

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

vgbege 22 ноя 2019 в 19:41

эх, а мне не пригодилось. но кар/кудр и красные/зеленые отсечения до сих пор в памяти. а вдруг пригодится :)

xztau 22 ноя 2019 в 17:49

Где бы его сейчас применить, этот ваш лисп…

newpy 23 ноя 2019 в 11:32

Wallmart, Сбербанк, Apple, Deutche Bank, Datomic и тд.
Коротко
https://clojure.org/community/success_stories
Список компаний пополняемый:
https://clojure.org/community/companies

psycho-coder 23 ноя 2019 в 12:37

Хотел было написать подобный коммент, вовремя вспомнил, что комменты иногда надо обновлять.

Iwanowsky 23 ноя 2019 в 20:43

ЛИСП — это серьезный инструмент, если на нем работать в больших серьезных проектах.

shuhray 22 ноя 2019 в 17:58

Вообще, сейчас поучил Idris и впечатление такое «на этом уже можно программировать». От языков вроде Haskell такого впечатления нет.

vasyapivo 22 ноя 2019 в 18:08

IDE и дебаггер завезли?

shuhray 22 ноя 2019 в 18:54

Есть плагин к редактору Atom, удобно.

potan 23 ноя 2019 в 19:37

Как перестал заниматься reverse engineering программировать на C и C++ потребности воспользоваться дебаггером ни разу не возникало.
А тема IDE для Idris очень хорошо раскрыта в книге Type-Driven Development. Рекомендую почитать, описанные там приемы в IDEA, пр крайней мере со Scala, тоже работают.

DarkEld3r 22 ноя 2019 в 18:14

Почему? В смысле, можно мысль развернуть?
Так-то я толком ни одного ни другого не знаю, но, по идее, хаскель более зрелый, пусть и несколько обросший легаси, а идрис более аккуратно сделан (работа над ошибками), но экспериментальный.
Или что вообще подразумевается под "на этом уже можно программировать"?

Ну и к лиспу это имеет хоть какое-то отношение? (:

shuhray 22 ноя 2019 в 18:58

Сейчас пишу большую программу на C++ и регулярно думаю «хорошо бы здесь использовать сигма-тип (dependent sum)». Кстати, в C++ добавили сигма-тип! (std::variant). Но лучше бы не добавляли, огорчение одно.