LINUX.ORG.RU

Да, никто так и не вспомнил про maxima, замечательную алгебраическую систему, написанную на Lisp.

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

> разворачиваем и читаем README. Поступаем как там написато. Если чёто непонятно/неполучяецо вежливо задаём конкретный вопрос на ЛОР в раздел Development

Дальше цитаты из README

===================================================================
> 2. Compile the Alien Function package and save a new sbcl.core image:

> $ cd sbcl-af
> $ sbcl --load "system"

$ sbcl --load "system"
This is SBCL 0.9.17, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>;.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.

debugger invoked on a SIMPLE-ERROR:
Error during processing of --eval option (LOAD #P"system"):

"system.lisp" does not exist.

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
0: [CONTINUE] Ignore and continue with next --eval option.
1: [ABORT ] Skip rest of --eval options.
2: Skip to toplevel READ/EVAL/PRINT loop.
3: [QUIT ] Quit SBCL (calling #'QUIT, killing the process).

((LAMBDA (SB-IMPL::E)) #<SB-INT:SIMPLE-FILE-ERROR {1002447B71}>)
0]

=================================================================
> - Make sure ASDF finds the system definition files:
>
> (push
> #+sbcl(truename #p"clg:systems")
> #+cmu(concatenate 'string (unix-namestring #p"clg:systems") "/")
> asdf:*central-registry*)

$ sbcl
This is SBCL 0.9.17, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>;.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (push
#+sbcl(truename #p"clg:systems")
#+cmu(concatenate 'string (unix-namestring #p"clg:systems") "/")
asdf:*central-registry*)

debugger invoked on a SB-INT:SIMPLE-FILE-ERROR:
The file "CLG:SYSTEMS" does not exist.

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT] Exit debugger, returning to top level.

(TRUENAME #P"CLG:SYSTEMS")
0]

====================================================================
> 3. Compile and load the system:
>
> (asdf:oos 'asdf:load-op :gtk)

$ sbcl
This is SBCL 0.9.17, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>;.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (asdf:oos 'asdf:load-op :gtk)

debugger invoked on a ASDF:MISSING-COMPONENT: component "gtk" not found

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT] Exit debugger, returning to top level.

(ASDF:FIND-SYSTEM :GTK T)
0]

====================================================================
> Казалось бы, что может быть проще?

Ну, даже не знаю. Поправлять будете?

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

> Да, никто так и не вспомнил про maxima, замечательную алгебраическую систему, написанную на Lisp.

Я вспоминал. Как вторую (после emacs) систему с Лиспом на моей машине. Еще вспоминали reduce, но я с ним знаком исключительно заочно. А вот столь нужная мне система формального логического вывода HOL, с которой я работаю чуть ли не каждую неделю, написана отнюдь не на Лиспе.

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

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

А я уже тут. И что?

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

Если уайтспейсом ты называешь Питон, то по сравнению с Лиспом он мэйнстрим. По сравнению с VB - не очень распространенный язык (но уже не маргинальный, как лет 8-10 назад).

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

> Error during processing of --eval option (LOAD #P"system"):

> "system.lisp" does not exist.

в sbcl-af есь файл system.lisp? или в каком-нибудь из подкаталогов? Откуда он вообще был скачан?

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

> Да, никто так и не вспомнил про maxima

> Еще вспоминали reduce

Поправьте меня, если ошибаюсь, но обе системы родом из 70-х годов, времен, когда Лисп считался единственным языком, пригодным для символических вычислений. Но это же 30 лет прошло...

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

> (defun foo (a b) (declare (optimize (speed 3) (safety 0) (debug 0))) (declare (type fixnum a b)) (+ a b))

> (defmacro bar (x y) `(foo ,x ,y))

> (format t "~D~%" (bar "a" "b"))

Сложновато для меня (а CL под рукой нет). В любом случаее - я не вижу проверки типов x и y в defmacro.

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

> А `cd sbcl-af` сделал?

Упс! Не сделал. Но теперь другая беда (собственно, это и было сразу,
просто когда писал на форум, уже вышел из каталога):

~/src/sbcl-0.8.21-af $ sbcl --load "system.lisp"
This is SBCL 0.9.17, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>;.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
; compiling file "/home/eugine/src/sbcl-0.8.21-af/static-vector.lisp" (written 20 APR 2005 10:37:40 PM):
; compiling (IN-PACKAGE "SB-ALIEN")
; compiling (EXPORT (QUOTE #))
; compiling (DEFSTRUCT (STATIC-VECTOR #) ...)
debugger invoked on a SIMPLE-ERROR:
Error during processing of --eval option (LOAD #P"system.lisp"):

Lock on package SB-INT violated when globally declaring the ftype of
MAKE-STATIC-VECTOR.
See also:
The SBCL Manual, Node "Package Locks"

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
0: [IGNORE-ALL ] Ignore all package locks in the context of this operation.
1: [UNLOCK-PACKAGE] Unlock the package.
2: [CONTINUE ] Ignore and continue with next --eval option.
3: [ABORT ] Skip rest of --eval options.
4: Skip to toplevel READ/EVAL/PRINT loop.
5: [QUIT ] Quit SBCL (calling #'QUIT, killing the process).

((LAMBDA (SB-IMPL::E)) #<SYMBOL-PACKAGE-LOCKED-ERROR {1002581E71}>)
0]

> Откуда он вообще был скачан?

Как было указано в README:
# A slightly modified version which works with SBCL 0.8.21 or newer
# could be found at
# http://jupiter.td.org.uit.no/lisp/sbcl-0.8.21-af.tar.gz

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

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

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

Хмм, что-то ты очень старое откопал - с последним sbcl работать не хочет...

Так лень тред отматывать - может повторишь - что ты хотел сделать? :) В смысле - к чему биндинг поставить.

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

можно попробовать unlock (ввести туда ":1") если непоможет проигнорировать (ввести ":0") если совсем ничё не помогло, прочитать инструкцию :D http://www.sbcl.org/manual/

Вообще, ИМХО с cmucl траблей меньше. Я ранее сравнивал и решил таки cmucl юзать.

bugmaker ★★★★☆
()
Ответ на: комментарий от ero-sennin

> Кстати о статической типизации, недавно нашёл один интересный лисп: http://lush.sourceforge.net/. В нём есть офигенно эффективный компилятор для статически типизированного кода. Если быть точным, генерируется код на C, и код получается обычно такой же, как я бы руками написал. Ну и что меня вообще добило, в программу на лиспе можно запросто делать вставки на С. :) Кто там хотел лисп с ассемблерными вставками? Да лехко! :D

Не, нам такого не надо. Макр нет, объектная система - хуже чем у тикля. А код на си генерируют gcl и ecl - почти полноценные CL-и :)

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

Я исправил ошибку с путем после своего поста. Вот где лежат исходники 
сейчас:

http://ignas.pov.lt/lambda-gtk_0.1.tar.gz

http://common-lisp.net/project/cffi/releases/cffi_0.9.2.tar.gz

Я не знаю, как конфигурируется в Генту, поэтому снеси 
поставленные тобой из ПОРТЕЖЕЙ lambda-gtk и cffi. Сделай, как я 
написал.

$ls ~/sbcl

lambda-gtk_0.1/ 
cffi_0.9.2/

$ls -l ~/.sbcl/systems

cffi.asd -> /home/<user>/sbcl/cffi_0.9.2/cffi.asd
lambda-gtk.asd -> /home/<user>/sbcl/lambda-gtk/lambda-gtk.asd
lambda-gtk-examples.asd -> /home/<user>/sbcl/lambda-gtk/lambda-gtk-examples.asd

Проверь обязательно правильность линков на *.asd-файлы в каталоге. Эти
линки -- это что-то вроде make-файлов (только на Лиспе). Там 
зависимости пакетов и пр. информация. Не ошибись в именах. Я в 
инструкции тебе опечатался и назвал пакет lambda-gkt-examples.


Заходи в sbcl и набери тогда уж (require 'lambda-gtk-examples). Должно
пойти. Я только что проверил у себя. Все отлично работает.


После компиляции запускай простую рисовалочку (scrible-simple) и др. 
примеры (см. выше). Это примеры из онлайн-учебника с gtk.org, кажется.

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

1. clg не единственный

2. clg (не clg2) - очень старый (по sf.net) - весьма возможны траблы именно поэтому.

3. возьми clg2 (он поновее) или cells-gtk - вроде наиболее динамичный на данный момент.

P.S. Сам с gtk ещё не связывался.

P.P.S. Могу ошибаться :)

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

Опять опечатки.

cffi.asd -> /home/<user>/sbcl/cffi_0.9.2/cffi.asd
lambda-gtk.asd -> /home/<user>/sbcl/lambda-gtk_0.1/lambda-gtk.asd
lambda-gtk-examples.asd -> /home/<user>/sbcl/lambda-gtk_0.1/lambda-gtk-examples.asd

И (scribble-simple)

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

> Макр нет

Всё там есть, только называется ни defmacro, а dm почему-то. :)

> А код на си генерируют gcl и ecl - почти полноценные CL-и. :)

Знаем мы, какой они код генерируют, это убиться проще! :D Ну и сишные вставки им и не снились, понятно.

Короче, lush - это такой лисп для задач с элементами числодробления. :) Там в комплекте и привязки к соответствующим библиотекам есть: GSL, FFTW, BLAS, LAPACK, MPI и т. д. По количеству баратеек для околонаучных расчётов он явно рулит.

ero-sennin ★★
()
Ответ на: комментарий от yyk

>3. возьми clg2 (он поновее) или cells-gtk - вроде наиболее динамичный на данный момент.

Я пробовал давно cells-gtk. Мне не понравилось. Там ему какой-то .so файл зачем-то нужен, который нормально не скомпилировался из C. Мрак. какой-то. Хотя сама идея cells мне нравится.

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

действительно, cells-gtk тоже совсем неплохой выбор.

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

Вот только gtk-cells с clisp не очень получяецо. Если в виджет передавать строки с кириллицей, будет "невозможно отконвертировать к инородному типу FFI:UCHAR". А с cmucl дык в самый раз.

bugmaker ★★★★☆
()

Тут была речь об инлайне? И в Лиспе есть. В компиляторах. :)

(declaim (inline f)) (defun f ...)

Кто-то спрашивал, во всех-ли реализациях оптимизация и типы? Все эти параметры оптимизации стандартом оговариваются. Реализовано не везде, а там, где это нужно: CMUCL, SBCL, Allegro CL, LispWorks. Это я знаю. по-моему, еще в Corman Lisp. Последнии три -- коммерческие, но есть бесплатные версии для личного пользования (по-моему). Насчет GCL и ECL не знаю. Не интересовался.

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

> Заходи в sbcl и набери тогда уж (require 'lambda-gtk-examples).

* (require 'lambda-gtk-examples)

; loading system definition from /home/eugine/.sbcl/systems/lambda-gtk.asd into
; #<PACKAGE "ASDF0">
; registering #<SYSTEM #:LAMBDA-GTK {1002B2CFF1}> as LAMBDA-GTK
; in: LAMBDA (SB-ALIEN::ARGS-POINTER SB-ALIEN::RESULT-POINTER FUNCTION)
; (FUNCALL FUNCTION #:G3 #:G4)
; --> #:G3 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure

; --> #:G4 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure
; in: LAMBDA (SB-ALIEN::ARGS-POINTER SB-ALIEN::RESULT-POINTER FUNCTION)
; (FUNCALL FUNCTION #:G17 #:G18 #:G19)
; --> #:G17 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure

; --> #:G18 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure

; --> #:G19 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure
; in: LAMBDA (SB-ALIEN::ARGS-POINTER SB-ALIEN::RESULT-POINTER FUNCTION)
; (FUNCALL FUNCTION #:G100)
; --> #:G100 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure
; in: LAMBDA (SB-ALIEN::ARGS-POINTER SB-ALIEN::RESULT-POINTER FUNCTION)
; (FUNCALL FUNCTION #:G224 #:G225)
; --> #:G224 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure

; --> #:G225 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure
;
; compilation unit finished
; printed 8 notes
NIL
* (scribble-simple)
; in: LAMBDA NIL
; (SCRIBBLE-SIMPLE)
;
; caught STYLE-WARNING:
; undefined function: SCRIBBLE-SIMPLE

;
; caught STYLE-WARNING:
; This function is undefined:
; SCRIBBLE-SIMPLE
;
; compilation unit finished
; caught 2 STYLE-WARNING conditions

debugger invoked on a UNDEFINED-FUNCTION:
The function SCRIBBLE-SIMPLE is undefined.

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT] Exit debugger, returning to top level.

("bogus stack frame")
0]

====================================================================

Первый вариант -- (asdf:operate 'asdf:load-op 'lambda-gtk-examples) -- тоже сработал, и тоже ни один из примеров не запускается. Кроме того, в упор не вижу, где здесь "по цепочке скомпилируется cffi, потом
lambda-gtk, потом lambda-gtk-examples".

eugine_kosenko ★★★
()
Ответ на: комментарий от ero-sennin

> Всё там есть, только называется ни defmacro, а dm почему-то. :)

Упс, прогнал... :) Но без `, :(

Да, наваяли не мало... Но и получили ещё один ни с чем не совместимый... Нет в жизни счастья :)

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

> Кто-то спрашивал, во всех-ли реализациях оптимизация и типы? Все эти параметры оптимизации стандартом оговариваются. Реализовано не везде, а там, где это нужно: CMUCL, SBCL ...

Я правильно понимаю, что можно писать статически типизированный код на Common Lisp, если использовать CMUCL или SBCL, и этот код - стандартен и воспринимается остальными реализациями CL (пусть даже проверки типов и не работают в остальных реализациях) ?

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

> Я правильно понимаю, что можно писать статически типизированный код на Common Lisp, если использовать CMUCL или SBCL, и этот код - стандартен и воспринимается остальными реализациями CL (пусть даже проверки типов и не работают в остальных реализациях) ?

Наверное тебе пора заглянуть в HyperSpec. А отличия от стандарта описаны в каждой реализации.

P.S. Если не умничая - да :)

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

Хм. Ничего не разберу. Попробуй сделать тогда по отдельности.

сначала просто (require 'cffi), а потом уже можно (require 'lambda-gtk) и (require 'lambda-gtk-examples). Портежи удалил?

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

> Да, наваяли не мало... Но и получили ещё один ни с чем не совместимый... Нет в жизни счастья :)

И ещё он скорее Lisp-1 нежели Lisp-2 (хотя, похоже, от обоих ещё дальше чем NewLisp).

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

> Наверное тебе пора заглянуть в HyperSpec.

Времени пока нет :/

> Если не умничая - да :)

Вот это "если" меня беспокоит, да :)

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

