May 09 2013

SBCL en emacs

Tag: mediumoverdrive @ 10:53 pm

sbcl63 SBCL es un  compilador para Common Lisp muy especial, que significa Steel Bank Common Lisp, algo asi como Banco de Acero de Common Lisp. SBCL es un compilador de alto rendimiento para CL que provee un entorno interactivo, un debugger, un profiler estadistico, herramientas de cobertura para codigo asi como otras muchas extensiones. SBCL tiene soporte para unicode asi como threading. El nombre de SBCL tiene origen en referencia a Carnegie Mellon University Common Lisp (CMUCL) del cual SBCL es un fork; Andrew Carnegie hizo su fortuna mediante la industria del acero y Andrew _Mellon fue un banquero exitoso.

El punto principal de divergencia en el tiempo en el que se creo este fork, fue un procedimiento de bootstrapping limpio: CMUCL requiere un binario compilado y ejecutable de si mismo para poder compilar el codigo fuente CMUCL, mientras que SBCL soporta bootstrapping de cualquier compilador que cumpla la implementacion de ANSI CL.

Lo cierto es que no difiere absolutamente nada de la configuracion de CLISP en emacs para emplear SBCL en el mismo entorno. Tan solo deberemos instalar y especificar donde se encuentra el binario SBCL de la misma forma que lo hicimos previamente con CLISP.

(setq inferior-lisp-program «/usr/bin/sbcl –noinform»)

Ahora bien, podemos instalar SBCL desde apt o nuestra aplicacion de control de paquetes favorita de manera bastante sencilla, o bien podemos probar la esencia de un compilador que se compila a si mismo. Nos valdria cualquier compilador que como ya hemos mencionado, cumpla el estandar ANSI CL, tambien podriamos usar el propio SBCL para compilar SBCL. En su dia ya lo explicamos para usar stumpwm (que puede usar o bien CLISP o bien SBCL) aunque aqui lo usamos para un proposito diferente y explicamos su esencia, asi que volveremos a hacerlo, aunque esta vez usando tan solo apt por rapidez.

Primero necesitaremos instalar ASDF (Another System Definition Format) que sirve para poder realizar instalaciones de distintas bibliotecas para CL, seria lo analogo a Make.

# apt-get install cl-asdf

