Programacion Lisp

Contenidos Objetivos Historia de Lisp Programaci´ on on Resumen

Programaci´ on on b´ asic asica a en Li Lisp sp Pedro J. Morales Digital Audio & Computer Music Laboratory. UCLM

July 29, 2007


1

Objetivos

2

Historia de Lisp

3

Programaci´ on on

4

Resumen


Objetivos

Aproximación on hist´ orica. orica.


Objetivos

Aproximación on hist´ orica. orica. Programaci´ on básica.

Contenidos Objetivos Historia de Lisp Programaci´ on Resumen

Aproximaci´ on hist´ orica

1960. John McCarthy publica un estudio crucial para la programación.



1960. John McCarthy publica un estudio crucial para la programación. Con unos pocos operadores y notaci´ on para funciones se puede construir un lenguaje.



1960. John McCarthy publica un estudio crucial para la programación. Con unos pocos operadores y notaci´ on para funciones se puede construir un lenguaje. Llam´ o al lenguaje LISP, por “List Processing”



1960. John McCarthy publica un estudio crucial para la programación. 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.



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



El descubrimiento de McCarthy es un hito en la historia de la programació n... . . . también es un modelo que marca la tendencia de los lenguajes actuales.



El descubrimiento de McCarthy es un hito en la historia de la programació n... . . . también es un modelo que marca la tendencia de los lenguajes actuales. Hay dos modelos: C y Lisp



El descubrimiento de McCarthy es un hito en la historia de la programació n... . . . también 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.


Lisp es un lenguaje configurable

Lisp es el lenguaje más antiguo que se mantiene activo.



Lisp es el lenguaje más antiguo que se mantiene activo. Lisp se puede programar en Lisp.



Lisp es el lenguaje más antiguo que se mantiene activo. Lisp se puede programar en Lisp. Lisp se adapta a cualquier paradigma de programaci´ on.


Lisp en la actualidad

Hay diversas variantes que se han decantado en dos dialectos.



Hay diversas variantes que se han decantado en dos dialectos. Common Lisp es la variante maximalista.



Hay diversas variantes que se han decantado en dos dialectos. Common Lisp es la variante maximalista. Scheme es minimalista.


Aplicaciones

Adem´ as as de las implementaciones de Lisp como lenguaje, las versione vers ioness más as peque˜ eque˜ nas nas


Aplicaciones

Adem´ as as de las implementaciones de Lisp como lenguaje, las versione vers ioness más as peque˜ eque˜ nas nas Scheme


Aplicaciones

Adem´ as as de las implementaciones de Lisp como lenguaje, las versione vers ioness más as peque˜ eque˜ nas nas Scheme Subconjuntos de Common Lisp: XLisp, elisp.


Aplicaciones

Adem´ as as de las implementaciones de Lisp como lenguaje, las versione vers ioness más as peque˜ eque˜ nas nas Scheme Subconjuntos de Common Lisp: XLisp, elisp.

Se empotran en aplicaciones espec´ espec´ıficas como lenguajes de scripts


Aplicaciones

Adem´ as de las implementaciones de Lisp como lenguaje, las versiones más peque˜ nas Scheme Subconjuntos de Common Lisp: XLisp, elisp.

Se empotran en aplicaciones espec´ıficas como lenguajes de scripts Emacs, editor de texto, elisp.


Aplicaciones


Se empotran en aplicaciones espec´ıficas como lenguajes de scripts Emacs, editor de texto, elisp. GIMP, editor de gráficos, Scheme.


Aplicaciones


Se empotran en aplicaciones espec´ıficas como lenguajes de scripts Emacs, editor de texto, elisp. GIMP, editor de gráficos, Scheme. Audacity, editor de audio, Nyquist (XLisp).


Aplicaciones


Se empotran en aplicaciones espec´ıficas como lenguajes de scripts Emacs, editor de texto, elisp. GIMP, editor de gráficos, Scheme. Audacity, editor de audio, Nyquist (XLisp). LilyPond, partituras musicales, Scheme.


Aplicaciones


Se empotran en aplicaciones espec´ıficas como lenguajes de scripts Emacs, editor de texto, elisp. GIMP, editor de gráficos, Scheme. Audacity, editor de audio, Nyquist (XLisp). LilyPond, partituras musicales, Scheme. AutoCAD, diseño técnico, AutoLisp (XLisp).


Expresiones en Lisp

Expresiones Lisp eval´ ua expresiones.


Expresiones en Lisp

