May 21 2013

SLIME: uso basico y medio

Tag: mediumoverdrive @ 10:49 pm

Si en el articulo anterior explicabamos la instalacion y configuracion de SLIME. En este articulo explicaremos los keybidings fundamentales y algunos mas para poder sentirnos confortables usando SLIME. Clasificaremos los keybidings segun el uso que se le de o la familia a la que pertenezcan.

Evaluacion

Los comandos de evaluacion muestran el resultado en el area echo, aunque empleados usando prefijos, causara que se inserte el resultado en el buffer actual.

C-x C-e : ‘slime-eval-last-expression‘ ; evalua la expresion antes del cursor.

C-M-x : ‘slime-eval-defun‘ ; evalua el buffer a modo toplevel.

C-c : : ‘slime-interactive-eval‘ ; evalua la expresion leida desde el minibuffer.

C-c C-r : ‘slime-eval-region‘ ; evalua la region.

C-c C-p : ‘slime-pprint-eval-last-expression‘ ; evalua la expresion anterior e imprime el resultado en un nuevo buffer.

C-c E : ‘slime-edit-value‘; edita el valor en un nuevo buffer con la forma *Edit <form>*. El valor es insertado en un buffer temporal para la edicion y asignado en Lisp para cuando sea committeado mediante C-c C-c.

C-x M-e : ‘slime-eval-last-expression-display-output‘ ; muestra el buffer de salida y evalua la expresion al punto precedido. Esto es util si la expresion escribe algo en el stream de salida.

C-c C-u : ‘slime-undefine-function‘ ; un-define una funcion, con fmakunbound, para el simbolo que se encuentra en el punto actual.

Compilacion

C-c C-c : ‘slime-compile-defun‘ ; Compila en la forma top-level en el punto actual. La region parpadeara para dar feedback de que parte fue seleccionada. Si se le pasa un argumento positivo, sera compilado con el maximo nivel de debug, si el argumento dado es negativo, sera compilado optimizando la velocidad. El comando escribira la region en un fichero, compilara dicho fichero y cargara el codigo resultante.

C-c C-k : ‘slime-compile-and-load-file‘ ; Compila y carga el fichero fuente del buffer actual. Si el paso de compilacion falla, el fichero no sera cargado.

C-c M-k : ‘slime-compile-file‘ ; Compila pero no carga el fichero fuente del buffer actual.

C-c C-l : ‘slime-load-file‘ ; Carga un fichero Lisp. Este comando usa la funcion LOAD de CL.

(sin keybinding asignada) : ‘slime-compile-region ; Compila la region seleccionada.

M-n : ‘slime-next-note‘ ; Mueve el puntero a la siguiente nota de compilacion y muestra dicha nota.

M-p : ‘slime-previous-note‘ ; Mueve el puntero a la anterior nota de compilacion y muestra dicha nota.

C-c M-c : ‘slime-remove-notes‘ ; Elimina todas las anotaciones del buffer.

