Programacion Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen
Programaci on b asica en Lisp

Pedro J. Morales Digital Audio & Computer Music Laboratory. UCLM
July 29, 2007
PJM
Objetivos Historia de Lisp Programaci on Resumen
PJM
Objetivos
Aproximaci on hist orica.
PJM
Objetivos
Aproximaci on hist orica. Programaci on b asica.
PJM
Aproximaci on hist orica
1960. John McCarthy publica un estudio crucial para la programaci on.
PJM
1960. John McCarthy publica un estudio crucial para la programaci on. Con unos pocos operadores y notaci on para funciones se puede construir un lenguaje.
PJM
1960. John McCarthy publica un estudio crucial para la programaci on. Con unos pocos operadores y notaci on para funciones se puede construir un lenguaje. Llam o al lenguaje LISP, por List Processing
PJM
1960. John McCarthy publica un estudio crucial para la programaci on. Con unos pocos operadores y notaci on para funciones se puede construir un lenguaje. Llam o al lenguaje LISP, por List Processing Usaba la lista como estructura para representar tanto datos como programas.
PJM
El descubrimiento de McCarthy es un hito en la historia de la programaci on. . .
PJM
El descubrimiento de McCarthy es un hito en la historia de la programaci on. . . . . . tambi en es un modelo que marca la tendencia de los lenguajes actuales.
PJM
El descubrimiento de McCarthy es un hito en la historia de la programaci on. . . . . . tambi en es un modelo que marca la tendencia de los lenguajes actuales. Hay dos modelos: C y Lisp
PJM
El descubrimiento de McCarthy es un hito en la historia de la programaci on. . . . . . tambi en es un modelo que marca la tendencia de los lenguajes actuales. Hay dos modelos: C y Lisp Los lenguajes dise nados en los u ltimos 20 a nos se basan en el modelo de C al que a naden partes de Lisp.
PJM
Lisp es un lenguaje congurable
Lisp es el lenguaje m as antiguo que se mantiene activo.
PJM
Lisp es el lenguaje m as antiguo que se mantiene activo. Lisp se puede programar en Lisp.
PJM
Lisp es el lenguaje m as antiguo que se mantiene activo. Lisp se puede programar en Lisp. Lisp se adapta a cualquier paradigma de programaci on.
PJM
Lisp en la actualidad
Hay diversas variantes que se han decantado en dos dialectos.
PJM
Hay diversas variantes que se han decantado en dos dialectos. Common Lisp es la variante maximalista.
PJM
Hay diversas variantes que se han decantado en dos dialectos. Common Lisp es la variante maximalista. Scheme es minimalista.
PJM
Aplicaciones
Adem as de las implementaciones de Lisp como lenguaje, las versiones m as peque nas
PJM
Aplicaciones
Scheme
PJM
Aplicaciones
Scheme Subconjuntos de Common Lisp: XLisp, elisp.
PJM
Aplicaciones
Se empotran en aplicaciones espec cas como lenguajes de scripts
PJM
Aplicaciones

Emacs, editor de texto, elisp.
PJM
Aplicaciones

Emacs, editor de texto, elisp. GIMP, editor de gr acos, Scheme.
PJM
Aplicaciones

Emacs, editor de texto, elisp. GIMP, editor de gr acos, Scheme. Audacity, editor de audio, Nyquist (XLisp).
PJM
Aplicaciones

Emacs, editor de texto, elisp. GIMP, editor de gr acos, Scheme. Audacity, editor de audio, Nyquist (XLisp). LilyPond, partituras musicales, Scheme.
PJM
Aplicaciones

Emacs, editor de texto, elisp. GIMP, editor de gr acos, Scheme. Audacity, editor de audio, Nyquist (XLisp). LilyPond, partituras musicales, Scheme. AutoCAD, dise no t ecnico, AutoLisp (XLisp).
PJM
Expresiones en Lisp
Expresiones Lisp eval ua expresiones.
PJM
Expresiones en Lisp
Expresiones Lisp eval ua expresiones. Una expresi on es:
PJM
Expresiones en Lisp

Un atomo
PJM
Expresiones en Lisp

Un atomo Una lista.
PJM
Tipos b asicos de datos

Atomos Num ericos:
Listas
PJM

Atomos Num ericos: 7, 12.0, 3.1415
Listas
PJM

Atomos Num ericos: 7, 12.0, 3.1415 S mbolo: Secuencia de caracteres alfanum ericos
Listas
PJM

Atomos Num ericos: 7, 12.0, 3.1415 S mbolo: Secuencia de caracteres alfanum ericos a, nota, c4, mesa Listas
PJM

Atomos Num ericos: 7, 12.0, 3.1415 S mbolo: Secuencia de caracteres alfanum ericos a, nota, c4, mesa Listas Se escriben entre par entesis.
PJM