Expresiones Lisp eval´ ua expresiones. Una expresión es:


Expresiones en Lisp

Expresiones Lisp eval´ ua expresiones. Una expresión es: Un átomo


Expresiones en Lisp

Expresiones Lisp eval´ ua expresiones. Una expresión es: Un átomo Una lista.


Tipos b´ asicos de datos ´ Atomos Numéricos:

Listas


Tipos b´ asicos de datos ´ Atomos Numéricos: 7, 12.0, 3.1415

Listas


Tipos b´ asicos de datos ´ Atomos Numéricos: 7, 12.0, 3.1415 S´ımbolo: Secuencia de caracteres alfanuméricos

Listas


Tipos b´ asicos de datos ´ Atomos Numéricos: 7, 12.0, 3.1415 S´ımbolo: Secuencia de caracteres alfanuméricos a, nota, c4, mesa Listas


Tipos b´ asicos de datos ´ Atomos Numéricos: 7, 12.0, 3.1415 S´ımbolo: Secuencia de caracteres alfanuméricos a, nota, c4, mesa Listas Se escriben entre paréntesis.


Tipos b´ asicos de datos ´ Atomos Numéricos: 7, 12.0, 3.1415 S´ımbolo: Secuencia de caracteres alfanuméricos a, nota, c4, mesa Listas Se escriben entre paréntesis. Contienen un conjunto de elementos ordenados: (2 45 27), (nota c4)



Puede estar vac´ıa: ()



Puede estar vac´ıa: () O contener elementos que sean listas: (a (b c) (d (e f)))


Bucle WAIT-READ-EVAL-PRINT

WAIT Lisp muestra el prompt y espera

>




>

READ El usuario escribe una expresi´ on

>

(+ 3 4)




>

READ El usuario escribe una expresi´ on EVAL Lisp eval´ ua la expresi´ on.

>

(+ 3 4)




>

READ El usuario escribe una expresi´ on EVAL Lisp eval´ ua la expresi´ on.

>

PRINT Lisp escribe el resultado

>

7

(+ 3 4)


Evaluaci´ on de ´ atomos

Numéricos: Devuelven su valor.



Numéricos: Devuelven su valor. Simb´ olicos: Si el nombre comienza por : devuelve el mismo nombre.



Numéricos: Devuelven su valor. Simb´ olicos: Si el nombre comienza por : devuelve el mismo nombre. Si tiene ligado un valor devuelve ese valor.



Numéricos: 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.


Ejemplos

> 5.6


Ejemplos

> 5.6 5.6


Ejemplos

> 5.6 5.6 > :zx


Ejemplos

> 5.6 5.6 > :zx :ZX


Ejemplos

> 5.6 5.6 > :zx :ZX > dfg


Ejemplos

> 5.6 5.6 > :zx :ZX > dfg error: unbound variable - DFG if continued: try evaluating symbol again 1>


Expresiones matem´ aticas

Se utiliza la notación prefija. 4 + 3



Se utiliza la notación prefija. 4 + 3

->

(+ 4 3)



Se utiliza la notación prefija. 4 + 3 -> 4 + 3 (7 - 6)

(+ 4 3)



Se utiliza la notación prefija. 4 + 3 -> 4 + 3 ( 7 - 6 ) ->

(+ 4 3) (+ 4 (* 3 (- 7 6)))



Se utiliza la notación prefija. 4 + 3 -> 4 + 3 (7 - 6) ->

(+ 4 3) (+ 4 (* 3 (- 7 6)))

El primer elemento de la lista es la operaci´ on



Se utiliza la notación prefija. 4 + 3 -> 4 + 3 (7 - 6) ->

(+ 4 3) (+ 4 (* 3 (- 7 6)))

El primer elemento de la lista es la operaci´ on Los dem´ as elementos son los operandos.


Orden normal de evaluación

La evaluaci´ on empieza por las listas más internas de la expresi´ on. (+ (* 3 (- 7 6)) 4)



La evaluaci´ on empieza por las listas más internas de la expresi´ on. (+ (* 3 (- 7 6)) 4) (+ (* 3 1) 4)



La evaluaci´ on empieza por las listas más internas de la expresi´ on. (+ (* 3 (- 7 6)) 4) (+ (* 3 1) 4) (+ (* 3 1) 4)



La evaluaci´ on empieza por las listas más internas de la expresi´ on. (+ (+ (+ (+

(* 3 (- 7 6)) 4) (* 3 1) 4) (* 3 1) 4) 3 4)