Despues de instalar ASDF podemos realizar la instalacion de ciertas bibliotecas en las cuales estamos interesados como por ejemplo Cl-pcre (biblioteca de CL que brinda la oportunidad de usar expresiones regulares de Perl en CL, siendo compatible con dicho lenguaje, rapido y portable entre distintas implementaciones que siguen el ANSI CL, ademas de ser seguro para threads y permitiendo usar s-expressions para los regexp) y tambien instalaremos CLX (Biblioteca cliente para CL para el sistema estandar X Window, equivalente a Xlib para C, sin embargo CLX esta escrito completamente en CL y no usa Xlib. CLX ademas contiene tipos de datos, funciones y macros para interactuar con el servidor de las X mediante el envio de peticiones y recepcion de eventos y sus respuestas.

# apt-get install sbcl

# apt-get install cl-ppcre

# apt-get install cl-clx-sbcl

 Ahora ejecutemos emacs y dentro del mismo ejecutemos M-x run-lisp, podemos ver el resultado del siguiente codigo CL interpretrado:

Selection_027

Se puede encontrar el manual completo de SBCL en su web oficial, asi como un manual que describe como esta implementado.


May 09 2013

CLISP en emacs

Tag: mediumoverdrive @ 3:10 pm

clisp CLISP es una implementacion de Common Lisp realizada por Bruno Haible originalmente. Dicha implementacion provee del compilador que soporta el estandar ANSI Common Lisp ademas de muchas otras extensiones. CLISP incluye en si el interprete, compilador, un debugger, CLOS (para objectos), MOP (MetaObject Protocol), una interfaz al lenguaje ajena, internacionalizacion o i18n, POSIX, soporta expresiones regulares Perl, provee tambien de interfaz para sockets, bignumbers de forma rapida, precision flotante arbitraria y mucho mas. Existe una interfaz para X11 mediante CLX, Garnet y CLUE/CLIO. Edicion por linea de comandos mediante readline. CLISP ademas corre Maxima (el unico lenguaje programado de manera completa por John McCharthy en el MIT, que es la implementacion mas antigua (Recursive Functions of Symbolic Expressions and Their Computation, Part I Communications of the ACM, Vol. 3, April 1960, pp. 184-195), ACL2 y muchos otros paquetes adicionales de Common Lisp. Para mas informacion, podeis ver la pagina oficial de CLISP.

Para instalar CLISP tan solo debemos hacer lo siguiente, bajar el source y compilar o bien instalarlo con nuestra herramienta de control de paquetes como apt-get o similares. Como podemos ver, tenemos distintos paquetes adicionales para acceder a low level sockets, bases de datos, etc. que nos pueden interesar:

Selection_023

Nos disponemos a instalar CLISP, los ficheros de desarrollo y su documentacion:

# apt-get install clisp clisp-dev clisp-doc

Una vez lo tenemos instalado, ya podemos ejercutarlo y comenzar a probarlo de la siguiente manera desde dentro de emacs, aunque obviamente tambien podemos ejecutar el comando clisp desde consola. Primero debemos incluir la siguiente linea en nuestro .emacs:

(setq inferior-lisp-program «/usr/bin/clisp»)

Algunos de los keybindings importantes son los siguientes:

C-M-x : envia automaticamente el codigo lisp al interprete CLISP, lo evalua y muestra el resultado.

C-c C-l : lee un fichero, lo envia al interprete, lo compila y muestra el resultado.

C-x C-e : evalua la ultima s-expresion en lisp.

C-c C-d : muestra la tabla de simbolos en lisp.

C-c C-f : muestra la documentacion de lisp para dicha funcion.

Aqui podemos ver como vamos evaluando el codigo de un buffer en CLISP en la siguiente ventana directamente. Tambien podemos ver como podemos al mismo tiempo, escribir codigo sobre el interprete lisp si asi lo deseamos, asi que podemos combinar ambas opciones.

Selection_025

Ademas de ello, si nos equivocamos en la sintaxis, CLISP entrara en modo debug, para poder depurar el problema, si queremos salir de dicho nivel, podemos ejecutar :q o bien podemos ejecutar help para ver la lista de opciones para el debugger, algunas interesantes como :r para subir al anterior nivel.

COMMAND        ABBR     DESCRIPTION

Error          :e      imprime el ultimo mensaje de error
Inspect        :i       inspecciona el ultimo error
Abort          :a       aborta el siguiente input loop
Quit           :q       sale al nivel mas alto del input loop
Where          :w       inspecciona este frame
Up             :u       sube un frame arriba y lo inspecciona
Top            :t       va al frame de mas arriba y lo inspecciona
Down           :d       baja un frame abajo y lo inspecciona
Bottom         :b       baja al frame de mas abajo y lo inspecciona
Mode mode      :m       hace set del modo de backtrace

1= para todos los elementos

2= para todos los frames

3= solo frames lexicos

4= solo frames de EVAL y APPLY (por defecto)

5= solo frames de APPLY

Backtrace [mode [limite]] :bt  inspecciona el stack

Break+         :br+     Activa breakpoint en un frame EVAL
Break-         :br-     Desactiva breakpoint en un frame EVAL
Return value   :rt      deja un frame EVAL, prescribiendo los valores de retorno
The following restarts are available:
USE-VALUE      :R1      Usa un valor a ser usado en lugar del actual
ABORT          :R2      Aborta el loop principal

Aqui podemos ver un ejemplo de CLISP entrando en el debugger:

Selection_026

 


May 09 2013

Geiser en emacs: scheme

Tag: mediumoverdrive @ 9:33 am

Racket_logo Hace un tiempo comentabamos los distintos principales dialectos que existen en lisp y la forma de evaluar codigo. Sin embargo hoy nos centraremos en scheme, que en su dia ya explicamos como evaluar lisp. Principalmente se puede hacer de 2 formas, evaluando el buffer o expresiones escritas en el buffer, o bien de forma interactiva. Para evaluar en el buffer directamente podemos hacer: C-x C-e. Sin embargo, si queremos realizarlo de forma interactiva podemos instalar y configurar Geiser.

Primero descargamos Geiser, que no es mas que un wrapper para el compilador o compiladores de scheme:

$ git clone git://git.sv.gnu.org/geiser.git

Tambien debemos instalar el compilador en si mismo, generalmente tenemos 2 variantes, racket y guile. Las diferencias entre estos dos interpretes y compiladores se pueden encontrar en sus web oficiales. En mi caso uso Racket, anteriormente llamado PLT Scheme. La plataforma provee de la implementacion de racket language, incluyendo un sofisticado sistema run-time, diferentes bibliotecas, un compilador JIT, etc. Se provee del entorno llamado DrRacket (anteriormente llamado DrScheme) que esta escrito en racket en si mismo. Para instalar racket o guile hacemos lo siguiente:

# apt-get install racket

o

# apt-get install guile-2.0

Debemos anadir la siguiente configuracion a nuestro .emacs (en mi caso yo uso racket):

(load-file «~/geiser/elisp/geiser.el»)
(setq geiser-racket-binary «/usr/bin/racket»)

Ahora ya podemos lanzar M-x geiser y seleccionar seguidamente racket.

repls

Racket y GNU/Guile

repl-images

Un ejemplo de la potencia de racket

Probemos algo de codigo de scheme:

Selection_021

Ya lo tenemos listo, ahora ya podemos comenzar a jugar con scheme de manera interactiva dentro de emacs. Existe un listado completo de keybindings para geiser. Sin embargo, podemos emplear el menu que trae emacs para ver y usar los keybindings mas importantes o frecuentes:

geiser-mode

Y esto es todo, si quereis realmente jugar y aprender con scheme, podeis comprar posiblemente uno de los mejores, sino el mejor libro para aprender; «The little schemer». Anteriormente ya hablamos de un libro muy avanzado,; el SICP. Pero que realmente es un libro para aprender programacion en si, pero que usa scheme como lenguaje educacional.


Página siguiente »