Atomos Num ericos: 7, 12.0, 3.1415 S mbolo: Secuencia de caracteres alfanum ericos a, nota, c4, mesa Listas Se escriben entre par entesis. Contienen un conjunto de elementos ordenados:
(2 45 27), (nota c4)
PJM

(2 45 27), (nota c4)
Puede estar vac a: ()
PJM

(2 45 27), (nota c4)
Puede estar vac a: () O contener elementos que sean listas: (a (b c) (d (e f)))

PJM Programaci on b asica en Lisp
Bucle WAIT-READ-EVAL-PRINT
WAIT Lisp muestra el prompt y espera >
PJM
WAIT Lisp muestra el prompt y espera > READ El usuario escribe una expresi on > (+ 3 4)
PJM
WAIT Lisp muestra el prompt y espera > READ El usuario escribe una expresi on > (+ 3 4) EVAL Lisp eval ua la expresi on.
PJM
WAIT Lisp muestra el prompt y espera > READ El usuario escribe una expresi on > (+ 3 4) EVAL Lisp eval ua la expresi on. PRINT Lisp escribe el resultado > 7
PJM
Evaluaci on de atomos
Num ericos: Devuelven su valor.
PJM
Num ericos: Devuelven su valor. Simb olicos: Si el nombre comienza por : devuelve el mismo nombre.
PJM
Num ericos: Devuelven su valor. Simb olicos: Si el nombre comienza por : devuelve el mismo nombre. Si tiene ligado un valor devuelve ese valor.
PJM
Num ericos: Devuelven su valor. Simb olicos: Si el nombre comienza por : devuelve el mismo nombre. Si tiene ligado un valor devuelve ese valor. Si no tiene valor ligado, devuelve un error.
PJM
Ejemplos
> 5.6
PJM
Ejemplos
> 5.6 5.6
PJM
Ejemplos
> 5.6 5.6 > :zx
PJM
Ejemplos
> 5.6 5.6 > :zx :ZX
PJM
Ejemplos
> 5.6 5.6 > :zx :ZX > dfg
PJM
Ejemplos
> 5.6 5.6 > :zx :ZX > dfg error: unbound variable - DFG if continued: try evaluating symbol again 1>
PJM
Expresiones matem aticas
Se utiliza la notaci on preja. 4 + 3
PJM
Se utiliza la notaci on preja. 4 + 3 -> (+ 4 3)
PJM
Se utiliza la notaci on preja. 4 + 3 -> 4 + 3 (7 - 6) (+ 4 3)
PJM
Se utiliza la notaci on preja. 4 + 3 -> 4 + 3 (7 - 6) -> (+ 4 3) (+ 4 (* 3 (- 7 6)))
PJM
El primer elemento de la lista es la operaci on
PJM
El primer elemento de la lista es la operaci on Los dem as elementos son los operandos.
PJM
Orden normal de evaluaci on
La evaluaci on empieza por las listas m as internas de la expresi on. (+ (* 3 (- 7 6)) 4)
PJM
La evaluaci on empieza por las listas m as internas de la expresi on. (+ (* 3 (- 7 6)) 4) (+ (* 3 1) 4)
PJM
La evaluaci on empieza por las listas m as internas de la expresi on. (+ (* 3 (- 7 6)) 4) (+ (* 3 1) 4) (+ (* 3 1) 4)
PJM
La evaluaci on empieza por las listas m as internas de la expresi on. (+ (+ (+ (+ (* 3 (- 7 6)) 4) (* 3 1) 4) (* 3 1) 4) 3 4)
PJM
La evaluaci on empieza por las listas m as internas de la expresi on. (+ (+ (+ (+ (+ (* 3 (- 7 6)) 4) (* 3 1) 4) (* 3 1) 4) 3 4) 3 4)
PJM
La evaluaci on empieza por las listas m as internas de la expresi on. (+ (+ (+ (+ (+ 7 (* 3 (- 7 6)) 4) (* 3 1) 4) (* 3 1) 4) 3 4) 3 4)
PJM
Evaluaci on n de funciones
El primer elemento de la lista es una funci on Se eval ua el resto de los elementos.
PJM
Evaluaci on n de funciones
El primer elemento de la lista es una funci on Se eval ua el resto de los elementos. Se aplican como argumentos a la funci on.
PJM
Evaluaci on de formas especiales

Las formas especiales eval uan sus argumentos en distinto orden que las funciones. > (setq x (- 2 3))
PJM

Las formas especiales eval uan sus argumentos en distinto orden que las funciones. > (setq x (- 2 3)) ; se evalua el segundo argumento
PJM

Las formas especiales eval uan sus argumentos en distinto orden que las funciones. > (setq x (- 2 3)) ; se evalua el segundo argumento ; se asigna el valor del segundo argumento ; al simbolo (que es el primer argumento)
PJM