La evaluaci´ on empieza por las listas más internas de la expresi´ on. (+ (+ (+ (+ (+

(* 3 (- 7 6)) 4) (* 3 1) 4) (* 3 1) 4) 3 4) 3 4)



La evaluaci´ on empieza por las listas más internas de la expresi´ on. (+ (+ (+ (+ (+ 7

(* 3 (- 7 6)) 4) (* 3 1) 4) (* 3 1) 4) 3 4) 3 4)


Evaluaci´ on n de funciones

El primer elemento de la lista es una función Se eval´ ua el resto de los elementos.


Evaluaci´ on n de funciones

El primer elemento de la lista es una función Se eval´ ua el resto de los elementos. Se aplican como argumentos a la función.


Evaluaci´ on de formas especiales Las formas especiales evalúan sus argumentos en distinto orden que las funciones. > (setq x (- 2 3))


Evaluaci´ on de formas especiales Las formas especiales evalúan sus argumentos en distinto orden que las funciones. > (setq x (- 2 3)) ; se evalua el segundo argumento


Evaluaci´ on de formas especiales Las formas especiales evalúan 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)


Evaluaci´ on de formas especiales Las formas especiales evalúan 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


Evaluaci´ on de formas especiales Las formas especiales evalúan 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


Evaluaci´ on de formas especiales Las formas especiales evalúan 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 >


Referencia b´ asica. SETQ

SETQ Liga un valor a un s´ımbolo.

Ejemplos



SETQ Liga un valor a un s´ımbolo. (setq s´ımbolo valor) Ejemplos



SETQ Liga un valor a un s´ımbolo. (setq s´ımbolo valor) Ejemplos > (setq x 25)



SETQ Liga un valor a un s´ımbolo. (setq s´ımbolo valor) Ejemplos > (setq x 25) > (setq do-central :c4)


Referencia b´ asica. LET

LET Liga valores locales a uno, varios o ning´ un s´ımbolo.

Ejemplos



LET Liga valores locales a uno, varios o ning´ un s´ımbolo. (let (ligaduras) expresiones) Ejemplos



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)))



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)))



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)))



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


Referencia b´ asica. COND

COND Eval´ ua expresiones de manera condicional.

Ejemplos



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



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)))



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)))


Referencia b´ asica. QUOTE QUOTE Bloquea la evaluaci´ on.

Ejemplos


Referencia b´ asica. QUOTE QUOTE Bloquea la evaluaci´ on. (quote s´ımbolo) devuelve s´ımbolo

Ejemplos


Referencia b´ asica. QUOTE QUOTE Bloquea la evaluaci´ on. (quote s´ımbolo) devuelve s´ımbolo Notaci´ on equivalente: ’s´ımbolo Ejemplos


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


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


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


Referencia b´ asica. QUOTE 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


Referencia b´ asica. QUOTE 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


Referencia b´ asica. QUOTE 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


Referencia b´ asica. CONS CONS Constructor de un par ordenado. Puede construir listas. (cons primer-elemento segundo-elemento) Ejemplos


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


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


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


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


Referencia b´ asica. CONS 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 ()))


Referencia b´ asica. CONS 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)


Referencia b´ asica. LIST

LIST Construye listas de forma m´ as sencilla que CONS.

Ejemplos



LIST Construye listas de forma m´ as sencilla que CONS. (list elemento-1 elemento-2 elemento-3 . . . ) Ejemplos



LIST Construye listas de forma m´ as sencilla que CONS. (list elemento-1 elemento-2 elemento-3 . . . ) Ejemplos > (list 1 2 3)



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 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’’)



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’’)


Referencia b´ asica. APPEND APPEND Concatena listas.

Ejemplos


Referencia b´ asica. APPEND APPEND Concatena listas. (append lista-1 lista-2 lista-3 . . . ) Ejemplos


Referencia b´ asica. APPEND APPEND Concatena listas. (append lista-1 lista-2 lista-3 . . . ) Ejemplos > (setq lista-1 (list 1 2 3))


Referencia b´ asica. APPEND APPEND Concatena listas. (append lista-1 lista-2 lista-3 . . . ) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3)


Referencia b´ asica. APPEND 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’’))


Referencia b´ asica. APPEND 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’’)


Referencia b´ asica. APPEND 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)


Referencia b´ asica. APPEND 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’’)


Referencia b´ asica. FIRST FIRST. Equivalente a CAR. Selecciona el primer elemento de un par ordenado (o lista).

