LINUX.ORG.RU

Вышел Steel Bank Common Lisp 1.4.15

 ,


2

2

Steel Bank Common Lisp, реализация языка программирования Common Lisp, обновился до версии 1.4.15.

В новой версии:

  • для архитектуры x86_64 добавлена поддержка AVX2 инструкций, которые могут быть задействованы через SB-SIMD-PACK;
  • парсинг имени специализатора теперь менее снисходителен и сообщает конкретное условие в случае синтаксических ошибок;
  • добавлен интерактивный перезапуск в случаях некоторых ошибок файловой системы;
  • COMPILE больше не блокирует мир (world lock);
  • RUN-PROGRAM теперь более отзывчива и менее склонна к взаимной блокировке (deadlock);
  • traceroot теперь может искать simple-fun цели;
  • устранён ряд ошибок компилятора.

>>> Скачать

★★★★★

Проверено: jollheef ()
Последнее исправление: Virtuos86 (всего исправлений: 6)

Ответ на: комментарий от loz

Он удивительно активно развивается и комьюнити приятное. Жалко только, что PharoJS и Amber находятся в каком-то странном состоянии.

buddhist ★★★★★
()
Ответ на: комментарий от vertexua

https://stackoverflow.com/questions/14171849/compiling-common-lisp-to-an-exec...

Скомпилировал пример. 44M, что как-то много. Стрипнул - 282K, это уже лучше.

$ ldd ./hello 
        linux-vdso.so.1 (0x00007ffe2ca41000)
        libdl.so.2 => /lib64/libdl.so.2 (0x00007fc300a70000)
        libpthread.so.0 => /lib64/libpthread.so.0 (0x00007fc300a4e000)
        libz.so.1 => /lib64/libz.so.1 (0x00007fc300a34000)
        libm.so.6 => /lib64/libm.so.6 (0x00007fc3008b0000)
        libc.so.6 => /lib64/libc.so.6 (0x00007fc3006ea000)
        /lib64/ld-linux-x86-64.so.2 (0x00007fc300ab4000)
AlexKiriukha ★★★★
()
Ответ на: комментарий от vertexua

sbcl вообще может работать как интерпретатор с опцией --script.

saahriktu ★★★★★
() автор топика

Спасибо за новость. В Debian Unstable уже имеется данная версия.

Odalist ★★★★★
()
Ответ на: комментарий от Hertz

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

anonymous
()
Ответ на: комментарий от saahriktu

Ещё есть проприетарный LispWorks и Corman Common Lisp для винды.

Corman свой лисп (у которого исходники ядра в принципе всегда были открыты а условия использвания там были в стиле Sublime Text — free for noncommercial c nag-screen на необязательном IDE) отдал сообществу 2 года назад (а до того на лет на 5 забросил). Под MIT License https://github.com/sharplispers/cormanlisp Как раз вчера вышел первый полноценный релиз без Кормана, как пишут, они закончили адаптацию всего этого добра вод новые, 64-битные версии винды. Это так, к слову что Лисп и правду жив и даже такач, не самая популярная версия, которую разрабатывал один человек в не очень открытом режиме (ну в основном, был там и код от контрибуторов чуть-чуть)

be_nt_all ★★
()
Ответ на: комментарий от Deleted

Создателя Лиспа вообще — Джона Маккарти с нами уже так давненько нет вообще — умер он (ну и лиспу как-то лет больше чем всем тут присутствующим, подозреваю). Создатель SBCL — Вильямом Ньюмен, я как-то не очень в курсе, но кажется он уже этим проектом не руководит. Реализация развивается.

А чуть выше я запостил ответ про один не самый известный (Corman Common Lisp) бывший проприетарный (ну чуть приоткрытый изначально) Лисп под винду, который его автор на 5 лет забросил, а потом два года назад открыл полностью под MIT. Ничего — нашлось кому подобрать, за два года этот кто-то в чужом коде разобрался и ровно вчера вышел первый релиз Corman Common Lisp, работающий под всякими новыми версиями оффтопика — тоже новость, если что.