Las formas especiales eval uan sus argumentos en distinto orden que las funciones. > (setq x (- 2 3)) ; se evalua el segundo argumento ; se asigna el valor del segundo argumento ; al simbolo (que es el primer argumento) > -1 ; resultado
PJM

Las formas especiales eval uan sus argumentos en distinto orden que las funciones. > (setq x (- 2 3)) ; se evalua el segundo argumento ; se asigna el valor del segundo argumento ; al simbolo (que es el primer argumento) > -1 ; resultado > x ; el valor asignado a x es
PJM

Las formas especiales eval uan sus argumentos en distinto orden que las funciones. > (setq x (- 2 3)) ; se evalua el segundo argumento ; se asigna el valor del segundo argumento ; al simbolo (que es el primer argumento) > -1 ; resultado > x ; el valor asignado a x es > -1 >
PJM
Referencia b asica. SETQ
SETQ Liga un valor a un s mbolo.
Ejemplos
PJM
SETQ Liga un valor a un s mbolo. (setq s mbolo valor) Ejemplos
PJM
SETQ Liga un valor a un s mbolo. (setq s mbolo valor) Ejemplos > (setq x 25)
PJM
SETQ Liga un valor a un s mbolo. (setq s mbolo valor) Ejemplos > (setq x 25) > (setq do-central :c4)
PJM
Referencia b asica. LET
LET Liga valores locales a uno, varios o ning un s mbolo.
Ejemplos
PJM
LET Liga valores locales a uno, varios o ning un s mbolo. (let (ligaduras) expresiones) Ejemplos
PJM
LET Liga valores locales a uno, varios o ning un s mbolo. (let (ligaduras) expresiones) Ejemplos > (let ((a 2) (b 3) (c 4))
(+ a (* 2 b) (/ c 2)))
PJM
LET Liga valores locales a uno, varios o ning un s mbolo. (let (ligaduras) expresiones) Ejemplos > (let ((a 2) (b 3) (c 4)) 10
(+ a (* 2 b) (/ c 2)))
PJM
LET Liga valores locales a uno, varios o ning un s mbolo. (let (ligaduras) expresiones) Ejemplos > (let ((a 2) (b 3) (c 4)) 10 > a
(+ a (* 2 b) (/ c 2)))
PJM
LET Liga valores locales a uno, varios o ning un s mbolo. (let (ligaduras) expresiones) Ejemplos > (let ((a 2) (b 3) (c 4)) (+ a (* 2 b) (/ c 2))) 10 > a error: unbound variable - A
PJM
Referencia b asica. COND

COND Eval ua expresiones de manera condicional.
Ejemplos
PJM

COND Eval ua expresiones de manera condicional. (cond (expresi on-l ogica expresiones*)*) Ejemplos
PJM

COND Eval ua expresiones de manera condicional. (cond (expresi on-l ogica expresiones*)*) Ejemplos > (let ((a 1) (b 2) (c (cond ((eql a ((eql a ((eql a
1) b) c) d)
(d 1)) 1) "Primera expresion" 2) 3)))
PJM

COND Eval ua expresiones de manera condicional. (cond (expresi on-l ogica expresiones*)*) Ejemplos > (let ((a 1) (b 2) (c (cond ((eql a ((eql a ((eql a 2
1) b) c) d)
(d 1)) 1) "Primera expresion" 2) 3)))
PJM
Referencia b asica. QUOTE

QUOTE Bloquea la evaluaci on.
Ejemplos
PJM

QUOTE Bloquea la evaluaci on. (quote s mbolo) devuelve s mbolo
Ejemplos
PJM

QUOTE Bloquea la evaluaci on. (quote s mbolo) devuelve s mbolo Notaci on equivalente: s mbolo Ejemplos
PJM

QUOTE Bloquea la evaluaci on. (quote s mbolo) devuelve s mbolo Notaci on equivalente: s mbolo Ejemplos > (quote a)
PJM

QUOTE Bloquea la evaluaci on. (quote s mbolo) devuelve s mbolo Notaci on equivalente: s mbolo Ejemplos > (quote a) a
PJM

QUOTE Bloquea la evaluaci on. (quote s mbolo) devuelve s mbolo Notaci on equivalente: s mbolo Ejemplos > (quote a) a > (setq a (quote b))
PJM

QUOTE Bloquea la evaluaci on. (quote s mbolo) devuelve s mbolo Notaci on equivalente: s mbolo Ejemplos > (quote a) a > (setq a (quote b)) b
PJM

QUOTE Bloquea la evaluaci on. (quote s mbolo) devuelve s mbolo Notaci on equivalente: s mbolo Ejemplos > (quote a) a > (setq a (quote b)) b > a
PJM