Ejemplos


Referencia b´ asica. FIRST FIRST. Equivalente a CAR. Selecciona el primer elemento de un par ordenado (o lista). (first lista) Ejemplos


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


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


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


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


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


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


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


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). (rest lista) Ejemplos


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). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3))


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). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3)


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). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (rest lista-1)


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). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (rest lista-1) (2 3)


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). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (rest lista-1) (2 3) > (rest (cons 5 7))


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). (rest lista) Ejemplos > (setq lista-1 (list 1 2 3)) (1 2 3) > (rest lista-1) (2 3) > (rest (cons 5 7)) 7


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). (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))


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). (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éntico a otro.

Ejemplos


Referencia b´ asica. EQ EQ. Detecta si el valor de un s´ımbolo es idéntico a otro. (eq s´ımbolo-1 s´ımbolo-2) Ejemplos


Referencia b´ asica. EQ EQ. Detecta si el valor de un s´ımbolo es idéntico a otro. (eq s´ımbolo-1 s´ımbolo-2) Ejemplos > (eq ’a ’a)


Referencia b´ asica. EQ EQ. Detecta si el valor de un s´ımbolo es idéntico a otro. (eq s´ımbolo-1 s´ımbolo-2) Ejemplos > (eq ’a ’a) T


Referencia b´ asica. EQ EQ. Detecta si el valor de un s´ımbolo es idéntico a otro. (eq s´ımbolo-1 s´ımbolo-2) Ejemplos > (eq ’a ’a) T > (eq ’a ’b)


Referencia b´ asica. EQ EQ. Detecta si el valor de un s´ımbolo es idéntico a otro. (eq s´ımbolo-1 s´ımbolo-2) Ejemplos > (eq ’a ’a) T > (eq ’a ’b) NIL


Referencia b´ asica. EQ EQ. Detecta si el valor de un s´ımbolo es idéntico 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))


Referencia b´ asica. EQ EQ. Detecta si el valor de un s´ımbolo es idéntico 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


Referencia b´ asica. DEFUN DEFUN. Sirve para definir una función de usuario y ligarla a un s´ımbolo.

Ejemplo: Cálculo de la hipotenusa

Ejemplos


Referencia b´ asica. DEFUN DEFUN. Sirve para definir una función de usuario y ligarla a un s´ımbolo. (defun nombre-funci´ on lista-de-argumentos cuerpo) Ejemplo: Cálculo de la hipotenusa

Ejemplos


Referencia b´ asica. DEFUN DEFUN. Sirve para definir una función de usuario y ligarla a un s´ımbolo. (defun nombre-funci´ on lista-de-argumentos cuerpo) Ejemplo: Cálculo de la hipotenusa (defun pitagoras (a b) (sqrt (+ (expt a 2.0) (expt b 2.0))))

Ejemplos



Ejemplos > (pitagoras 3 4)



Ejemplos > (pitagoras 3 4) 5


Referencia b´ asica. Un s´ımbolo puede estar ligado a un valor y una funci´ on. > (setq identidad 25)


Referencia b´ asica. Un s´ımbolo puede estar ligado a un valor y una funci´ on. > (setq identidad 25) 25


Referencia b´ asica. Un s´ımbolo puede estar ligado a un valor y una funci´ on. > (setq identidad 25) 25 > (defun identidad (a) a)


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


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


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


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)


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) #


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) # > #’identidad