be_nt_all ★★
()
Последнее исправление: be_nt_all (всего исправлений: 1)
Ответ на: комментарий от Virtuos86

Ну что поделать, я смотрю вот на это https://www.youtube.com/watch?v=1s9ldlqhVkM и понимаю что лисп в чем-то и хорош, язык развивается но применение как-то не развивается.

Как по мне - лисп во многом мощнее смолтолка, но непонятно хорошо это или не очень.

loz ★★★★★
()

У меня два вопроса.

1. Какая реализация лучше (жабы и дотнеты не предлагать)? 2. Что почитать, чтобы изучить лисп (подразумевается имеющееся знание разных более других языков)? Желательно человеческим языком, а то эти ваши сидры отбивают всё желание.

anonymous
()
Ответ на: комментарий от saahriktu

Ещё есть вариант с CLR

Для галочки. На самом деле нет.

no-such-file ★★★★★
()
Ответ на: комментарий от loz

Как по мне - лисп во многом мощнее смолтолка, но непонятно хорошо это или не очень.

Как там у вас в 80-х? Тепло и лампово наверно.

bread
()
Ответ на: комментарий от anonymous

1. Какая реализация лучше (жабы и дотнеты не предлагать)?

Вот список - каждый хорош по своему со своими особенностями

  • sbcl
  • ccl, конкурент sbcl
  • clisp, маленький интерпретатор
  • ecl, транслятор в C, когда пробовал был самой проблемной имплементацией
  • abcl, вроде как порт sbcl на jvm
  • проприетарщину пусть маркетологи рекламируют

2. Что почитать, чтобы изучить лисп (подразумевается имеющееся знание разных более других языков)?

ИМХО PCL чтобы въехать в CL. Там уже можно будет что-то лабать поглядывая в справочники типа Hyperspec'а, cltl2. Потом, думаю, сам найдёшь что читать.

ados ★★★★★
()
Ответ на: комментарий от anonymous

1. CCL

2.1 «Let Over lambda» ru-en

2.2 «Интерпретация Lisp & Scheme» Кристиан Кеннек

2.2 Методичка ТАВРИЧЕСКИЙ НАЦИОНАЛЬНЫЙ УНИВЕРСИТЕТ имени В. И ВЕРНАДСКОГО: С. П. ГОРЛЯНСКИЙ «РЕШЕНИЕ ЗАДАЧ НА ЯЗЫКЕ ПРОГРАММИРОВАНИЯ ЛИСП»

anonymous
()
Ответ на: комментарий от loz

Как по мне - лисп во многом мощнее смолтолка, но непонятно хорошо это или не очень.

Золотые слова.

Virtuos86 ★★★★★
()
Ответ на: комментарий от anonymous

1. SBCL. Как вариант CCL.

2. Обычно рекомендуют книгу Practical Common Lisp Питера Сайбеля. Свободно доступна на сайте. Также мне встречалось несколько людей, которые заявляли, что ANSI Common Lisp Пола Грэма им зашла лучше. Обе книги переведены на русский и есть в продаже.

Вот тут есть хорошая (и, что немаловажно, свежая) статья, обширно отвечаюшая как раз на вопрос, как подойти к изучению общелиспа.

anonymous
()
Ответ на: комментарий от saahriktu

Можно скомпилировать в исполняемый файл используя graalvm или excelsior jet

anonymous
()
Ответ на: комментарий от saahriktu

Теоретически, вот это должно компилить планкалкюль: http://zuse-z1.zib.de/simulations/plankalkuel/compiler/plankalk.html

Практически оно не работает. Думаю, если написать профессору Raúl Rojas, можно получить что-то работающее. Что соответствует общему принципу «кому надо, у того живо».

Miguel ★★★★★
()
Ответ на: комментарий от Miguel

Ой, ну а algol-68 тогда вообще живее всех живых. Одну из двух в принципе актуальных реализаций один профессор всё ещё потихоньку поддерживает и обновляет, крайней версии всего два года и пакеты для красношапки и убунты не реже раза в год пересобираются. Но я думаю разница с лиспом и смолтоком очевидна: есть по несколько открытых и коммерческих реализаций, достаточно устойчвивых к «фактору автобуса» (у Лиспа это несколько чуть побольше), и там, и там, после того как изначальные авторы забросили и отдали нка github широко известные в узких кругах относительно минималистические [полу]коммерческие (когда-то) реалиции языков под оффтопик (Corman Lisp и Dolphin Smalltalk соответственно), нашлось кому «подобрать упавший флаг», выпускать обновления и поддерживать всё это в актуальном современным виндам состоянии. Что как-то тоже показатель, а когда есть одна реализация от одного профессора (особенно если этот профессор забросил поддерживать доступность этой реализации) — это уже совсем другой «уровень жизни». На самом деле тут много промежуточных ступеней…

be_nt_all ★★
()
Последнее исправление: be_nt_all (всего исправлений: 2)
Ответ на: комментарий от Hertz

Продолжайте делиться с нами вашими глубокомысленными рассуждениями.

anonymous
()
Ответ на: комментарий от Deleted

на всемирном рынке три с половиной вакансии

Вот ведь парадокс. Три с половиной вакансии, но при этом десяток реализаций языка, стандарт языка и как следствие - отсутствие зависимости всего и вся от настроения какого-то хера с горы Гвидо. Ну и кто тут местечковый язычок для хикканов?

no-such-file ★★★★★
()
Последнее исправление: no-such-file (всего исправлений: 1)
Ответ на: комментарий от AlexKiriukha

Только что попробовал - попал в REPL o_O

Сюрпрайз! Там образ с твоей прогой линкуется как секция, а strip слишком тупой и думает что это просто хлам и «нинужна» для бинарника. В итоге остаётся только бутсрап, которому нечего запускать.

no-such-file ★★★★★
()
Ответ на: комментарий от no-such-file

Я как бы питон привёл в пример, потому что там «всё плохо». А ты сравниваешь Лисп с ним и делаешь вывод, что в Лиспе лучше. Ну, допустим, лучше чем всё плохо, но сильно не дотягивает до ЯП у которых всё хорошо.

Deleted
()
Ответ на: комментарий от saahriktu

От стандарта на асинхронщину в CL я бы не отказался.

no-such-file ★★★★★
()
Ответ на: комментарий от no-such-file

В есть там какое-то свой умный strip? Интересно глянуть сколько бы к примеру весил scratch/alpine докер контейнер с приложением, с максимальной оптимизацией и AOT

vertexua ★★★★★
()
Последнее исправление: vertexua (всего исправлений: 1)
Ответ на: комментарий от vertexua

В есть там какое-то свой умный strip?

Нет. Можно обычному strip указать руками, какие секции выкинуть, но ужмётся на копейку. Можно образ скомпилять без дебага, доков и т.п. Я не пробовал, не в курсе насколько можно таким образом ужаться.

На самом деле на это надо смотреть иначе, а именно как на такой себе контейнер с ОС, компилятором, мануалом, оболочкой (repl) и базовыми утилитами (стандартными функциями).

no-such-file ★★★★★
()
Ответ на: комментарий от vertexua

сколько бы к примеру весил scratch/alpine докер контейнер с приложением, с максимальной оптимизацией и AOT

Примерно столько же, сколько с любой скриптотой. Вообще не понимаю этой проблемы - в 2019 году переживать про 40-50Мб.

no-such-file ★★★★★
()
Ответ на: комментарий от be_nt_all

они закончили адаптацию всего этого добра вод новые, 64-битные версии винды