QUOTE Bloquea la evaluaci on. (quote s mbolo) devuelve s mbolo Notaci on equivalente: s mbolo Ejemplos > (quote a) a > (setq a (quote b)) b > a b
Referencia b asica. CONS

CONS Constructor de un par ordenado. Puede construir listas.
Ejemplos
PJM

CONS Constructor de un par ordenado. Puede construir listas. (cons primer-elemento segundo-elemento) Ejemplos
PJM

CONS Constructor de un par ordenado. Puede construir listas. (cons primer-elemento segundo-elemento) Ejemplos > (cons a b)
PJM

CONS Constructor de un par ordenado. Puede construir listas. (cons primer-elemento segundo-elemento) Ejemplos > (cons a b) (a . b)
PJM

CONS Constructor de un par ordenado. Puede construir listas. (cons primer-elemento segundo-elemento) Ejemplos > (cons a b) (a . b) > (cons a ())
PJM

CONS Constructor de un par ordenado. Puede construir listas. (cons primer-elemento segundo-elemento) Ejemplos > (cons a b) (a . b) > (cons a ()) (a)
PJM

CONS Constructor de un par ordenado. Puede construir listas. (cons primer-elemento segundo-elemento) Ejemplos > (cons a b) (a . b) > (cons a ()) (a) > (cons a (cons b ()))
PJM

CONS Constructor de un par ordenado. Puede construir listas. (cons primer-elemento segundo-elemento) Ejemplos > (cons a b) (a . b) > (cons a ()) (a) > (cons a (cons b ())) (a b)
PJM
Referencia b asica. LIST
LIST Construye listas de forma m as sencilla que CONS.
Ejemplos
PJM
LIST Construye listas de forma m as sencilla que CONS. (list elemento-1 elemento-2 elemento-3 . . . ) Ejemplos
PJM
LIST Construye listas de forma m as sencilla que CONS. (list elemento-1 elemento-2 elemento-3 . . . ) Ejemplos > (list 1 2 3)
PJM
LIST Construye listas de forma m as sencilla que CONS. (list elemento-1 elemento-2 elemento-3 . . . ) Ejemplos > (list 1 2 3) (1 2 3)
PJM
LIST Construye listas de forma m as sencilla que CONS. (list elemento-1 elemento-2 elemento-3 . . . ) Ejemplos > (list 1 2 3) (1 2 3) > (list 1 a :hola cadena)
PJM
LIST Construye listas de forma m as sencilla que CONS. (list elemento-1 elemento-2 elemento-3 . . . ) Ejemplos > (list 1 2 3) (1 2 3) > (list 1 a :hola cadena) (1 a :hola cadena)
PJM
Referencia b asica. APPEND

APPEND Concatena listas.
Ejemplos
PJM

APPEND Concatena listas. (append lista-1 lista-2 lista-3 . . . ) Ejemplos
PJM

APPEND Concatena listas. (append lista-1 lista-2 lista-3 . . . ) Ejemplos > (setq lista-1 (list 1 2 3))
PJM

APPEND Concatena listas. (append lista-1 lista-2 lista-3 . . . ) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3)
PJM

APPEND Concatena listas. (append lista-1 lista-2 lista-3 . . . ) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (setq lista-2 (list 1 a :hola cadena))
PJM

APPEND Concatena listas. (append lista-1 lista-2 lista-3 . . . ) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (setq lista-2 (list 1 a :hola cadena)) (1 a :hola cadena)
PJM

APPEND Concatena listas. (append lista-1 lista-2 lista-3 . . . ) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (setq lista-2 (list 1 a :hola cadena)) (1 a :hola cadena) > (append lista-1 lista-2)
PJM

APPEND Concatena listas. (append lista-1 lista-2 lista-3 . . . ) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (setq lista-2 (list 1 a :hola cadena)) (1 a :hola cadena) > (append lista-1 lista-2) (1 2 3 1 a :hola cadena)
PJM
Referencia b asica. FIRST

FIRST. Equivalente a CAR. Selecciona el primer elemento de un par ordenado (o lista).
Ejemplos
PJM

FIRST. Equivalente a CAR. Selecciona el primer elemento de un par ordenado (o lista). (rst lista) Ejemplos
PJM

FIRST. Equivalente a CAR. Selecciona el primer elemento de un par ordenado (o lista). (rst lista) Ejemplos > (setq lista-1 (list 1 2 3))
PJM

FIRST. Equivalente a CAR. Selecciona el primer elemento de un par ordenado (o lista). (rst lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3)
PJM