> И ещё он скорее Lisp-1 нежели Lisp-2 (хотя, похоже, от обоих ещё дальше чем NewLisp).

И они сами себя позиционируют как замену ... в том числе и схемы. CL в спсике нету (гы-гы, питон есть :)

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

> Вот это "если" меня беспокоит, да :)

Да я не от вредности 0 могу забыть/не знать чего. Банально, но "учите матчасть" :)

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

> сначала просто (require 'cffi)

* (require 'cffi)

NIL

> а потом уже можно (require 'lambda-gtk)

* (require 'lambda-gtk)

NIL

> и (require 'lambda-gtk-examples)

* (require 'lambda-gtk-examples)
; in: LAMBDA (SB-ALIEN::ARGS-POINTER SB-ALIEN::RESULT-POINTER FUNCTION)
; (FUNCALL FUNCTION #:G3 #:G4)
; --> #:G3 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure

; --> #:G4 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure
; in: LAMBDA (SB-ALIEN::ARGS-POINTER SB-ALIEN::RESULT-POINTER FUNCTION)
; (FUNCALL FUNCTION #:G17 #:G18 #:G19)
; --> #:G17 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure

; --> #:G18 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure

; --> #:G19 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure
; in: LAMBDA (SB-ALIEN::ARGS-POINTER SB-ALIEN::RESULT-POINTER FUNCTION)
; (FUNCALL FUNCTION #:G100)
; --> #:G100 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure
; in: LAMBDA (SB-ALIEN::ARGS-POINTER SB-ALIEN::RESULT-POINTER FUNCTION)
; (FUNCALL FUNCTION #:G224 #:G225)
; --> #:G224 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure

; --> #:G225 SB-ALIEN-INTERNALS:LOCAL-ALIEN SB-ALIEN-INTERNALS:NATURALIZE
; ==>
; (SB-ALIEN-INTERNALS:%SAP-ALIEN ALIEN
; '#<SB-ALIEN-INTERNALS:ALIEN-POINTER-TYPE (*
; T)>)
;
; note: unable to
; optimize
; because:
; could not optimize away %SAP-ALIEN: forced to do runtime
; allocation of alien-value structure
;
; compilation unit finished
; printed 8 notes

NIL

> Портежи удалил?

Да

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

Посыпаю голову пеплом! У меня версия lambda-gtk 0.2! Возможно, что 0.1 с cffi неправильно работает. Давай почту - я тебе залью, потому что я не помню, где взять исходники. По-моему, битая ссылка на common-lisp.net туда и вела. А сейчас что-то там не так. Сейчас вышлю и все должно заработать.

Zubok ★★★★★
()
Ответ на: комментарий от ero-sennin

> Кто-нибудь, пофлеймите немного про Lisp-1 vs Lisp-2

Или хоть скажите, что это такое, и чем один от другого отличается

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