Refe Refere renc ncia ia b´ asic asica. a. Un s´ımb ımbol oloo pu pued edee estar ligado a un valor y una funci´ on. on. > (set (setq q iden identi tida dad d 25) 25) 25 > (def (defun un iden identi tida dad d (a) (a) a) IDENTIDAD > ident identida idad d 25 > (func (functio tion n ident identid idad) ad) # #82ae524> > #’identi #’identidad dad # 4>


Refe Refere renci ncia a b´ asica asica.. LAMBDA LAMBDA

LAMBDA. Devuelve una función on sin nombre (sin ligarla ligarla a un s´ımbolo).

Ejemplos



LAMBDA. Devuelve una función on sin nombre (sin ligarla ligarla a un s´ımbolo). (lambda lista-de-argumentos cuerpo) Ejemplos



LAMBDA. Devuelve una función on sin nombre (sin ligarla ligarla a un s´ımbolo). (lambda lista-de-argumentos cuerpo) Ejemplos > ((lambda (a b) (+ a b)) 3 4)


Referencia b´ asica. LAMBDA

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


Referencia b´ asica. BACKQUOTE BACKQUOTE. Abreviatura: ‘ Al aplicarlo a una lista realiza una evaluación selectiva.

Ejemplos


Referencia b´ asica. BACKQUOTE BACKQUOTE. Abreviatura: ‘ Al aplicarlo a una lista realiza una evaluación selectiva. Funciona como una plantilla donde s´ olo se eval´ uan las expresiones precedidas por una coma.

Ejemplos


Referencia b´ asica. BACKQUOTE BACKQUOTE. Abreviatura: ‘ Al aplicarlo a una lista realiza una evaluación selectiva. Funciona como una plantilla donde s´ olo se eval´ uan las expresiones precedidas por una coma. (backquote plantilla)

Ejemplos


Referencia b´ asica. BACKQUOTE BACKQUOTE. Abreviatura: ‘ Al aplicarlo a una lista realiza una evaluación selectiva. Funciona como una plantilla donde s´ olo se eval´ uan las expresiones precedidas por una coma. (backquote plantilla) ‘plantilla Ejemplos


Referencia b´ asica. BACKQUOTE BACKQUOTE. Abreviatura: ‘ Al aplicarlo a una lista realiza una evaluación 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)


Referencia b´ asica. BACKQUOTE BACKQUOTE. Abreviatura: ‘ Al aplicarlo a una lista realiza una evaluación 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)


Referencia b´ asica. BACKQUOTE BACKQUOTE. Abreviatura: ‘ Al aplicarlo a una lista realiza una evaluación 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)


Referencia b´ asica. BACKQUOTE BACKQUOTE. Abreviatura: ‘ Al aplicarlo a una lista realiza una evaluación 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és la eval´ ua.

Ejemplo

Ejemplos


Referencia b´ asica. DEFMACRO DEFMACRO. Crea una expresi´ on y después la eval´ ua. (defmacro nombre-macro lista-de-argumentos cuerpo) Ejemplo

Ejemplos


Referencia b´ asica. DEFMACRO DEFMACRO. Crea una expresi´ on y después la eval´ ua. (defmacro nombre-macro lista-de-argumentos cuerpo) Ejemplo (defmacro mi-setq (plaza valor) ‘(setq ,plaza ’,valor))

Ejemplos



Ejemplos > (mi-setq a b)



Ejemplos > (mi-setq a b) B



Ejemplos > (mi-setq a b) B > a



Ejemplos > (mi-setq a b) B > a B


Referencia b´ asica. Otros tipos de datos Array Colecci´ on de datos a los que se accede mediante un ´ındice numérico.

Ejemplo


Referencia b´ asica. Otros tipos de datos Array Colecci´ on de datos a los que se accede mediante un ´ındice numérico. Creaci´ on: (make-array tama˜ no)

Ejemplo


Referencia b´ asica. Otros tipos de datos Array Colecci´ on de datos a los que se accede mediante un ´ındice numérico. Creaci´ on: (make-array tama˜ no) Acceso: (aref array n) Ejemplo


Referencia b´ asica. Otros tipos de datos Array Colecci´ on de datos a los que se accede mediante un ´ındice numérico. Creaci´ on: (make-array tama˜ no) Acceso: (aref array n) Ejemplo > (setq mi-array (make-array 4))


Referencia b´ asica. Otros tipos de datos Array Colecci´ on de datos a los que se accede mediante un ´ındice numérico. Creaci´ on: (make-array tama˜ no) Acceso: (aref array n) Ejemplo > (setq mi-array (make-array 4)) #(NIL NIL NIL NIL)


Referencia b´ asica. Otros tipos de datos Array Colecci´ on de datos a los que se accede mediante un ´ındice numérico. 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)


Referencia b´ asica. Otros tipos de datos Array Colecci´ on de datos a los que se accede mediante un ´ındice numérico. 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


Referencia b´ asica. Otros tipos de datos Array Colecci´ on de datos a los que se accede mediante un ´ındice numérico. 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


Referencia b´ asica. Otros tipos de datos Array Colecci´ on de datos a los que se accede mediante un ´ındice numérico. 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)


Referencia b´ asica. Otros tipos de datos Strings Secuencia de caracteres alfanuméricos.

Ejemplo


Referencia b´ asica. Otros tipos de datos Strings Secuencia de caracteres alfanuméricos. Se autoeval´ uan. Ejemplo


