Как стать автором
Обновить

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

В Agda не так давно добавили рефлексию (можно заключить кусок кода в кавычки и программа его сможет обрабатывать как данные). И вот это уже было в Lisp.
Помню, как в студенческие времена в прошлом веке делали лабораторные работы, практические занятия, выполняли контрольные работы, сдавали зачеты-экзамены по ЛИСПу и Прологу. И эти языки мне очень нравились. У нас был очень хороший преподаватель, кот. сам в основном работал на ЛИСПе (работал программистом в какой-то организации), писал в т.ч. на ЛИСПе СУБД, экспертные системы, системы обработки данных и пр. В качестве курсовых работ у нас были в т.ч. реализации игр на ЛИСПе и Прологе (в т.ч. обход графа, выбор оптимального хода и т.д.) Потом ЛИСП мне понадобился и для АвтоКАД — тоже очень удобная вещь.
эх, а мне не пригодилось. но кар/кудр и красные/зеленые отсечения до сих пор в памяти. а вдруг пригодится :)
Где бы его сейчас применить, этот ваш лисп…
Хотел было написать подобный коммент, вовремя вспомнил, что комменты иногда надо обновлять.
ЛИСП — это серьезный инструмент, если на нем работать в больших серьезных проектах.
Вообще, сейчас поучил Idris и впечатление такое «на этом уже можно программировать». От языков вроде Haskell такого впечатления нет.
IDE и дебаггер завезли?
Есть плагин к редактору Atom, удобно.
Как перестал заниматься reverse engineering программировать на C и C++ потребности воспользоваться дебаггером ни разу не возникало.
А тема IDE для Idris очень хорошо раскрыта в книге Type-Driven Development. Рекомендую почитать, описанные там приемы в IDEA, пр крайней мере со Scala, тоже работают.

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


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

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

Публикации

Изменить настройки темы

Истории