FIRST. Equivalente a CAR. Selecciona el primer elemento de un par ordenado (o lista). (rst lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (first lista-1)
PJM

FIRST. Equivalente a CAR. Selecciona el primer elemento de un par ordenado (o lista). (rst lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (first lista-1) 1
PJM

FIRST. Equivalente a CAR. Selecciona el primer elemento de un par ordenado (o lista). (rst lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (first lista-1) 1 > (first (cons 5 7))
PJM

FIRST. Equivalente a CAR. Selecciona el primer elemento de un par ordenado (o lista). (rst lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (first lista-1) 1 > (first (cons 5 7)) 5
PJM
Referencia b asica. REST

REST. Equivalente a CDR. Selecciona el segundo elemento de un par ordenado (o la lista que sigue al primer elemento de una lista).
Ejemplos
PJM

REST. Equivalente a CDR. Selecciona el segundo elemento de un par ordenado (o la lista que sigue al primer elemento de una lista). (rest lista) Ejemplos
PJM

REST. Equivalente a CDR. Selecciona el segundo elemento de un par ordenado (o la lista que sigue al primer elemento de una lista). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3))
PJM

REST. Equivalente a CDR. Selecciona el segundo elemento de un par ordenado (o la lista que sigue al primer elemento de una lista). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3)
PJM

REST. Equivalente a CDR. Selecciona el segundo elemento de un par ordenado (o la lista que sigue al primer elemento de una lista). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (rest lista-1)
PJM

REST. Equivalente a CDR. Selecciona el segundo elemento de un par ordenado (o la lista que sigue al primer elemento de una lista). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (rest lista-1) (2 3)
PJM

REST. Equivalente a CDR. Selecciona el segundo elemento de un par ordenado (o la lista que sigue al primer elemento de una lista). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (rest lista-1) (2 3) > (rest (cons 5 7))
PJM

REST. Equivalente a CDR. Selecciona el segundo elemento de un par ordenado (o la lista que sigue al primer elemento de una lista). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (rest lista-1) (2 3) > (rest (cons 5 7)) 7
PJM

REST. Equivalente a CDR. Selecciona el segundo elemento de un par ordenado (o la lista que sigue al primer elemento de una lista). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (rest lista-1) (2 3) > (rest (cons 5 7)) 7 > (first (rest lista-1))

REST. Equivalente a CDR. Selecciona el segundo elemento de un par ordenado (o la lista que sigue al primer elemento de una lista). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (rest lista-1) (2 3) > (rest (cons 5 7)) 7 > (first (rest lista-1)) 2
Referencia b asica. EQ
EQ. Detecta si el valor de un s mbolo es id entico a otro.
Ejemplos
PJM
EQ. Detecta si el valor de un s mbolo es id entico a otro. (eq s mbolo-1 s mbolo-2) Ejemplos
PJM
EQ. Detecta si el valor de un s mbolo es id entico a otro. (eq s mbolo-1 s mbolo-2) Ejemplos > (eq a a)
PJM
EQ. Detecta si el valor de un s mbolo es id entico a otro. (eq s mbolo-1 s mbolo-2) Ejemplos > (eq a a) T
PJM
EQ. Detecta si el valor de un s mbolo es id entico a otro. (eq s mbolo-1 s mbolo-2) Ejemplos > (eq a a) T > (eq a b)
PJM
EQ. Detecta si el valor de un s mbolo es id entico a otro. (eq s mbolo-1 s mbolo-2) Ejemplos > (eq a a) T > (eq a b) NIL
PJM
EQ. Detecta si el valor de un s mbolo es id entico a otro. (eq s mbolo-1 s mbolo-2) Ejemplos > (eq a a) T > (eq a b) NIL > (eq (list 1 2 3) (list 1 2 3))
PJM
EQ. Detecta si el valor de un s mbolo es id entico a otro. (eq s mbolo-1 s mbolo-2) Ejemplos > (eq a a) T > (eq a b) NIL > (eq (list 1 2 3) (list 1 2 3)) NIL
PJM
Referencia b asica. DEFUN

DEFUN. Sirve para denir una funci on de usuario y ligarla a un s mbolo.
Ejemplo: C alculo de la hipotenusa
Ejemplos
PJM

DEFUN. Sirve para denir una funci on de usuario y ligarla a un s mbolo. (defun nombre-funci on lista-de-argumentos cuerpo) Ejemplo: C alculo de la hipotenusa
Ejemplos
PJM

DEFUN. Sirve para denir una funci on de usuario y ligarla a un s mbolo. (defun nombre-funci on lista-de-argumentos cuerpo) Ejemplo: C alculo de la hipotenusa (defun pitagoras (a b) (sqrt (+ (expt a 2.0) (expt b 2.0)))) Ejemplos
PJM

DEFUN. Sirve para denir una funci on de usuario y ligarla a un s mbolo. (defun nombre-funci on lista-de-argumentos cuerpo) Ejemplo: C alculo de la hipotenusa (defun pitagoras (a b) (sqrt (+ (expt a 2.0) (expt b 2.0)))) Ejemplos > (pitagoras 3 4)

DEFUN. Sirve para denir una funci on de usuario y ligarla a un s mbolo. (defun nombre-funci on lista-de-argumentos cuerpo) Ejemplo: C alculo de la hipotenusa (defun pitagoras (a b) (sqrt (+ (expt a 2.0) (expt b 2.0)))) Ejemplos > (pitagoras 3 4) 5
Referencia b asica.
Un s mbolo puede estar ligado a un valor y una funci on. > (setq identidad 25)
PJM
Referencia b asica.
Un s mbolo puede estar ligado a un valor y una funci on. > (setq identidad 25) 25
PJM
Referencia b asica.
Un s mbolo puede estar ligado a un valor y una funci on. > (setq identidad 25) 25 > (defun identidad (a) a)
PJM
Referencia b asica.
Un s mbolo puede estar ligado a un valor y una funci on. > (setq identidad 25) 25 > (defun identidad (a) a) IDENTIDAD
PJM
Referencia b asica.
Un s mbolo puede estar ligado a un valor y una funci on. > (setq identidad 25) 25 > (defun identidad (a) a) IDENTIDAD > identidad
PJM
Referencia b asica.
Un s mbolo puede estar ligado a un valor y una funci on. > (setq identidad 25) 25 > (defun identidad (a) a) IDENTIDAD > identidad 25
PJM
Referencia b asica.
Un s mbolo puede estar ligado a un valor y una funci on. > (setq identidad 25) 25 > (defun identidad (a) a) IDENTIDAD > identidad 25 > (function identidad)
PJM
Referencia b asica.
Un s mbolo puede estar ligado a un valor y una funci on. > (setq identidad 25) 25 > (defun identidad (a) a) IDENTIDAD > identidad 25 > (function identidad) #<Closure-IDENTIDAD: #82ae524>
PJM
Referencia b asica.
Un s mbolo puede estar ligado a un valor y una funci on. > (setq identidad 25) 25 > (defun identidad (a) a) IDENTIDAD > identidad 25 > (function identidad) #<Closure-IDENTIDAD: #82ae524> > #identidad
PJM
Referencia b asica.
Un s mbolo puede estar ligado a un valor y una funci on. > (setq identidad 25) 25 > (defun identidad (a) a) IDENTIDAD > identidad 25 > (function identidad) #<Closure-IDENTIDAD: #82ae524> > #identidad #<Closure-IDENTIDAD: #82ae524>
PJM
Referencia b asica. LAMBDA
LAMBDA. Devuelve una funci on sin nombre (sin ligarla a un s mbolo).
Ejemplos
PJM
LAMBDA. Devuelve una funci on sin nombre (sin ligarla a un s mbolo). (lambda lista-de-argumentos cuerpo) Ejemplos
PJM
LAMBDA. Devuelve una funci on sin nombre (sin ligarla a un s mbolo). (lambda lista-de-argumentos cuerpo) Ejemplos > ((lambda (a b) (+ a b)) 3 4)
PJM
LAMBDA. Devuelve una funci on sin nombre (sin ligarla a un s mbolo). (lambda lista-de-argumentos cuerpo) Ejemplos > ((lambda (a b) (+ a b)) 3 4) 7
PJM
Referencia b asica. BACKQUOTE

BACKQUOTE. Abreviatura: Al aplicarlo a una lista realiza una evaluaci on selectiva.
Ejemplos
PJM

BACKQUOTE. Abreviatura: Al aplicarlo a una lista realiza una evaluaci on selectiva. Funciona como una plantilla donde s olo se eval uan las expresiones precedidas por una coma.
Ejemplos
PJM

BACKQUOTE. Abreviatura: Al aplicarlo a una lista realiza una evaluaci on selectiva. Funciona como una plantilla donde s olo se eval uan las expresiones precedidas por una coma. (backquote plantilla)
Ejemplos
PJM

BACKQUOTE. Abreviatura: Al aplicarlo a una lista realiza una evaluaci on selectiva. Funciona como una plantilla donde s olo se eval uan las expresiones precedidas por una coma. (backquote plantilla) plantilla Ejemplos
PJM

BACKQUOTE. Abreviatura: Al aplicarlo a una lista realiza una evaluaci on selectiva. Funciona como una plantilla donde s olo se eval uan las expresiones precedidas por una coma. (backquote plantilla) plantilla Ejemplos > (a b pi c)
PJM

BACKQUOTE. Abreviatura: Al aplicarlo a una lista realiza una evaluaci on selectiva. Funciona como una plantilla donde s olo se eval uan las expresiones precedidas por una coma. (backquote plantilla) plantilla Ejemplos > (a b pi c) (a b pi c)
PJM

BACKQUOTE. Abreviatura: Al aplicarlo a una lista realiza una evaluaci on selectiva. Funciona como una plantilla donde s olo se eval uan las expresiones precedidas por una coma. (backquote plantilla) plantilla Ejemplos > (a b pi c) (a b pi c) > (a b ,pi c)
PJM

BACKQUOTE. Abreviatura: Al aplicarlo a una lista realiza una evaluaci on selectiva. Funciona como una plantilla donde s olo se eval uan las expresiones precedidas por una coma. (backquote plantilla) plantilla Ejemplos > (a b pi c) (a b pi c) > (a b ,pi c) (a b 3.1416 c)
Referencia b asica. DEFMACRO

DEFMACRO. Crea una expresi on y despu es la eval ua.
Ejemplo
Ejemplos
PJM

DEFMACRO. Crea una expresi on y despu es la eval ua. (defmacro nombre-macro lista-de-argumentos cuerpo) Ejemplo
Ejemplos
PJM

DEFMACRO. Crea una expresi on y despu es la eval ua. (defmacro nombre-macro lista-de-argumentos cuerpo) Ejemplo (defmacro mi-setq (plaza valor) (setq ,plaza ,valor)) Ejemplos
PJM

DEFMACRO. Crea una expresi on y despu es la eval ua. (defmacro nombre-macro lista-de-argumentos cuerpo) Ejemplo (defmacro mi-setq (plaza valor) (setq ,plaza ,valor)) Ejemplos > (mi-setq a b)
PJM

DEFMACRO. Crea una expresi on y despu es la eval ua. (defmacro nombre-macro lista-de-argumentos cuerpo) Ejemplo (defmacro mi-setq (plaza valor) (setq ,plaza ,valor)) Ejemplos > (mi-setq a b) B

DEFMACRO. Crea una expresi on y despu es la eval ua. (defmacro nombre-macro lista-de-argumentos cuerpo) Ejemplo (defmacro mi-setq (plaza valor) (setq ,plaza ,valor)) Ejemplos > (mi-setq a b) B > a

DEFMACRO. Crea una expresi on y despu es la eval ua. (defmacro nombre-macro lista-de-argumentos cuerpo) Ejemplo (defmacro mi-setq (plaza valor) (setq ,plaza ,valor)) Ejemplos > (mi-setq a b) B > a B
PJM
Referencia b asica. Otros tipos de datos

Array Colecci on de datos a los que se accede mediante un ndice num erico.
Ejemplo
PJM

Array Colecci on de datos a los que se accede mediante un ndice num erico. Creaci on: (make-array tama no)
Ejemplo
PJM

Array Colecci on de datos a los que se accede mediante un ndice num erico. Creaci on: (make-array tama no) Acceso: (aref array n) Ejemplo
PJM

Array Colecci on de datos a los que se accede mediante un ndice num erico. Creaci on: (make-array tama no) Acceso: (aref array n) Ejemplo > (setq mi-array (make-array 4))
PJM

Array Colecci on de datos a los que se accede mediante un ndice num erico. Creaci on: (make-array tama no) Acceso: (aref array n) Ejemplo > (setq mi-array (make-array 4)) #(NIL NIL NIL NIL)
PJM

Array Colecci on de datos a los que se accede mediante un ndice num erico. Creaci on: (make-array tama no) Acceso: (aref array n) Ejemplo > (setq mi-array (make-array 4)) #(NIL NIL NIL NIL) > (setf (aref mi-array 2) 3.14)
PJM

Array Colecci on de datos a los que se accede mediante un ndice num erico. Creaci on: (make-array tama no) Acceso: (aref array n) Ejemplo > (setq mi-array (make-array 4)) #(NIL NIL NIL NIL) > (setf (aref mi-array 2) 3.14) 3.14
PJM

Array Colecci on de datos a los que se accede mediante un ndice num erico. Creaci on: (make-array tama no) Acceso: (aref array n) Ejemplo > (setq mi-array (make-array 4)) #(NIL NIL NIL NIL) > (setf (aref mi-array 2) 3.14) 3.14 > mi-array

Array Colecci on de datos a los que se accede mediante un ndice num erico. Creaci on: (make-array tama no) Acceso: (aref array n) Ejemplo > (setq mi-array (make-array 4)) #(NIL NIL NIL NIL) > (setf (aref mi-array 2) 3.14) 3.14 > mi-array #(NIL NIL 3.14 NIL)

Strings Secuencia de caracteres alfanum ericos.
Ejemplo
PJM

Strings Secuencia de caracteres alfanum ericos. Se autoeval uan. Ejemplo
PJM

Strings Secuencia de caracteres alfanum ericos. Se autoeval uan. Ejemplo > mi-cadena
PJM

Strings Secuencia de caracteres alfanum ericos. Se autoeval uan. Ejemplo > mi-cadena mi-cadena
PJM

Strings Secuencia de caracteres alfanum ericos. Se autoeval uan. Ejemplo > mi-cadena mi-cadena > (setq mi-string mi-cadena-2)
PJM

Strings Secuencia de caracteres alfanum ericos. Se autoeval uan. Ejemplo > mi-cadena mi-cadena > (setq mi-string mi-cadena-2) mi-cadena-2
PJM

Strings Secuencia de caracteres alfanum ericos. Se autoeval uan. Ejemplo > mi-cadena mi-cadena > (setq mi-string mi-cadena-2) mi-cadena-2 > mi-string
PJM

Strings Secuencia de caracteres alfanum ericos. Se autoeval uan. Ejemplo > mi-cadena mi-cadena > (setq mi-string mi-cadena-2) mi-cadena-2 > mi-string mi-cadena-2
PJM
Referencia b asica. Entrada

READ READ convierte los caracteres de entrada en expresiones de Lisp.
Ejemplo
PJM

READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo
PJM

READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo > (setq a (read))
PJM

READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo > (setq a (read)) 56
PJM

READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo > (setq a (read)) 56 56
PJM

READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo > (setq a (read)) 56 56 > a
PJM

READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo > (setq a (read)) 56 56 > a 56
PJM
Referencia b asica. Salida
PRINT PRINT convierte una expresi on de Lisp en una secuencia de caracteres.
Ejemplo
PJM
PRINT PRINT convierte una expresi on de Lisp en una secuencia de caracteres. (print expresi on) Ejemplo
PJM
PRINT PRINT convierte una expresi on de Lisp en una secuencia de caracteres. (print expresi on) Ejemplo > (print (list 1 2 3))
PJM
PRINT PRINT convierte una expresi on de Lisp en una secuencia de caracteres. (print expresi on) Ejemplo > (print (list 1 2 3)) (1 2 3); lo que imprime en la consola
PJM
PRINT PRINT convierte una expresi on de Lisp en una secuencia de caracteres. (print expresi on) Ejemplo > (print (list 1 2 3)) (1 2 3); lo que imprime en la consola (1 2 3); lo que devuelve
PJM
Referencia b asica. LOAD
LOAD Carga el c odigo fuente contenido en un archivo.
Ejemplo
PJM
LOAD Carga el c odigo fuente contenido en un archivo. (load path-y-nombre-archivo) ; asume la extensi on .lsp Ejemplo
PJM
LOAD Carga el c odigo fuente contenido en un archivo. (load path-y-nombre-archivo) ; asume la extensi on .lsp Ejemplo > (load mifichero)
PJM
LOAD Carga el c odigo fuente contenido en un archivo. (load path-y-nombre-archivo) ; asume la extensi on .lsp Ejemplo > (load mifichero) T ; T si lo carga, NIL si no lo carga
PJM
Resumen
Se han mostrado los elementos b asicos de Lisp, pero . . .
PJM
Resumen
Se han mostrado los elementos b asicos de Lisp, pero . . . Para realizar proyectos m as extensos hay que conocer las estrategias de programaci on.
PJM
Resumen
Se han mostrado los elementos b asicos de Lisp, pero . . . Para realizar proyectos m as extensos hay que conocer las estrategias de programaci on. Se recomienda el libro [2] y el manual de referencia [1]
PJM
[Dannenberg, 2007] Roger B. Dannenberg. Nyquist Reference Manual, Version 2.33 Carnegie Mellon University, 2007. [Touretzky, 1990] David Touretzky. Common Lisp: A Gentle Introduction to Symbolic Computation. Carnegie Mellon University, 1990. http://www.cs.cmu.edu/~dst/LispBook [Steele, 1990] Guy L. Steele Jr. Common Lisp the Language, 2nd edition Digital Press, 1990. http://www.cs.cmu.edu/Groups/AI/html/cltl/cltl2
PJM

Programacion Lisp

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Programacion Lisp

Загружено:

Авторское право:

Доступные форматы

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Programaci on b asica en Lisp

July 29, 2007

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Objetivos Historia de Lisp Programaci on Resumen

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Aproximaci on hist orica.

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Aproximaci on hist orica. Programaci on b asica.

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Aproximaci on hist orica

1960. John McCarthy publica un estudio crucial para la programaci on.

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Aproximaci on hist orica

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Aproximaci on hist orica

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Aproximaci on hist orica

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Aproximaci on hist orica

El descubrimiento de McCarthy es un hito en la historia de la programaci on. . .

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Aproximaci on hist orica

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Aproximaci on hist orica

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Aproximaci on hist orica

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Lisp es un lenguaje congurable

Lisp es el lenguaje m as antiguo que se mantiene activo.

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Lisp es un lenguaje congurable

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Lisp es un lenguaje congurable

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Hay diversas variantes que se han decantado en dos dialectos.

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Programaci on b asica en Lisp

Contenidos Objetivos Historia de Lisp Programaci on Resumen

Se empotran en aplicaciones espec cas como lenguajes de scripts