C-x ` : ‘next-error‘ ; Visita el siguiente mensaje de error. (No es realmente un comando SLIME).

Completado

M-TAB : ‘slime-complete-symbol‘ ; Completa el simbolo en el punto actual. Existen 3 modos de autocompletado disponible en SLIME; por defecto es similar al autocompletado normal existente en Emacs.

Busqueda de definiciones o Meta-Point

M-. : ‘slime-edit-definition‘ ; Se desplaza a la definicion del simbolo del puntero actual.

M-, o M-* : ‘slime-pop-find-definition-stack‘ ; Se desplaza hacia atras donde M-. fue invocado. Esto da un multi-nivel de backtracking cuando M-. haya sido usado en distintas ocasiones.

C-x 4 . :slime-edit-definition-other-window‘ ; Como slime-edit-definition, pero cambia a otra ventana para editar la definicion.

C-x 5 . :slime-edit-definition-other-frame‘ ; Como slime-edit-definition, pero cambia a otro frame para editar la definicion.

(sin keybiding asignada) : ‘slime-edit-definition-with-etags‘ ; Emplea una tabla ETAGS para encontrar la definicion en el punto actual.

Documentacion

SPC : ‘slime-space‘ ; Inserta un espacio, pero al mismo tiempo busca y muestra la lista de argumentos de la funcion en el punto actual.

C-c C-d d : ‘slime-describe-symbol‘ ; Describe el simbolo en el punto actual.

C-c C-f : ‘slime-describe-function‘ ; Describe la funcion en el punto actual.

C-c C-d a : ‘slime-apropos‘ ; Realiza una busqueda apropos en los nombres de simbolos Lisp para encontrar una expresion regular y mostrar las cadenas de documentacion. Por defecto son buscados todos los simbolos externos de todos los paquetes. Mediante el uso de prefijos es posible escoger un paquete especifico.

C-c C-d z : ‘slime-apropos-all‘ ; Como slime-apropos pero buscatam bien por defecto en los simbolos internos.

C-c C-d p : ‘slime-apropos-package‘ ; Muestra los resultados de apropos de todos los simbolos de un paquete. Este comando es empleado para buscar un paquete a alto nivel.

C-c C-d h : ‘slime-hyperspec-lookup‘ ; Busca el simbolo en el punto actual en la Hyperspec Common Lisp.

C-c C-d ~ : ‘common-lisp-hyperspec-format‘ ; Busca un caracter de formato en la Hyperspec Common Lisp.

Referencia cruzada (cross-reference)

Los comandos de referencia cruzada de SLIME estan basados en el soporte dado por el sistema Lisp, lo cual puede variar entre Lisps. Para los sistemas construidos sin soporte XREF para peticiones SLIME, los cuales son tomados desde el repositorio CMI AI y manejados con SLIME.

C-c C-w c : ‘slime-who-calls‘ ; Muestra las funciones que llaman a la funcion actual.

C-c C-w w : ‘slime-calls-who‘ ; Muestra las funciones que son llamadas desde la funcion actual.

C-c C-w r : ‘slime-who-references‘ ; Muestra las referencias a la variable global.

C-c C-w b : ‘slime-who-binds‘ ; Muestra los bindings a la variable global.

C-c C-w s : ‘slime-who-sets‘ ; Muestra las tareas a la variable global.

C-c C-w m : ‘slime-who-macroexpands‘ ; Muestra expansiones de una macro.

(sin keybiding asociada) : ‘slime-who-specializes‘ ; Muestra todos los metodos conocidos especializados en una clase.

Existen tambien comandos callers y callees, que operan sobre objectos de funciones en el monticulo a bajo nivel para descubrir el grafo de llamadas. Estos estan solo disponible en algunos sistemas Lisp, y son mas utiles como fallback cuando se requiere informacion XREF que no esta disponible.

C-c < : ‘slime-list-callers‘ ; Lista las funciones que llaman.

C-c > : ‘slime-list-callees‘ ; Lista las funciones que son llamadas.

Expansion de macros

C-c C-m : ‘slime-macroexpand-1‘ ; Hace expansion de macro de la expresion en el punto actual. Si es invocado con argumentos, usa macroexpand en lugar de macroexpand-1.

C-c M-m : ‘slime-macroexpand-all‘ ; Expande la macro completamente de la expresion en el punto actual.

(sin keybinding asociada) : ‘slime-compiler-macroexpand-1‘ ; Muestra la expansion macro del compilador de una s-expression en el punto actual.

(sin keybinding asociada) : ‘slime-compiler-macroexpand‘ ; Repetidamente expande macros del compilador de una s-expression en el punto actual.

Desensamblado

C-c M-d : ‘slime-disassemble-symbol‘ ; Desensambla la definicion de la funcion de un simbolo en el punto actual.

C-c C-t : ‘slime-toggle-trace-fdefinition‘ ; Hace toggle de trazas de la funcion en el punto actual. Si es invocado con prefijos, lee informacion adicional, como por ejemplo que metodo particular debe ser trazado.

(sin keybinding asociada) : ‘slime-untrace-all‘ ; Elimina las trazas para todas las funciones.

Abortaje y recuperacion

C-c C-b : ‘slime-interrupt’ ; Interrumpe Lisp (envia SIGINT).

(sin keybinding asociada) : ‘slime-restart-inferior-lisp‘ ; Reinicia el proceso inferior-lisp.

C-c ~ : ‘slime-sync-package-and-default-directory‘ ; Sincroniza el paquete actual y el directorio de trabajo desde Emacs a Lisp.

C-c M-p :slime-repl-set-package‘ ; Establece el paquete actual del REPL.

(sin keybinding asociada) : ‘slime-cd‘ ; Establece el directorio actual del proceso Lisp. Esto ademas cambia el directorio actual del buffer REPL.

(sin keybinding asociada) : ‘slime-pwd‘ ; Muestra el directorio actual del proceso Lisp.

Inspeccion

El inspector SLIME es una alternativa basada en la funcion standar INSPECT de Emacs. El inspector de objetos de buffer en Emacs usa una combinacion de texto plano, hiperenlaces hasta relacion de objetos. El inspector puede ser especializado para objetos de nuestros propios programas, para ello se debe indagar en la funcion generica inspect-for-emacs del fichero swank-backend.lisp.

C-c I : ‘slime-inspect‘ ; Inspecciona el valor de una expresion insertada en el minibuffer.

RET : ‘slime-inspector-operate-on-point‘ ; Si el punto actual es un valor, entonces el inspector es llamado de forma recursiva sobre el valor. Si nos encontramos en una accion, entonces sera llamada dicha accion.

d : ‘slime-inspector-describe‘ ; Describe el slot en el punto actual.

v : ‘slime-inspector-toggle-verbose‘ ; Hace toggle entre el modo verbose (detallado) y terse (conciso). El valor por defecto viene determinado por swank:*inspector-verbose*.

l : ‘slime-inspector-pop‘ ; Se desplaza hacia el objeto anterior. (De vuelta desde RET).

n : ‘slime-inspector-next‘ ; La inversa de l.

q : ‘slime-inspector-quit‘ ; Sale del buffer inspector.

M-RET : ‘slime-inspector-copy-down‘ ; Almacena el valor bajo el punto actual en la variable *. Este puede ser entonces usado para el acceso al objeto en el REPL.

Profiling

(sin keybinding asociada) : ‘slime-toggle-profile-fdefinition‘ ; Hace toggle de profiling de una funcion.

(sin keybinding asociada) : ‘slime-profile-package‘ ; Hace profiling de todas las funciones de un paquete.

(sin keybinding asociada) : ‘slime-unprofile-all‘ ; Elimina el profiling de todas las funciones.

(sin keybinding asociada) : ‘slime-profile-report‘ ; Realiza un reporte de los datos del profiler.

(sin keybinding asociada) : ‘slime-profile-reset‘ ; Resetea los datos del profiler.

(sin keybinding asociada) : ‘slime-profiled-functions‘ ; Muestra la lista de las funciones actuales incluidas en el profiler.

Comandos shadowed

C-c C-a, M-x slime-nop : Estos comandos son ocultos desde inf-lisp.

C-c C-v, M-x slime-nop : Estos comandos son ocultos desde inf-lisp.

Indentacion semantica

SLIME automaticamente descubre como identar macros en nuestro sistema Lisp. Para realizar esta accion en el lado de Lisp son escaneadas todas las macros del sistema y son reportadas a Emacs todas aquellas que contengan el argumento &body. Emacs identa estas especialmente, poniendo al principicio 4 espacios para los argumentos y dos espacios para el body. En caso de que esto no funcionase por la razon de que SLIME no fuese capaz de distinguir entre macros y los nombres de simbolos, se puede ver que simbolos son envueltos en colisiones mediante:

(swank:print-indentation-lossage)

Tan solo hay que anular los simbolos Elisp mediante la propiedad common-lisp-indent-function a nuestro modo. SLIME no anulara ni sobreescribira nuestras opciones personalizadas.

Lisp automaticamente escanea cada simbolo para los cambios en la identacion justo despues de cada comando de Emacs. Sin embargo, esto es demasiado costoso para realizar cada vez, por lo que Lisp usualmente escanea simbolos los cuales coinciden con el paquete local que es usado por el buffer de Emacs. Esto suele funcionar bien y suele ser suficiente para la gran mayoria de macros definidas de forma interactiva, pero para capturar el resto, se realiza un escaneo completo de simbolos cada vez que un paquete Lisp nuevo es creado entre comandos. El siguiente comando puede ser empleado cuando sea necesario:

(sin keybiding asociada) : ‘slime-update-indentation‘ ; Fuerza todos los simbolos a ser escaneados para la informacion de indentacion.

Fontificacion condicional del reader

SLIME evalua automaticamente expresiones condicionales para el reader, como #+linux, en buffers de codigo y atenua las partes que seran ignoradas por la conexion actual Lisp.

Con toda esta lista de funciones y keybidings fundamentales y algunas otras, es posible moverse comodamente en frente de este magnifico modo para desarrollar en Lisp. Aunque este modo ofrece aun mas posibilidades avanzadas que seran descritas en nuestro siguiente post.