Referencia b´ asica. Otros tipos de datos Strings Secuencia de caracteres alfanuméricos. Se autoeval´ uan. Ejemplo > ‘‘mi-cadena’’


Referencia b´ asica. Otros tipos de datos Strings Secuencia de caracteres alfanuméricos. Se autoeval´ uan. Ejemplo > ‘‘mi-cadena’’ ‘‘mi-cadena’’


Referencia b´ asica. Otros tipos de datos Strings Secuencia de caracteres alfanuméricos. Se autoeval´ uan. Ejemplo > ‘‘mi-cadena’’ ‘‘mi-cadena’’ > (setq mi-string ‘‘mi-cadena-2’’)


Referencia b´ asica. Otros tipos de datos Strings Secuencia de caracteres alfanuméricos. Se autoeval´ uan. Ejemplo > ‘‘mi-cadena’’ ‘‘mi-cadena’’ > (setq mi-string ‘‘mi-cadena-2’’) ‘‘mi-cadena-2’’


Referencia b´ asica. Otros tipos de datos Strings Secuencia de caracteres alfanuméricos. Se autoeval´ uan. Ejemplo > ‘‘mi-cadena’’ ‘‘mi-cadena’’ > (setq mi-string ‘‘mi-cadena-2’’) ‘‘mi-cadena-2’’ > mi-string


Referencia b´ asica. Otros tipos de datos Strings Secuencia de caracteres alfanuméricos. Se autoeval´ uan. Ejemplo > ‘‘mi-cadena’’ ‘‘mi-cadena’’ > (setq mi-string ‘‘mi-cadena-2’’) ‘‘mi-cadena-2’’ > mi-string ‘‘mi-cadena-2’’


Referencia b´ asica. Entrada READ READ convierte los caracteres de entrada en expresiones de Lisp.

Ejemplo


Referencia b´ asica. Entrada READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo


Referencia b´ asica. Entrada READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo > (setq a (read))


Referencia b´ asica. Entrada READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo > (setq a (read)) 56


Referencia b´ asica. Entrada READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo > (setq a (read)) 56 56


Referen Referencia cia b´ asica. asica. Entrada Entr ada READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo > (set setq a (read)) d)) 56 56 > a


Referen Referencia cia b´ asica. asica. Entrada Entr ada READ READ convierte los caracteres de entrada en expresiones de Lisp. (read) Ejemplo > (set setq a (read)) d)) 56 56 > a 56


Referen Referencia cia b´ asica. asica. Salida Sali da

PRINT PRINT convierte una expresión on de Lisp en una secuencia de caracteres.

Ejemplo



PRINT PRINT convierte una expresión on de Lisp en una secuencia de caracteres. (print expresión) on) Ejemplo



PRINT PRINT convierte una expresión on de Lisp en una secuencia de caracteres. (print expresión) on) Ejemplo > (print (list 1 2 3))



PRINT PRINT convierte una expresión on de Lisp en una secuencia de caracteres. (print expresión) on) Ejemplo > (print (list 1 2 3)) (1 2 3); 3); lo que imprim rime en la consola


Referencia b´ asica. Salida

PRINT PRINT convierte una expresión de Lisp en una secuencia de caracteres. (print expresión) Ejemplo > (print (list 1 2 3)) (1 2 3); lo que imprime en la consola (1 2 3); lo que devuelve


Referencia b´ asica. LOAD

LOAD Carga el c´ odigo fuente contenido en un archivo.

Ejemplo



LOAD Carga el c´ odigo fuente contenido en un archivo. (load path-y-nombre-archivo) ; asume la extensión .lsp Ejemplo



LOAD Carga el c´ odigo fuente contenido en un archivo. (load path-y-nombre-archivo) ; asume la extensión .lsp Ejemplo > (load ‘‘mifichero’’)



LOAD Carga el c´ odigo fuente contenido en un archivo. (load path-y-nombre-archivo) ; asume la extensión .lsp Ejemplo > (load ‘‘mifichero’’) T ; T si lo carga, NIL si no lo carga


Resumen

Se han mostrado los elementos básicos de Lisp, pero . . .


Resumen

Se han mostrado los elementos básicos de Lisp, pero . . . Para realizar proyectos más extensos hay que conocer las estrategias de programaci´ on.


Resumen

Se han mostrado los elementos básicos de Lisp, pero . . . Para realizar proyectos más extensos hay que conocer las estrategias de programaci´ on. Se recomienda el libro [2] y el manual de referencia [1]

Programacion Lisp

Recommend Documents