Оптимизации в Common Lisp

Лисп можно докрутить до оптимизаций круче C++ на самом деле.

Да, можно порвать жопу, но зачем? Есть сишечка у которой с оптимизацией все замечательно из коробки, так и в чем же сакральный смысл оптимизации через страдания? Зачем, чтобы что и во имя чего?

Any sufficiently complicated C or Fortran program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp.

Так вот почему начались протесты в Грузии :)

можно наверн и до ассемблерной оптимизации, но зачем ?? :)
язык высокого уровня не про оптимизация, а про полную отвлеченность от низовой работы с оптимальным выполнением программы.
програмист должон творить аки художникъ, а не впахивать аки каменщик на стройке !!111

п.с.: накину на вентилятыр :)

лавсан всю чачу выпил

А почему видео такое шакальное?

у меня в москве ютюп не кажет.

Залил бы на свободный хостинг, не у всех же YT работает.

Как-то скучно, без огонька. Надо было Обезьяна в чат позвать 🤜🤛, порвали бы тусовочку. Ну и да, если подождать, пока стандарт распухнет еще больше, то станет еще легче обгонять типичный си-плас-плюс 😊.

Залил бы на свободный хостинг, не у всех же YT работает.

Да надо пораньше записаться.

monk а я тебе говорил, что надо вычислять фибоначи в цикле!

Лисп можно докрутить до оптимизаций круче C++ на самом деле.

Да каеш, лол. Ещё скажи что на нём программировать можно.

Щас бы на лиспе писать циклы.

Вброшу. Линукс тут причем?

Парни на Fprog/Tbilisi позвали

Так вот онм какие, тбилисские квир-коммуны.. 🤭

Какое страдание в оптимизации, гспбж)

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

SBCL работает на Линукс, очевидно же.

Тормозит, только заставку кажет. Залей на нормальный хостинг!

Мы не выразительный язык делаем быстрым, а быстрый — выразительным.

Python?

Ну что поделаешь, как морская свинка.

Так вот почему ШГ!

Надо было Обезьяна в чат позвать

Ну, Ловсан нормально все рассказал и я бы точно не стебался и не мешал ему, всему свое время и место.

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

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

Комментаторы выше, которые недоумевают зачем это делать, не осознают что оптимизация по нескольким направлениям на выбор это МОЩЬ. Чтобы это понять надо столкнуться с HPC где сокращение инструкций проца дает ощутимый выигрыш во времени и деньгах.

Лично мне по теме его доклада было бы интересно параллельное сравнение показанного с кложей (можно также, нельзя, можно но с костылями), но я понимаю что это гораздо более длинный и серьезный разговор.

Чтобы сразу было медленно и невыразительно?

Я посмотрел только начало, но почему эти простые оптимизации (рекурсия в цикл, инлайны и тп) не делает сам язык, как ocaml, haskell и сишка?

почему эти простые оптимизации (рекурсия в цикл, инлайны и тп) не делает сам язык, как ocaml, haskell и сишка?

На вопросы из зала пусть отвечает докладчик :)

Есть сишечка у которой с оптимизацией все замечательно из коробки

Настолько всё замечательно из коробки что на многих типичных задачах у сишечки производительность хуже чем у крестов.

Лисп можно докрутить до оптимизаций круче C++ на самом деле.

Всмысле на лиспе можно круче цикл написать (для подсчёта чисел Фибоначчи), чем на С++? Весь видос не смотрел, там 9 часов. Какие там конкретно примеры оптимизаций круче С++?

там ближе к конце рассказывается

в MSVC++ например убрали встроенный ассемблер, а в лиспе он есть

Настолько всё замечательно из коробки что на многих типичных задачах у сишечки производительность хуже чем у крестов.

Потому что эти задачи в C++ уже в стандартную библиотеку зашиты. А в C стандартной библиотеки – кот наплакал, и каждый сишник пишет с нуля половину STL сам и таскает с собой копипастой в каждый проект.

MSVC

Ну так себе. Страдать с оптимизациями на уровне встроенного ассемблера имеет смысл либо на сервере (а там линупс), либо в библиотеках вроде кодеков или TLS (а там нет лиспов).

CL это такая штука, которую блоб на сишке конвертирует в сишку? Я просто разобраться.

В дырявой сишке есть к примеру оптимизатор хвостовых рекурсий, например в гцц?

Ссылки на ютуб даже не пытаюсь открыть…

С момента знакомства с Lisp’ом хочу lisp для совсем мелких однокристаллок. Типа всяких PIC10/12/16/18 и прочих ATTiny. Вот прям кондовую лисповую функциональщину хочу - функцию с кучей скобочек написал, у которой на входе список состояния входных PIO, а на выходе список состояния выходных PIO и лепота.

Такой вот оптимизации не завезли ещё?

у GCC такой «лисп» под капотом

Благодарю! Очень полезный доклад. Я много нового узнал. Спасибо, что популяризируешь Common lisp! В русскоязычном интернете маловато столь детальной и конкретной информации.

Хочу познакомиться с Common lisp на практике. Реализовать небольшой проект. Можешь подсказать, есть ли какая-то библиотека, чтобы сделать web-gui? Уточню, что мне потребуется в пользовательском интерфейсе возможность авторизации пользователей, работа с текстом и графикой (схемы, пока 2D, но на перспективу было бы классно иметь возможность работать с 3D в браузере из lisp бэкенда). Заранее благодарю 🙏🏻

есть ли какая-то библиотека, чтобы сделать web-gui?

CLOG

сравнение показанного с кложей

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

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

Почему с с кложей а напрмер ракетом или схемой?

А еще был же лисп поверх бима(вм ерланга)

Давно tail recursion в цикл раскручивается.

http://www.ulisp.com/

Спасибо!🙏

ты в тбилиси сидишь?

Да, имел виду кложу сидящую на JVM. Варианты сидения на стульях .Net/JS в данном контексте не особо интересны ибо низкоуровневая оптимизация под них это кек по определению.

Почему с с кложей а напрмер ракетом или схемой?

Потому что мне лично интересны низкоуровневые оптимизации в Clojure т.к. выбрал ее для одного из своих хобби проектов в HPC, она просто лучше подходит при прочих равных под задачу.

Знаю и даже пробовал. Но оно жирновато для какого-нибудь PIC16F84 или даже для PIC18F1320.

Есть отдельно запись доклада?

Отвратительны звук. Ещё и Visual studio code.

Отвратительны зву

а что в нём плохого?

Ещё и Visual studio code.

а я видел только емакс