The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

Выпуск SBCL 2.3.9, реализации языка Common Lisp

30.09.2023 21:27

Опубликован выпуск SBCL 2.3.9 (Steel Bank Common Lisp), свободной реализации языка программирования Common Lisp. Код проекта написан на языках Common Lisp и Си, и распространяется под лицензией BSD.

В новом выпуске:

  • Выделение стека через DYNAMIC-EXTENT теперь применяется не только к начальной привязке, но и ко всем значениям, которые может принимать переменная (например, через SETQ). Это позволяет, например, упростить построение сложных или рекурсивных структур в стеке через итерации.
  • Некоторые интерфейсы в модуле SB-POSIX приведены к соответствию спецификации и результат NULL от Си-библиотеки считается ошибкой тогда и только тогда, когда errno будет изменён вызовом. В этом случае будет порождён сигнал SYSCALL-ERROR.
  • Улучшена работа макросов DO-PASSWDS и DO-GROUPS в модуле SB-POSIX. Эти макросы предназначены для безопасной работы с базой данных паролей и групп.
  • Восстановлена поддержка платформ Darwin x86 и PowerPC (благодарим Кирилла А. Коринского, Сергея Фёдорова и barracuda156).
  • Исправлена неправильная компиляция, происходившая вследствие ошибочного вывода типа при умножении значений fixnum на дробные значения.
  • Исправлена ошибка компилятора, возникающая в некоторых случаях при проверке знаковых и беззнаковых 64-битных значений.
  • Исправлена ошибка компилятора в случае, когда аргумент ":INITIAL-CONTENTS" для MAKE-ARRAY является константой-не-последовательностью.
  • Исправлена ошибка компилирования функций свёртки в константу заданной последовательности при возврате ложного значения от функций ":TEST" или ":KEY".
  • Исправлена ошибка компиляции функций массива или последовательностей с аргументами, подразумевающих очень большие размеры последовательности.
  • Исправлена ошибка компилятора, возникающая в случае, когда не используется значение, возвращаемое от ADJUST-ARRAY.
  • Оптимизирован вывод типов функций компилятором, которые могут распространяться назад (propagated backwards) через промежуточное представление.
  • Улучшен вывод типов для LDB, LOGBITP и RATIO.
  • Внесены оптимизации, связанные с исключением лишних проверок границ для многих случаев транзитивных сравнений.


  1. Главная ссылка к новости (http://www.sbcl.org/news.html...)
  2. OpenNews: SystemE, шуточная замена systemd на Emacs Lisp
  3. OpenNews: Языку программирования LISP исполнилось 60 лет
  4. OpenNews: Представлен LISP/c - транслятор Common Lisp в C/C++
  5. OpenNews: Открыты исходные тексты Corman Lisp
  6. OpenNews: Реализация языка Lisp на GNU sed
Автор новости: 11123
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/59850-sbcl
Ключевые слова: sbcl, lisp
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (62) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (1), 22:31, 30/09/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –19 +/
    ((лисп) (это) ((эзотерический) ((на) (практике)) (никому) ((не) (нужный))) ((язык) (программирования)))))
     
     
  • 2.4, Аноним (4), 23:28, 30/09/2023 [^] [^^] [^^^] [ответить]  
  • +4 +/
    https github com gcc-mirror gcc blob master gcc common md CODE Common GCC... большой текст свёрнут, показать
     
     
  • 3.7, Аноним (7), 23:43, 30/09/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Лишь бы нормальный ЯП (Си/C++, парсер и вычислитель которых уже в gcc есть, как и в любом другом оптимизирующем компиляторе) не использовать.
     
  • 3.8, Анонимусс (?), 23:45, 30/09/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Оценка полезности лисп не изменилась ни на пункт
     
  • 3.39, eugener (ok), 12:52, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +9 +/
    Очень позитивный язык! Много улыбательных скобочек в конце функций! Это вам не грустный си с его хмуриками );
     
     
  • 4.69, Vernat (ok), 10:02, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Теперь я их везде вижу
     
  • 2.35, Аноним (35), 11:02, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    > ((лисп) (это) ((эзотерический) ((на) (практике)) (никому) ((не) (нужный))) ((язык) (программирования)))))

    Автокадовцам расскажи.

     
  • 2.45, Rodegast (ok), 14:12, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Ну почему же "никому не нужный"? Clojure вполне годный язык.
     
  • 2.71, Аноним (71), 12:27, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >эзотерический

    Это ты просто слаще редьки ничего не едал. По сравнению с malbolge лисп - это мейнстрим и попса.

     

  • 1.2, Аноним (2), 22:33, 30/09/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Common Lisp is used to develop research applications (often in Artificial Intelligence), for rapid development of prototypes or for deployed applications.

    А я думал только в емаксе, вот как мир оказывается устроен.

     
     
  • 2.3, Анонин (?), 23:15, 30/09/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Забавный язык для написания программ Artificial Intelligence на котором не написано ни одного Artificial Intelligence)))
     
     
  • 3.5, 11123 (?), 23:30, 30/09/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Давайте я погуглю за вас: https://github.com/search?q=neural%20network%20lisp&type=repositorie
     
     
  • 4.6, Анонин (?), 23:39, 30/09/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Впечатляет конечно, но какое отношение реализации neural network имеют к Artificial Intelligence?

    Или вы к нему относите все что сейчас модно называть AI?

     
     
  • 5.10, Vassya (?), 00:26, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > все что сейчас модно называть AI

    На лиспе и хачкеле не пишут даже это

     
  • 5.11, 11123 (?), 00:29, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >>но какое отношение реализации neural network имеют к Artificial Intelligence?

    https://www.britannica.com/technology/machine-learning
    >machine learning, in artificial intelligence (a subject within computer science), discipline concerned with the implementation of computer software that can learn autonomously.
    >Expert systems and data mining programs are the most common applications for improving algorithms through the use of machine learning. Among the most common approaches are the use of artificial neural networks (weighted decision paths) and genetic algorithms (symbols “bred” and culled by algorithms to produce successively fitter programs).

     
  • 5.76, Аноньимъ (ok), 16:23, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > реализации neural network имеют к Artificial Intelligence?

    Забавный вопрос.

    Интеллект - способность решать нетривиальные задачи (классификация кластеризация оптимизация итд.) которые в целом все сводимы к задаче оптимизации.

    Искусственный Интеллект - интеллект созданный людьми, как правило термин используется в контексте компьютерных систем.

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

     
     
  • 6.80, Cradle (?), 18:41, 02/10/2023 Скрыто ботом-модератором     [к модератору]
  • +/
     
     
  • 7.86, freehck (ok), 06:46, 06/10/2023 Скрыто ботом-модератором     [к модератору]
  • +/
     
     
  • 8.87, freehck (ok), 17:31, 17/10/2023 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 3.41, Аноним (41), 14:00, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +5 +/
    На Common Lisp написаны Maxima, Reduce, Axiom, и Fricas. И в Mathematica language внутри тоже lisp, хотя read-syntax инфиксный.

    Так что добрая половина всех живых программ для искусственного интеллекта написана на Lisp.

     
     
  • 4.56, Васян (?), 19:40, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А на Racket написан язык Idris
    Так же видел в некоторых проектах на раст его использование, как парсера
     
  • 3.48, Cradle (?), 14:36, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    "не написано ни одного Artificial Intelligence" - японцам раскажите, а то они не в курсе почему они до сих пор лидируют в мире по промышленной робототехнике, хотя в остальных сферах давно уже скисли.
     
     
  • 4.67, Нанонимус53 (?), 00:27, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    AI и промышленная робототехника - совершенно не связанные отрасли
     
     
  • 5.75, Аноньимъ (ok), 16:18, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Сильное заявление.
     
  • 2.14, Аноним (14), 01:11, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > А я думал только в емаксе, вот как мир оказывается устроен.

    гуглонька показала вот это: https://habr.com/ru/companies/typeable/articles/581488/
    там пачка проектов всяко-разных, включая проверку боингов или чё-то там.

     
     
  • 3.18, Бывалый смузихлёб (?), 06:00, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > включая проверку боингов

    тех боингов, которые оказались одним большим багом что всплыло по итогу кучи аварий ?

     
  • 2.37, Аноним (37), 11:29, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    В емаксе, внезапно, емакс лисп. Это немного другое.
     
     
  • 3.43, Аноним (41), 14:04, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Свежий emacs lisp мало отличается от cl. Разве что хвостовой рекурсии нет.
     
  • 2.52, Тот_ещё_аноним (ok), 15:28, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    И даже вебсервера
    https://github.com/fukamachi/woo
     

  • 1.9, Мда (?), 00:04, 01/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –2 +/
    Что-то новенькое... Надо посмотреть, а то мне Форта хватает так, что на все остальное и не смотрю.
     
     
  • 2.12, 11123 (?), 00:31, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А можно поинтересоваться: для чего применяете Форт и в какой среде разрабатываете?
     
     
  • 3.15, Аноним (14), 01:16, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • –5 +/
    Это человек так искромётно пошутил про что-то новенькое: фортран изобрели в 1957ом, а лисп -- в 1958ом, т.е. он на год новее фортрана.

    Фортран считается старейшим языком, лисп -- вторым среди старейших.
    (Третий -- кобол, 1959г).

    (Пруфы -- википедия).

     
     
  • 4.16, Аноним (16), 01:42, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Форт и Фортран это разные языки)
     
  • 4.23, Аноним (23), 06:17, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    И тем более старость или молодость никак не характеризует полезность языка, ни хорошо, ни плохо.
     
  • 3.81, Мда (?), 19:46, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Применение - над вашими головами летает и иногда делает "пииип". Среда - vim.
     
  • 2.47, Cradle (?), 14:29, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    "Форта хватает..." - а бы в курсе что Чак учился у Маккарти и как раз очень загорелся самой идеей его лиспа, только из чуства протеста по молодости решил сделать примерно тоже самое, конечно еще круче, поэтому ровно наоборот? А изза того что машинки у него доступны были хорошо послабее чем у мэтра, хотелось еще и что-то по производительнее, что тоже вполне удалось для условий того времени.
    Вобщем, инженер он был талантливый, но не очень дальновидный, и как органозатор тоже не очень. Как-то дальше вояджера его создание никуда не продвинулось.
     
     
  • 3.77, Аноньимъ (ok), 16:26, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Форт изобрёл Чак Норрис?
     
     
  • 4.78, Cradle (?), 18:24, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    ну почти: "Charles H. Moore, better known as Chuck Moore" :)
     
     
  • 5.82, Мда (?), 19:49, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Он сейчас интересные микросхемки делает, рекомендую.
     

  • 1.26, Ю.Т. (?), 07:04, 01/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Не столь давно (20 лет?) Схема ещё была стандартной частью пресловутого митовского курса информатики (красно-синий учебник).
     
     
  • 2.32, Аноним (32), 09:18, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    https://habr.com/ru/articles/282986/
     
     
  • 3.44, Аноним (41), 14:06, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    https://habr.com/ru/articles/542226/

     
  • 3.73, Ю.Т. (?), 14:41, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > https://habr.com/ru/articles/282986/

    Это мнение смотрится довольно сомнительно.
    Программирование именно НЕ похоже на науку, во всяком случае в том виде, о котором пишут рядом в том же тексте.
    А сама дискуссия, какая информатика нужна, повторяет старую-престарую дискуссию академики vs техники.

     
  • 2.46, Аноним (46), 14:16, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Читал его, там какая-то чушь
     

  • 1.27, Аноним (-), 07:55, 01/10/2023 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +1 +/
     

  • 1.36, pashev.ru (?), 11:15, 01/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    http://git.pashev.ru/mendeleev/tree/mendeleev.lisp

     
     
  • 2.51, Тот_ещё_аноним (ok), 15:26, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Для молодёжи
    https://github.com/hikettei/cl-waffe2

    Сравни со нодой, и да, в проде работает, именно стальная банка
    https://github.com/fukamachi/woo

     

  • 1.53, RTuser (?), 16:07, 01/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    более популярен GNU Common Lisp. на нём написаны Maxima, ACL2. Axiom.
    ACL2 вроде как использовала Sun для проверки правильности работы верификатора классов в Java.
     
     
  • 2.85, анан (?), 07:44, 04/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Сам лично запускал максиму на sbcl, clisp и gcl. Работает на всех трёх.
     

  • 1.57, Васян (?), 19:42, 01/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Как лиспер скажу, что лисп - это круто. Но в относительно немаленьких проектах скобочки начинают утомлять, особено когда функции становятся большими. Тут можно, как вариант, нужно весь функционал выносить в функции-помощники.
     
     
  • 2.60, Аноним (60), 20:50, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Разве лисперы не игнорируют скобочки, ориентируясь исключительно на отступы?
     
     
  • 3.61, Васян (?), 21:37, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Лисперы игнорируют скобочки, так как редакторы поддерживают авто баланс скобочек. Не знаю, как раньше без этого обходились.
    Я говорю о том, что сама структура кода становится плохая, как раз отчасти благодара форматированию. Если функция довольно большая, то это становится похож на какие-то узоры из игры "жизнь".
     
  • 2.64, Аноним (64), 22:57, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    скажи как лиспер, сколько ты зарабатываешь им (листом) и где?
     
     
  • 3.68, ДругВасяна (?), 09:35, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Зайди на извесиный сайт и посмотри сколько поедлагают Clojure программисту
     
  • 3.74, DildoZilla (?), 15:14, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > скажи как лиспер, сколько ты зарабатываешь им (листом) и где?

    Если прогера интересуют лишь деньги, то на мороз такого прогера. Рано или поздно продастся и предаст.

     
     
  • 4.79, Аноним (-), 18:32, 02/10/2023 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 4.84, Аноним (84), 20:36, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    во-первых, из вопроса выше не следует "лишь", но я понимаю, что икспертам опеннет недоступна элементарная логика высказываний

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

     
  • 2.66, Аноньимъ (ok), 23:14, 01/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Вы не видели кода как будто других яп.
    Там теже скобки в скобках в скобках.
     
  • 2.72, Аноним (71), 12:31, 02/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Не, ты не лиспер. Лиспер написал был DSL без скобочек, если уж так надо. А ты так, рядом проходил.
     

  • 1.62, Васян (?), 21:41, 01/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Но на лиспе прикольно и интересно решать алгоритмические задачи.
     
  • 1.65, Аноньимъ (ok), 23:12, 01/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Ну что. Молодцы. Хоть я и не приверженец коммон лиспа...
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2024 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру