ищу интересную задачу

калькулятор, медиаплеер, факториал... тысячи, тысячи применений для маргинальщины

ханойскую башню забыл

Базу данных напиши. Объектную. С автосохранением при изменении объектов и запросами по объектам с произвольными предикатами.

Тут некоторое время назад лисперов троллили челенджем — написать аналог портянки на лиспе. Лисперы предсказуемо слились. Может, ты попробуешь?

Есть такая идея. Аналог allegrocache (но под нормальной лицензией и для sbcl)? Есть, например, давно заброшенный и недоделанный manardb. И не похоже, что бы им кто-то пользовался. У вас есть use-case на такую базу данных?

как то предлагали пакетный менеджер переписать в генту лисперам. весьма интересная задача

Может, ты попробуешь?

Реквестирую ссылку.

очередной пакетный менеджер никому не нужен

не очередной. там задача была переписать портаж и избавить его от тормозов

ханойскую башню забыл

что-то новенькое

http://rosettacode.org/wiki/Towers_of_Hanoi#Common_Lisp

Восстановление логическогой структуры текста: абзацы.заголовки, сноски,таблицы из голых xy-блоков типа PDF/DJVU. OCR в основном напрвлены на перевод растра в текст, в вот с структурой у них не очень.

Аналог allegrocache

тогда уж сразу AllegroGraph

Впили в ACL2 фичи, которых ему недостает до уровня современных пруф ассистантов

Ты сразу список недостающего и современных для любопытсвующих вроде меня приводи :)

Зависимые типчики, higher-order конструкции, диета для ядра (для соответствия критерию де Брюйна). На самом деле, нужно просто все с нуля написать :)

можно подробнее - где используется, какие альтернативы?

что такое «критерий де Брюйна»?

Неформальный критерий, согласно которому внутренний язычок ядра пруф ассистанта должен быть «небольшим».

MMORPG напиши.

Кстати есть ещё красивая задача. Написать на Common Lisp аналог Typed racket.

Необходимые фичи: типы-объединения, проверка типов при компиляции. То есть

(defun a (x) (car x))
(defun test (x) (a (* x x)))

мой знакомый вот такое делает: https://github.com/wwall/wtf , могу дать контакты, если интересно будет.

Лисп настолько суров, что интересных задач для него нет.

https://github.com/wwall/wtf

Формализованная проверка кода на языке 1С

Очень нужная вещь, уже сколько лет ждем. Но почему на lisp? Надо было делать на adga, конечно же

Посоветуйте, пожалуйста, интересную задачу/задачи, ориентированную на common lisp

напишы свой фейсбук, назови его lispbook

или напишы NoSQL БД документную с настоящими транзакциями, я думаю людям будет интересно

Ну раз на Lisp, то сам Бог велел искусственный интеллект писать!

Реквестирую ссылку.

Вызов лисперам.

вот я когда-то попробовала изучить лисп. поигралась с ним, вроде ничего сложного нет. но я наткнулась именно на ту же проблему: а куда его применять, собственно? и всё, на этом и закончился интерес.

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

А где можно ознакомится с подробностями?

напиши ОС для емакса

Боюсь спросить, кто у тебя на юзерпике.

Handbook of Automated Reasoning, к примеру. Страница 1155.

Key-value хранилище напиши.

Вызов лисперам.

Кодогенератор аксессоров и прочего по XML схеме.

напиши упоротую игру

Боюсь спросить, кто у тебя на юзерпике.

я.
а у вас?

Вызов лисперам.

Carousel Beast

Имеете в виду - по xml описанию класса генерировать lisp код? Пример из жизни, когда это вам может понадобится, приведите, пожалуйста

Например, по схемам XMPP станц генерировать методы доступа. Т.е. писать (get-body (from-xml message)) , а не писать x-expr селекторы вручную

а вы где-то используете ACL2? если да, то где?

Нет, я использую ATS и Coq, jff для верификации разрабатываемых алгоритмов и их реализаций. Об ACL2 знаю достаточно поверхностно (тыкал палочкой), поэтому здесь даю скорее дилетантские советы.

а у вас проверка корректности кода - это академическая «прихоть» или рабочая необходимость?

Лисп настолько суров, что интересных задач для него нет.

Интересные задачи те же, что и на любом другом языке, на самом деле. Но, периодически кажется, что всё интересное уже написано.

если все интересное написано, то можно переписать на хаскеле!

Могу предложить допилить мою библиотечку для xmpp

Я пишу управлялку-по-сети для Virt2Real :) Just For Fun, есессно. Машинку там покатать, камерой поснимать, бумажки на полу понаходить...

Делай то, что интересно и нужно лично тебе. Тогда проект имеет шанс взлететь. И то не факт.