Size: a a a

2020 April 26

B

Brenoritvrezorkre in Lisp Forever
А есть статический лисп? И чтобы скорости были выше, чем у плюсов )
источник

AZ

Aydar Zarifullin in Lisp Forever
Brenoritvrezorkre
Но не так, чтобы (((())))
К любому редактору можно хайлай скобок прикрутить...
источник

SA

Sokolov Andrew in Lisp Forever
скорость выше чем у плюсов каких
источник

SA

Sokolov Andrew in Lisp Forever
уу плюсов которые в си стиле написаны?
источник

SA

Sokolov Andrew in Lisp Forever
довольно очевидн что обычно нет
источник

SA

Sokolov Andrew in Lisp Forever
потому что так вообще не бывает
источник

SA

Sokolov Andrew in Lisp Forever
но вон например есть библиотека pngload fast
источник

SA

Sokolov Andrew in Lisp Forever
на борще
источник

SA

Sokolov Andrew in Lisp Forever
она быстрее чем ее сишный аналог
источник

SA

Sokolov Andrew in Lisp Forever
патамушта вопы
источник

SA

Sokolov Andrew in Lisp Forever
все дела
источник

SA

Sokolov Andrew in Lisp Forever
но быстрее она на
...
не очень много
источник

LL

Lämppi Lütti in Lisp Forever
Brenoritvrezorkre
А есть статический лисп? И чтобы скорости были выше, чем у плюсов )
Карп, может быть
источник

B

Brenoritvrezorkre in Lisp Forever
Ну про плюсы шутка была на самом деле, но хотелось бы иметь достаточно быстрое
источник

B

Brenoritvrezorkre in Lisp Forever
Я вообще почему пришёл
источник

B

Brenoritvrezorkre in Lisp Forever
Вот создаю библиотеку на Coq, описывающую некоторое формальное исчисление
источник

B

Brenoritvrezorkre in Lisp Forever
Солвер реального времени писать лень, поэтому берём язык, который может
источник

B

Brenoritvrezorkre in Lisp Forever
Вот пока что допустим, что лямбда-пролог
источник

B

Brenoritvrezorkre in Lisp Forever
Но мне же ещё нужно передавать при использовании библиотеки конкретные команды в солверный язык
источник

B

Brenoritvrezorkre in Lisp Forever
И я подумал
источник