Ммм! Сенкью за наводку! Теперь можно на CL писать проприаритарщину для Венды не платя 100500 денег за лиспворксы.

anonymous
()
Ответ на: комментарий от Deleted

Если язык не развивает громадная толпа макак и пачки сомнительных личностей с сомнительными намереньями, то сразу некому дыры замечать и латать своевременно? Как по мне тут определённо более ожидаемо от такой толпы умножение дыр и косяков в кодовой базе - макаки и пролетариат со своими дедлайнами свою репутацию уже давно заработали.

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

ados ★★★★★
()
Ответ на: комментарий от Hertz

требует свой собственный рантайм, свой велосипед, что ещё хуже.

Что может быть хуже JVM?

ados ★★★★★
()
Ответ на: комментарий от ados

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

Не перегибаешь же.

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

Да, вот линуксом занимается куча народа, потому он - говно. Правильно понимаю?

Deleted
()
Ответ на: комментарий от Deleted

Не надо сюда линукс примером тащить. Другие масштабы, другие игроки. Так то да - так же всё к этому катится как красношляпа пытается всех пингвиноразрабов под свою дудку настроить. С другой стороны посмотришь - не такой уж линукс и мейнстрим местами, тролли до сих пор 1% упоминают.

ados ★★★★★
()
Последнее исправление: ados (всего исправлений: 1)
Ответ на: комментарий от Deleted

Да, вот линуксом занимается куча народа, потому он - говно. Правильно понимаю?

Отчасти, правильно. Особенно, если это не просто «куча народа», а «громадная толпа макак и пачки сомнительных личностей с сомнительными намереньями». Это особенно явно видно сейчас, когда линуксом плотно заинтересовались корпорации, в силу чего он всё стремительнее катится в пучины упомянутой тут копроэкономики. Хотя, конечно, до продукции того же майкрософта ему ещё далеко.

anonymous
()
Ответ на: комментарий от anonymous

Отчасти, правильно.

А что делать то? При авторитаризме Царь может сказать, мол, я устал, я мухожук - и делайте, что хотите. При демократии набегают лесбиянки и удаляют пакеты из-за того, что название оскорбляет их чувства.

Deleted
()
Ответ на: комментарий от Deleted

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

anonymous
()
Ответ на: комментарий от Deleted

Что делать, чтобы эту ситуацию изменить?

Если прямо вот сейчас, то:

  1. Самому минимизировать своё участие в копроэкономике.
  2. Разъяснять это окружающим и агитировать за аналогичное поведение. (Только без излишнего фанатизма, а то очень легко скатиться в полный неадекват. После чего слушать уже никто не будет.)

Если глобально на перспективу, то учить детей:

  1. Мыслить логично и системно.
  2. Видеть реальность и всегда держать её в поле зрения.
  3. Брать на себя ответственность за свою жизнь.

Это может быть непросто, потому что, для начала, неплохо бы самому этими качествами обладать. У меня, например, с третьим пунктом большие проблемы.

anonymous
()
Ответ на: комментарий от anonymous

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

Самому минимизировать своё участие в копроэкономике.

Как? Если всё говно, а своё написать - нереально даже за несколько жизней.

Deleted
()
Ответ на: комментарий от Deleted

Как? Если всё говно, а своё написать - нереально даже за несколько жизней.

i-feel-your-pain.jpg

Однако, ты преувеличиваешь. Не всё — говно. И уж точно не всё — полное говно.

В том числе и в IT есть ещё программы и операционные системы, в создании которых «талантливые маркетологи» никакого участия не принимали. И даже там, где принимали, далеко не везде они уже одержали полную и окончательную победу.

Так что да, бороться и не сдаваться. А если следовать описанному мной глобальному плану, то есть надежда, что через несколько поколений ситуация начнёт меняться. Количество макак, например, уменьшится. И личности с сомнительными намерениями уже не смогут так легко управлять общественным мнением.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.