PIA tema 5

1 files changed, 1623 insertions, 238 deletions

diff --git a/pia/n4.lyx b/pia/n4.lyx
index f64f732..409ac7c 100644
--- a/pia/n4.lyx
+++ b/pia/n4.lyx
@@ -382,7 +382,7 @@ Las variables pueden estar en espacios de nombres jerárquicos:
 status open
 
 \begin_layout Plain Layout
-tyvar=varid, tycon=tycls=conid, modid=qconid, qtycon=qtycls=qvarid
+tyvar=varid, tycon=tycls=conid, modid=qtycon=qtycls=qconid
 \end_layout
 
 \end_inset
@@ -629,13 +629,6 @@ lexer
  los inserte como sigue:
 \end_layout
 
-\begin_layout Standard
-\begin_inset Separator plain
-\end_inset
-
-
-\end_layout
-
 \begin_layout Enumerate
 Tras un 
 \family typewriter
@@ -812,7 +805,21 @@ nombre
 valor
 \family default
 \emph default
- describen la gramática libre de contexto de Haskell en ABNF.
+ describen la gramática libre de contexto de Haskell en ABNF, con la extensión
+ de que 
+\family typewriter
+!
+\emph on
+x
+\family default
+\emph default
+ indica que el siguiente elemento no debe tener forma 
+\family typewriter
+\emph on
+x
+\family default
+\emph default
+.
  Cada cadena entre comillas representa un sólo lexema y entre dos lexemas
  puede haber espacio.
  Esta gramática tiene ambigüedades que se resuelven haciendo las frases
@@ -924,6 +931,16 @@ operaciones primitivas
 \series bold
 preludios
 \series default
+, por defecto el 
+\series bold
+preludio estándar
+\series default
+, el módulo 
+\family typewriter
+\lang english
+Prelude
+\family default
+\lang spanish
 .
 \end_layout
 
@@ -974,6 +991,137 @@ varop = varsym /
 
 \end_layout
 
+\begin_layout Plain Layout
+
+con = conid / 
+\begin_inset Quotes cld
+\end_inset
+
+(
+\begin_inset Quotes cld
+\end_inset
+
+ consym 
+\begin_inset Quotes cld
+\end_inset
+
+)
+\begin_inset Quotes crd
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+
+conop = consym / 
+\begin_inset Quotes cld
+\end_inset
+
+`
+\begin_inset Quotes crd
+\end_inset
+
+ conid 
+\begin_inset Quotes cld
+\end_inset
+
+`
+\begin_inset Quotes crd
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+
+qvar = qvarid / 
+\begin_inset Quotes cld
+\end_inset
+
+(
+\begin_inset Quotes cld
+\end_inset
+
+ qvarsym 
+\begin_inset Quotes cld
+\end_inset
+
+)
+\begin_inset Quotes crd
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+
+qvarop = qvarsym / 
+\begin_inset Quotes cld
+\end_inset
+
+`
+\begin_inset Quotes crd
+\end_inset
+
+ qvarid 
+\begin_inset Quotes cld
+\end_inset
+
+`
+\begin_inset Quotes crd
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+
+qcon = qconid / 
+\begin_inset Quotes cld
+\end_inset
+
+(
+\begin_inset Quotes cld
+\end_inset
+
+ gconsym 
+\begin_inset Quotes cld
+\end_inset
+
+)
+\begin_inset Quotes crd
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+
+qconop = gconsym / 
+\begin_inset Quotes cld
+\end_inset
+
+`
+\begin_inset Quotes crd
+\end_inset
+
+ qconid 
+\begin_inset Quotes cld
+\end_inset
+
+`
+\begin_inset Quotes crd
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+
+gconsym = qconsym
+\end_layout
+
 \end_inset
 
 
@@ -998,29 +1146,6 @@ s y una función con nombre normal como operador poniéndola entre comillas
  Se pueden definir nuevos operadores.
 \end_layout
 
-\begin_layout Standard
-La 
-\series bold
-evaluación ansiosa
-\series default
- o 
-\series bold
-llamada por valor
-\series default
- es como el orden aplicativo pero sin evaluar en el interior de abstracciones,
- y la 
-\series bold
-evaluación perezosa
-\series default
- o 
-\series bold
-llamada por nombre
-\series default
- es como el orden normal pero sin evaluar en el interior de abstracciones.
- Haskell usa evaluación perezosa, que al contrario que la ansiosa garantiza
- la terminación si la expresión es normalizable.
-\end_layout
-
 \begin_layout Section
 Tipos
 \end_layout
@@ -1036,6 +1161,7 @@ valor indefinido
 
  correspondiente a las expresiones de ese tipo cuya evaluación no termina,
  aunque también se usa para notificar errores.
+ 
 \end_layout
 
 \begin_layout Standard
@@ -1071,35 +1197,11 @@ atype = gtycon / varid /
 \begin_inset Quotes cld
 \end_inset
 
- type *(
-\begin_inset Quotes cld
-\end_inset
-
-,
-\begin_inset Quotes crd
-\end_inset
-
- type) 
-\begin_inset Quotes cld
-\end_inset
-
-)
-\begin_inset Quotes crd
-\end_inset
-
- / 
-\begin_inset Quotes cld
-\end_inset
-
-[
-\begin_inset Quotes cld
-\end_inset
-
  type 
 \begin_inset Quotes cld
 \end_inset
 
-]
+)
 \begin_inset Quotes crd
 \end_inset
 
@@ -1108,44 +1210,21 @@ atype = gtycon / varid /
 
 \begin_layout Plain Layout
 
-gtycon = qtycon / 
-\begin_inset Quotes cld
-\end_inset
-
-(
-\begin_inset Quotes cld
-\end_inset
-
- 
-\begin_inset Quotes cld
-\end_inset
-
-)
-\begin_inset Quotes crd
-\end_inset
-
- / 
-\begin_inset Quotes cld
-\end_inset
-
-[
-\begin_inset Quotes cld
-\end_inset
-
- 
-\begin_inset Quotes cld
-\end_inset
+gtycon = qconid
+\end_layout
 
-]
-\begin_inset Quotes crd
 \end_inset
 
 
 \end_layout
 
-\end_inset
-
-
+\begin_layout Standard
+Un tipo puede ser un 
+\family typewriter
+qconid
+\family default
+, cuyo significado depende del entorno, y esta definición puede aceptar
+ un número fijo de parámetros que también son tipos.
 \end_layout
 
 \begin_layout Standard
@@ -1206,17 +1285,173 @@ iguales
 \end_layout
 
 \begin_layout Standard
-\begin_inset Note Note
-status open
+Un 
+\family typewriter
+varid
+\family default
+ representa una variable libre, y cuando el tipo que se asigna a una expresión
+ tiene alguna variable libre, el tipo de la expresión es 
+\series bold
+polimórfico
+\series default
+, genérico sobre los valores de las variables libres.
+\end_layout
 
-\begin_layout Plain Layout
+\begin_layout Standard
+Tipos primitivos en el 
+\family typewriter
+Prelude
+\family default
+:
+\end_layout
+
+\begin_layout Description
+
+\family typewriter
+Char
+\family default
+ Caracteres Unicode.
+\end_layout
+
+\begin_layout Description
+
+\family typewriter
+Double
+\family default
+ Números de punto flotante de precisión doble.
+\end_layout
+
+\begin_layout Description
+
+\family typewriter
+Float
+\family default
+ Números de punto flotante de precisión simple.
+\end_layout
+
+\begin_layout Description
+
+\family typewriter
+Int
+\begin_inset space ~
+\end_inset
+
+=
+\begin_inset space ~
+\end_inset
+
+minBound
+\begin_inset space ~
+\end_inset
+
+...
+\begin_inset space ~
+\end_inset
+
+-1
+\begin_inset space ~
+\end_inset
+
+|
+\begin_inset space ~
+\end_inset
+
+0
+\begin_inset space ~
+\end_inset
+
+|
+\begin_inset space ~
+\end_inset
+
+1
+\begin_inset space ~
+\end_inset
+
+...
+\begin_inset space ~
+\end_inset
+
+maxBound
+\family default
+ Enteros de tamaño limitado, con al menos los del rango 
+\begin_inset Formula $[-2^{29},2^{29})$
+\end_inset
+
+.
+\end_layout
+
+\begin_layout Description
+
+\family typewriter
+Integer
+\begin_inset space ~
+\end_inset
+
+=
+\begin_inset space ~
+\end_inset
+
+...
+\begin_inset space ~
+\end_inset
+
+-1
+\begin_inset space ~
+\end_inset
+
+|
+\begin_inset space ~
+\end_inset
+
+0
+\begin_inset space ~
+\end_inset
+
+|
+\begin_inset space ~
+\end_inset
+
+1
+\begin_inset space ~
+\end_inset
+
+...
+
+\family default
+ Enteros de tamaño arbitrario.
+\end_layout
+
+\begin_layout Standard
+También son predefinidos las 
+\series bold
+tuplas
+\series default
+, productos directos de un número fijo de tipos escritos entre paréntesis,
+ las 
+\series bold
+listas
+\series default
+, secuencias finitas de elementos del mismo tipo escrito entre corchetes,
+ y el 
+\series bold
+tipo unidad
+\series default
+ 
+\family typewriter
+()
+\family default
+, con un solo elemento:
+\end_layout
+
+\begin_layout Standard
 \begin_inset listings
 inline false
 status open
 
 \begin_layout Plain Layout
 
-aexp /= 
+atype /= 
 \begin_inset Quotes cld
 \end_inset
 
@@ -1224,7 +1459,7 @@ aexp /=
 \begin_inset Quotes cld
 \end_inset
 
- exp *(
+ type 1*(
 \begin_inset Quotes cld
 \end_inset
 
@@ -1232,7 +1467,7 @@ aexp /=
 \begin_inset Quotes crd
 \end_inset
 
- exp) 
+ type 
 \begin_inset Quotes cld
 \end_inset
 
@@ -1248,25 +1483,49 @@ aexp /=
 \begin_inset Quotes cld
 \end_inset
 
- exp *(
+ type 
 \begin_inset Quotes cld
 \end_inset
 
-,
+]
 \begin_inset Quotes crd
 \end_inset
 
- exp) 
+
+\end_layout
+
+\begin_layout Plain Layout
+
+gtycon /= 
 \begin_inset Quotes cld
 \end_inset
 
-]
+(
+\begin_inset Quotes cld
+\end_inset
+
+ 
+\begin_inset Quotes cld
+\end_inset
+
+)
 \begin_inset Quotes crd
 \end_inset
 
+ / 
+\begin_inset Quotes cld
+\end_inset
 
-\end_layout
+[
+\begin_inset Quotes cld
+\end_inset
 
+ 
+\begin_inset Quotes cld
+\end_inset
+
+]
+\begin_inset Quotes crd
 \end_inset
 
 
@@ -1278,65 +1537,195 @@ aexp /=
 \end_layout
 
 \begin_layout Standard
-\begin_inset Note Note
+Podemos definir nuevos tipos para aumentar la seguridad de los programas:
+\end_layout
+
+\begin_layout Standard
+\begin_inset listings
+inline false
 status open
 
 \begin_layout Plain Layout
-(*), (<=), ->, (+), div, (^), (/), (.), Float, pi, Integer, not, True, False,
- (1*,), (), [*,], [], (:), otherwise, error, (-)
+
+topdecl /= 
+\begin_inset Quotes cld
+\end_inset
+
+data
+\begin_inset Quotes crd
+\end_inset
+
+ [context 
+\begin_inset Quotes cld
+\end_inset
+
+=>
+\begin_inset Quotes crd
+\end_inset
+
+] simpletype 
+\begin_inset Quotes cld
+\end_inset
+
+=
+\begin_inset Quotes crd
+\end_inset
+
+ constrs [deriving]
 \end_layout
 
+\begin_layout Plain Layout
+
+constrs = constr *(
+\begin_inset Quotes cld
 \end_inset
 
+|
+\begin_inset Quotes crd
+\end_inset
 
+ constr)
 \end_layout
 
-\begin_layout Standard
-\begin_inset Note Note
-status open
+\begin_layout Plain Layout
+
+constr = conid *atype / (btype / 
+\begin_inset Quotes cld
+\end_inset
+
+!
+\begin_inset Quotes crd
+\end_inset
+
+ atype) conop (btype / 
+\begin_inset Quotes cld
+\end_inset
+
+!
+\begin_inset Quotes crd
+\end_inset
+
+ atype)
+\end_layout
 
 \begin_layout Plain Layout
+
+simpletype = conid *varid
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+Cada 
+\family typewriter
+constr
+\family default
+ se refiere al tipo producto de los 
+\family typewriter
+atype
+\family default
+ etiquetado con el 
+\family typewriter
+conid
+\family default
+, o bien a un tipo unipuntual con ese nombre, y el tipo 
+\family typewriter
+simpletype
+\family default
+ es la unión disjunta de estos tipos producto y de 
+\begin_inset Formula $\{\bot\}$
+\end_inset
+
+.
+ Si 
+\family typewriter
+simpletype
+\family default
+ contiene variables, estas corresponden a parámetros de tipo, y los 
+\family typewriter
+constrs
+\family default
+ solo pueden contener variables que aparezcan en el 
+\family typewriter
+simpletype
+\family default
+.
+ El 
+\family typewriter
+Prelude
+\family default
+ define 
+\family typewriter
+data Bool = False | True
+\family default
+.
+\end_layout
+
+\begin_layout Standard
+También es posible añadir nombres a los campos:
+\end_layout
+
+\begin_layout Standard
 \begin_inset listings
 inline false
 status open
 
 \begin_layout Plain Layout
 
-funlhs /= 
+constr /= con 
 \begin_inset Quotes cld
 \end_inset
 
-(
+{
 \begin_inset Quotes cld
 \end_inset
 
- funlhs 
+ [fielddecl *(
 \begin_inset Quotes cld
 \end_inset
 
-)
+,
 \begin_inset Quotes crd
 \end_inset
 
- 1*apat
-\end_layout
+ fielddecl)] 
+\begin_inset Quotes cld
+\end_inset
+
+}
+\begin_inset Quotes crd
+\end_inset
 
-\begin_layout Plain Layout
 
-lpat /= gcon 1*apat
 \end_layout
 
 \begin_layout Plain Layout
 
-guards /=  
+fielddecl = vars 
 \begin_inset Quotes cld
 \end_inset
 
-|
+::
 \begin_inset Quotes crd
 \end_inset
 
- guard *(
+ (type / 
+\begin_inset Quotes cld
+\end_inset
+
+!
+\begin_inset Quotes crd
+\end_inset
+
+ atype)
+\end_layout
+
+\begin_layout Plain Layout
+
+vars = var *(
 \begin_inset Quotes cld
 \end_inset
 
@@ -1344,114 +1733,257 @@ guards /=
 \begin_inset Quotes crd
 \end_inset
 
- guard)
+ var)
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+Cada 
+\family typewriter
+var
+\family default
+ define un campo del tipo producto, y por cada una se crea una función del
+ tipo definido al tipo de la variable que devuelve el valor en esa posición
+ si la variable es de la variante 
+\family typewriter
+con
+\family default
+ o 
+\begin_inset Formula $\bot$
+\end_inset
+
+ en otro caso.
+ Un 
+\series bold
+tipo recursivo
+\series default
+ es uno que se tiene al mismo en la parte derecha de la definición, consiguiendo
+ valores recursivos.
+\end_layout
+
+\begin_layout Standard
+Los 
+\series bold
+sinónimos de tipo
+\series default
+ permiten definir abreviaturas para tipos comunes, que internamente se expanden
+ al tipo a la derecha:
+\end_layout
+
+\begin_layout Standard
+\begin_inset listings
+inline false
+status open
+
 \begin_layout Plain Layout
 
-apat /= 
+topdecl /= 
 \begin_inset Quotes cld
 \end_inset
 
-(
+type
+\begin_inset Quotes crd
+\end_inset
+
+ simpletype 
 \begin_inset Quotes cld
 \end_inset
 
- pat 1*(
+=
+\begin_inset Quotes crd
+\end_inset
+
+ type
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+Las cadenas de caracteres se definen como 
+\family typewriter
+type String = [Char]
+\family default
+.
+\end_layout
+
+\begin_layout Standard
+\begin_inset listings
+inline false
+status open
+
+\begin_layout Plain Layout
+
+topdecl /= 
 \begin_inset Quotes cld
 \end_inset
 
-,
+newtype
 \begin_inset Quotes crd
 \end_inset
 
- pat) 
+ [context 
 \begin_inset Quotes cld
 \end_inset
 
-)
+=>
 \begin_inset Quotes crd
 \end_inset
 
- / 
+] simpletype = newconstr [deriving]
+\end_layout
+
+\begin_layout Plain Layout
+
+newconstr = con atype / con 
 \begin_inset Quotes cld
 \end_inset
 
-[
+{
 \begin_inset Quotes cld
 \end_inset
 
- pat *(
+ var 
 \begin_inset Quotes cld
 \end_inset
 
-,
+::
 \begin_inset Quotes crd
 \end_inset
 
- pat) 
+ type 
 \begin_inset Quotes cld
 \end_inset
 
-]
+}
 \begin_inset Quotes crd
 \end_inset
 
- / gcon
+
 \end_layout
 
-\begin_layout Plain Layout
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+Crea un tipo que etiqueta a otro.
+ Equivale a cambiar 
+\family typewriter
+newtype
+\family default
+ por 
+\family typewriter
+data
+\family default
+ pero sin añadir un 
+\begin_inset Formula $\bot$
+\end_inset
 
-aexp /= gcon
+ adicional.
 \end_layout
 
+\begin_layout Section
+Clases de tipos
+\end_layout
+
+\begin_layout Standard
+Son una forma de polimorfismo basada en clases cuyas instancias son tipos:
+\end_layout
+
+\begin_layout Standard
+\begin_inset listings
+inline false
+status open
+
 \begin_layout Plain Layout
 
-gtycon /= 
+topdecl /= 
 \begin_inset Quotes cld
 \end_inset
 
-(
+class
+\begin_inset Quotes crd
+\end_inset
+
+ [scontext 
 \begin_inset Quotes cld
 \end_inset
 
- 
+=>
+\begin_inset Quotes crd
+\end_inset
+
+] conid varid [
 \begin_inset Quotes cld
 \end_inset
 
-->
+where
 \begin_inset Quotes crd
 \end_inset
 
- 
+ cdecls]
+\end_layout
+
+\begin_layout Plain Layout
+
+        / 
 \begin_inset Quotes cld
 \end_inset
 
-)
+instance
 \begin_inset Quotes crd
 \end_inset
 
- / 
+ [scontext 
 \begin_inset Quotes cld
 \end_inset
 
-(
+=>
+\begin_inset Quotes crd
+\end_inset
+
+] qconid inst [
 \begin_inset Quotes cld
 \end_inset
 
- 1*
+where
 \begin_inset Quotes crd
 \end_inset
 
-,
+ idecls]
+\end_layout
+
+\begin_layout Plain Layout
+
+cdecls = 
+\begin_inset Quotes cld
+\end_inset
+
+{
+\begin_inset Quotes cld
+\end_inset
+
+ [cdecl *(
+\begin_inset Quotes cld
+\end_inset
+
+;
 \begin_inset Quotes crd
 \end_inset
 
- 
+ cdecl) 
 \begin_inset Quotes cld
 \end_inset
 
-)
+}
 \begin_inset Quotes crd
 \end_inset
 
@@ -1460,15 +1992,15 @@ gtycon /=
 
 \begin_layout Plain Layout
 
-gcon = 
+inst = gtycon / 
 \begin_inset Quotes cld
 \end_inset
 
 (
-\begin_inset Quotes crd
+\begin_inset Quotes cld
 \end_inset
 
- 
+ gtycon *varid 
 \begin_inset Quotes cld
 \end_inset
 
@@ -1480,11 +2012,40 @@ gcon =
 \begin_inset Quotes cld
 \end_inset
 
+(
+\begin_inset Quotes cld
+\end_inset
+
+ varid 1*(
+\begin_inset Quotes cld
+\end_inset
+
+,
+\begin_inset Quotes crd
+\end_inset
+
+ varid) 
+\begin_inset Quotes cld
+\end_inset
+
+)
+\begin_inset Quotes crd
+\end_inset
+
+ /
+\end_layout
+
+\begin_layout Plain Layout
+
+     / 
+\begin_inset Quotes cld
+\end_inset
+
 [
 \begin_inset Quotes cld
 \end_inset
 
- 
+ varid 
 \begin_inset Quotes cld
 \end_inset
 
@@ -1500,15 +2061,15 @@ gcon =
 \begin_inset Quotes cld
 \end_inset
 
- 1*
-\begin_inset Quotes crd
+ varid 
+\begin_inset Quotes cld
 \end_inset
 
-,
+->
 \begin_inset Quotes crd
 \end_inset
 
- 
+ varid 
 \begin_inset Quotes cld
 \end_inset
 
@@ -1521,50 +2082,150 @@ gcon =
 
 \begin_layout Plain Layout
 
-op = varop / conop
-\end_layout
+idecls = 
+\begin_inset Quotes cld
+\end_inset
 
-\begin_layout Plain Layout
+{
+\begin_inset Quotes cld
+\end_inset
 
-conop = 
+ [idecl *(
 \begin_inset Quotes cld
 \end_inset
 
-`
+;
 \begin_inset Quotes crd
 \end_inset
 
- conid 
+ idecl)] 
 \begin_inset Quotes cld
 \end_inset
 
-`
+}
 \begin_inset Quotes crd
 \end_inset
 
 
 \end_layout
 
-\begin_layout Plain Layout
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+Una declaración 
+\family typewriter
+class
+\family default
+ define una clase 
+\family typewriter
+conid
+\family default
+ y una serie de vínculos en el contexto global dados por las asignaciones
+ de tipo en las 
+\family typewriter
+cdecl
+\family default
+, en las que 
+\family typewriter
+varid
+\family default
+ se refiere a un tipo cualquiera de clase 
+\family typewriter
+conid
+\family default
+ y debe aparecer alguna vez en el tipo.
+ Una 
+\series bold
+declaración de instancia
+\series default
+ 
+\family typewriter
+instance
+\family default
+ indica que el tipo 
+\family typewriter
+inst
+\family default
+ es de la clase 
+\family typewriter
+qconid
+\family default
+ y da las definiciones de los vínculos establecidos por la clase cuando
+ el tipo 
+\family typewriter
+varid
+\family default
+ se sustituye por 
+\family typewriter
+inst
+\family default
+, llamadas 
+\series bold
+métodos
+\series default
+.
+ Los nombres de métodos son miembros de una única clase, lo que evita conflictos
+ entre nombres.
+\end_layout
 
-qop = qvarop / qconop
+\begin_layout Standard
+La declaración 
+\family typewriter
+class
+\family default
+ puede contener definiciones por defecto para los vínculos, en cuyo caso
+ no es necesario dar estas definiciones en las instancias, y también puede
+ declarar la aridad de operadores definidos en la clase.
+ Sin embargo, es común que las definiciones por defecto estén unas en función
+ de otras y haya que definir al menos un elemento para romper el ciclo.
+ La 
+\series bold
+definición mínima completa
+\series default
+ de una clase es cualquier conjunto minimal de definiciones de la clase
+ que deben definir las instancias.
 \end_layout
 
+\begin_layout Standard
+Las declaraciones pueden tener un 
+\series bold
+contexto
+\series default
+ para restringir los valores por los que se pueden sustituir las variables
+ de tipo:
+\end_layout
+
+\begin_layout Standard
+\begin_inset listings
+inline false
+status open
+
 \begin_layout Plain Layout
 
-qvarop = qvarsym / 
+context = class / 
 \begin_inset Quotes cld
 \end_inset
 
-`
+(
+\begin_inset Quotes cld
+\end_inset
+
+ [class *(
+\begin_inset Quotes cld
+\end_inset
+
+,
 \begin_inset Quotes crd
 \end_inset
 
- qvarid 
+ class)] 
 \begin_inset Quotes cld
 \end_inset
 
-`
+)
 \begin_inset Quotes crd
 \end_inset
 
@@ -1573,19 +2234,19 @@ qvarop = qvarsym /
 
 \begin_layout Plain Layout
 
-qconop = gconsym / 
+class = qconid varid / qconid 
 \begin_inset Quotes cld
 \end_inset
 
-`
-\begin_inset Quotes crd
+(
+\begin_inset Quotes cld
 \end_inset
 
- qconid 
+ varid 1*atype 
 \begin_inset Quotes cld
 \end_inset
 
-`
+)
 \begin_inset Quotes crd
 \end_inset
 
@@ -1594,17 +2255,178 @@ qconop = gconsym /
 
 \begin_layout Plain Layout
 
-gconsym = 
+scontext = simpleclass / 
 \begin_inset Quotes cld
 \end_inset
 
-:
+(
+\begin_inset Quotes cld
+\end_inset
+
+ [simpleclass *(
+\begin_inset Quotes cld
+\end_inset
+
+,
+\begin_inset Quotes crd
+\end_inset
+
+ simpleclass)] 
+\begin_inset Quotes cld
+\end_inset
+
+)
 \begin_inset Quotes crd
 \end_inset
 
- / qconsym
+
+\end_layout
+
+\begin_layout Plain Layout
+
+simpleclass = qconid varid
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+Las sustituciones deben respetar que cada 
+\family typewriter
+varid
+\family default
+ o 
+\family typewriter
+varid 1*atype
+\family default
+ sea de la clase 
+\family typewriter
+qconid
+\family default
+.
+ Esto es necesario cuando en la definición de una función se quieren usar
+ funciones definidas en una clase, y de hecho el tipo de estas funciones
+ tiene una restricción en su contexto.
+\end_layout
+
+\begin_layout Standard
+Si una clase 
+\family typewriter
+class 
+\family default
+...
+
+\family typewriter
+ => 
+\emph on
+Foo a
+\family default
+\emph default
+ tiene 
+\family typewriter
+\emph on
+Bar a
+\family default
+\emph default
+ en su contexto, 
+\family typewriter
+\emph on
+Bar
+\family default
+\emph default
+ es 
+\series bold
+superclase
+\series default
+ de 
+\family typewriter
+\emph on
+Foo
+\family default
+\emph default
+ y 
+\family typewriter
+\emph on
+Foo
+\family default
+\emph default
+ es 
+\series bold
+subclase
+\series default
+ de 
+\family typewriter
+\emph on
+Bar
+\family default
+\emph default
+, y todo contexto que indique que una variable o expresión tiene tipo 
+\family typewriter
+\emph on
+Foo
+\family default
+\emph default
+ permite usar sobre ella además de las operaciones de 
+\family typewriter
+\emph on
+Foo
+\family default
+\emph default
+ las de 
+\family typewriter
+\emph on
+Bar
+\family default
+\emph default
+, recursivamente.
+ El contexto de un método no puede tener restricciones sobre la variable
+ de la clase.
+\end_layout
+
+\begin_layout Standard
+Se pueden derivar automáticamente las definiciones de algunas clases predefinida
+s:
 \end_layout
 
+\begin_layout Standard
+\begin_inset listings
+inline false
+status open
+
+\begin_layout Plain Layout
+
+deriving = 
+\begin_inset Quotes cld
+\end_inset
+
+deriving
+\begin_inset Quotes crd
+\end_inset
+
+ (qconid / 
+\begin_inset Quotes cld
+\end_inset
+
+(
+\begin_inset Quotes cld
+\end_inset
+
+ [qconid *(
+\begin_inset Quotes cld
+\end_inset
+
+,
+\begin_inset Quotes crd
+\end_inset
+
+ qconid)] 
+\begin_inset Quotes cld
+\end_inset
+
+)
+\begin_inset Quotes crd
 \end_inset
 
 
@@ -1615,11 +2437,69 @@ gconsym =
 
 \end_layout
 
+\begin_layout Standard
+Haskell soporta 
+\series bold
+tipos de alto rango
+\series default
+, lo que significa que las instancias de una clase pueden ser tipos que
+ acepten parámetros, y no necesariamente tipos completos.
+\end_layout
+
 \begin_layout Section
 Expresiones
 \end_layout
 
 \begin_layout Standard
+Haskell tiene 
+\series bold
+disciplina de tipos
+\series default
+, consistente en que toda expresión bien formada tiene un tipo deducible
+ a partir de sus subexpresiones y el contexto, y las expresiones a las que
+ no se puede asignar un tipo están mal formadas.
+ Esto permite detectar errores antes de la evaluación y fuerza al programador
+ se plantearse tipos apropiados para los valores, ayudando a diseñar programas
+ claros y bien estructurados.
+\end_layout
+
+\begin_layout Standard
+Al empezar a evaluar una expresión, primero se comprueba que la sintaxis
+ sea correcta y, si no lo es, se produce un 
+\series bold
+error de sintaxis
+\series default
+, y luego se comprueba si tiene un tipo correcto y si no se produce un 
+\series bold
+error de tipo
+\series default
+.
+\end_layout
+
+\begin_layout Standard
+La 
+\series bold
+evaluación ansiosa
+\series default
+ o 
+\series bold
+llamada por valor
+\series default
+ es como el orden aplicativo pero sin evaluar en el interior de abstracciones,
+ y la 
+\series bold
+evaluación perezosa
+\series default
+ o 
+\series bold
+llamada por nombre
+\series default
+ es como el orden normal pero sin evaluar en el interior de abstracciones.
+ Haskell usa evaluación perezosa, que al contrario que la ansiosa garantiza
+ la terminación si la expresión es normalizable.
+\end_layout
+
+\begin_layout Standard
 \begin_inset listings
 inline false
 status open
@@ -1678,7 +2558,23 @@ in
 
 \begin_layout Plain Layout
 
-aexp = qvar / literal
+aexp = qvar / literal / 
+\begin_inset Quotes cld
+\end_inset
+
+(
+\begin_inset Quotes cld
+\end_inset
+
+ exp 
+\begin_inset Quotes cld
+\end_inset
+
+)
+\begin_inset Quotes crd
+\end_inset
+
+
 \end_layout
 
 \begin_layout Plain Layout
@@ -1765,8 +2661,21 @@ lexp qop infixexp
 \family typewriter
 (qop) lexp infixexp
 \family default
-, aunque realmente distintos operadores tienen distinta precedencia y asociativi
-dad, establecidas con la sintaxis:
+, aunque realmente distintos operadores tienen distinta precedencia del
+ 0 al 9 y asociatividad.
+ El operador 
+\family typewriter
+-
+\family default
+ es el único unario, y representa la negación.
+\end_layout
+
+\begin_layout Standard
+Una 
+\series bold
+sección
+\series default
+ es un operador con una expresión delante o detrás:
 \end_layout
 
 \begin_layout Standard
@@ -1776,29 +2685,19 @@ status open
 
 \begin_layout Plain Layout
 
-gendecl /= fixity [integer] ops
-\end_layout
-
-\begin_layout Plain Layout
-
-ops = op *(
+aexp /= 
 \begin_inset Quotes cld
 \end_inset
 
-,
-\begin_inset Quotes crd
+(
+\begin_inset Quotes cld
 \end_inset
 
- op)
-\end_layout
-
-\begin_layout Plain Layout
-
-fixity = 
+ infixexp qop 
 \begin_inset Quotes cld
 \end_inset
 
-infixl
+)
 \begin_inset Quotes crd
 \end_inset
 
@@ -1806,15 +2705,23 @@ infixl
 \begin_inset Quotes cld
 \end_inset
 
-infixr
+(
+\begin_inset Quotes cld
+\end_inset
+
+ !
 \begin_inset Quotes crd
 \end_inset
 
- / 
+-
+\begin_inset Quotes crd
+\end_inset
+
+ qop infixexp 
 \begin_inset Quotes cld
 \end_inset
 
-infix
+)
 \begin_inset Quotes crd
 \end_inset
 
@@ -1827,29 +2734,106 @@ infix
 \end_layout
 
 \begin_layout Standard
-El entero opcional va del 0 al 9 y es mayor a mayor precedencia, y se usa
- 
+
 \family typewriter
-infixl
+(
+\emph on
+infixexp qop
+\emph default
+)
 \family default
- para indicar asociatividad por la izquierda o 
+ equivale a 
 \family typewriter
-infixr
+
+\backslash
+y -> 
+\emph on
+infixexp qop
+\emph default
+ y
 \family default
- por la derecha.
- El operador 
+ y 
 \family typewriter
--
+(
+\emph on
+qop infixexp
+\emph default
+)
 \family default
- es el único unario, y representa la negación.
+ a 
+\family typewriter
+
+\backslash
+x -> x 
+\emph on
+qop infixexp
+\family default
+\emph default
+.
 \end_layout
 
 \begin_layout Standard
-Una 
-\series bold
-sección
-\series default
- es un operador con una expresión delante o detrás:
+La negación 
+\family typewriter
+-
+\emph on
+a
+\family default
+\emph default
+ equivale a 
+\family typewriter
+Prelude.negate 
+\emph on
+a
+\family default
+\emph default
+; los literales 
+\family typewriter
+char
+\family default
+ son de tipo 
+\family typewriter
+Char
+\family default
+; los 
+\family typewriter
+string
+\family default
+ de tipo 
+\family typewriter
+String
+\family default
+; los 
+\family typewriter
+integer
+\family default
+ equivalen a 
+\family typewriter
+Prelude.fromInteger (
+\emph on
+x
+\emph default
+ :: Prelude.Integer)
+\family default
+, siendo 
+\family typewriter
+\emph on
+x
+\family default
+\emph default
+ el entero indicado, y los 
+\family typewriter
+float
+\family default
+ a 
+\family typewriter
+Prelude.fromRational (
+\emph on
+x
+\emph default
+ :: Data.Ratio.Rational)
+\family default
+.
 \end_layout
 
 \begin_layout Standard
@@ -1867,7 +2851,15 @@ aexp /=
 \begin_inset Quotes cld
 \end_inset
 
- infixexp qop 
+ exp 1*(
+\begin_inset Quotes cld
+\end_inset
+
+,
+\begin_inset Quotes crd
+\end_inset
+
+ exp) 
 \begin_inset Quotes cld
 \end_inset
 
@@ -1879,11 +2871,40 @@ aexp /=
 \begin_inset Quotes cld
 \end_inset
 
+[
+\begin_inset Quotes cld
+\end_inset
+
+ exp *(
+\begin_inset Quotes cld
+\end_inset
+
+,
+\begin_inset Quotes crd
+\end_inset
+
+ exp) 
+\begin_inset Quotes cld
+\end_inset
+
+]
+\begin_inset Quotes crd
+\end_inset
+
+ / gcon
+\end_layout
+
+\begin_layout Plain Layout
+
+gcon = 
+\begin_inset Quotes cld
+\end_inset
+
 (
 \begin_inset Quotes cld
 \end_inset
 
- qop infixexp 
+ 
 \begin_inset Quotes cld
 \end_inset
 
@@ -1891,50 +2912,96 @@ aexp /=
 \begin_inset Quotes crd
 \end_inset
 
+ / 
+\begin_inset Quotes cld
+\end_inset
+
+[
+\begin_inset Quotes cld
+\end_inset
 
+ 
+\begin_inset Quotes cld
+\end_inset
+
+]
+\begin_inset Quotes crd
+\end_inset
+
+ / qcon
 \end_layout
 
+\begin_layout Plain Layout
+
+gconsym /= 
+\begin_inset Quotes cld
+\end_inset
+
+:
+\begin_inset Quotes crd
 \end_inset
 
 
 \end_layout
 
-\begin_layout Standard
+\end_inset
+
 
+\end_layout
+
+\begin_layout Standard
+La primera sintaxis indica una tupla, la segunda una lista de un tamaño
+ dado, 
 \family typewriter
-(
+()
+\family default
+ el tipo unidad, 
+\family typewriter
+[]
+\family default
+ la lista vacía y un 
+\family typewriter
+qconid
+\family default
+ es un constructor de tipo, que actúa como una función currificada que recibe
+ tantos parámetros como aparezcan en la definición y del tipo correcto y
+ devuelve un elemento del tipo definido.
+ Finalmente, 
+\family typewriter
+(:) :: a -> [a] -> [a]
+\family default
+ es un operador asociativo por la derecha con precedencia 5 que añade un
+ elemento al inicio de una lista, con lo que 
+\family typewriter
+[
 \emph on
-infixexp qop
+a1
 \emph default
-)
+, 
 \family default
- equivale a 
+...
 \family typewriter
-
-\backslash
-y -> 
+, 
 \emph on
-infixexp qop
+an
 \emph default
- y
+]
 \family default
- y 
+ equivale a 
 \family typewriter
-(
 \emph on
-qop infixexp
+a1
 \emph default
-)
+:
 \family default
- a 
+...
 \family typewriter
-
-\backslash
-x -> x 
+:
 \emph on
-qop infixexp
-\family default
+an
 \emph default
+:[]
+\family default
 .
 \end_layout
 
@@ -1949,7 +3016,7 @@ status open
 
 \begin_layout Plain Layout
 
-pat = lpat
+pat = lpat / lpat qconop pat
 \end_layout
 
 \begin_layout Plain Layout
@@ -1962,7 +3029,7 @@ lpat = apat /
 \begin_inset Quotes crd
 \end_inset
 
- (integer / float)
+ (integer / float) / gcon 1*apat
 \end_layout
 
 \begin_layout Plain Layout
@@ -1999,7 +3066,102 @@ _
 \begin_inset Quotes crd
 \end_inset
 
+ / gcon /
+\end_layout
+
+\begin_layout Plain Layout
+
+     / qcon 
+\begin_inset Quotes cld
+\end_inset
+
+{
+\begin_inset Quotes cld
+\end_inset
+
+ [fpat *(
+\begin_inset Quotes cld
+\end_inset
+
+,
+\begin_inset Quotes crd
+\end_inset
+
+ fpat)] 
+\begin_inset Quotes cld
+\end_inset
+
+}
+\begin_inset Quotes crd
+\end_inset
+
+ / 
+\begin_inset Quotes cld
+\end_inset
+
+(
+\begin_inset Quotes cld
+\end_inset
+
+ pat 1*(
+\begin_inset Quotes cld
+\end_inset
+
+,
+\begin_inset Quotes crd
+\end_inset
+
+ pat) 
+\begin_inset Quotes cld
+\end_inset
+
+)
+\begin_inset Quotes crd
+\end_inset
+
+ /
+\end_layout
+
+\begin_layout Plain Layout
+
+     / 
+\begin_inset Quotes cld
+\end_inset
+
+[
+\begin_inset Quotes cld
+\end_inset
+
+ pat *(
+\begin_inset Quotes cld
+\end_inset
+
+,
+\begin_inset Quotes crd
+\end_inset
+
+ pat) 
+\begin_inset Quotes cld
+\end_inset
+
+]
+\begin_inset Quotes crd
+\end_inset
+
+
+\end_layout
+
+\begin_layout Plain Layout
+
+fpat = qvar 
+\begin_inset Quotes cld
+\end_inset
+
+=
+\begin_inset Quotes crd
+\end_inset
 
+ pat
 \end_layout
 
 \end_inset
@@ -2049,8 +3211,68 @@ apat
 .
  Una misma variable no puede aparecer dos veces en la misma lista de patrones,
  ni siquiera como subpatrón.
- Un literal o su negación no crea vínculos y encaja sólo si el argumento
- es igual a él.
+ Un literal, su negación o un 
+\family typewriter
+gcon
+\family default
+ suelto recibe un argumento del tipo que tendría como expresión, no crea
+ vínculos y encaja sólo si el argumento es igual a él.
+ 
+\end_layout
+
+\begin_layout Standard
+Un patrón 
+\family typewriter
+qcon 1*apat
+\family default
+, con tantos 
+\family typewriter
+apat
+\family default
+ como parámetros tenga el constructor 
+\family typewriter
+qcon
+\family default
+, acepta un argumento del tipo que crearía el constructor y encaja si este
+ es de la variante dada y cada 
+\family typewriter
+apat
+\family default
+ encaja con el elemento correspondiente de la variante, añadiendo los vínculos
+ de los 
+\family typewriter
+apat
+\family default
+.
+ Uno 
+\family typewriter
+qcon { 
+\family default
+...
+
+\family typewriter
+ }
+\family default
+ es similar pero para constructores definidos con llaves, y 
+\family typewriter
+( 
+\family default
+...
+
+\family typewriter
+ )
+\family default
+ y 
+\family typewriter
+[ 
+\family default
+...
+
+\family typewriter
+ ]
+\family default
+ hacen lo propio con tuplas y listas, entendiendo que las listas deben tener
+ tantos elementos como patrones haya para encajar.
 \end_layout
 
 \begin_layout Standard
@@ -2354,6 +3576,28 @@ exp
 \family default
 \emph default
 .
+ Todas las guardas deben tener tipo 
+\family typewriter
+Bool
+\family default
+ y todas las partes derechas de 
+\family typewriter
+gdpat
+\family default
+ o 
+\family typewriter
+alt
+\family default
+ de la misma 
+\family typewriter
+case
+\family default
+ deben tener el mismo tipo o intersección no vacía, y el tipo de la expresión
+ 
+\family typewriter
+case
+\family default
+ será la intersección de los tipos de las partes derechas.
 \end_layout
 
 \begin_layout Standard
@@ -2464,6 +3708,81 @@ exp
 \end_inset
 
  en otro caso.
+ El tipo de los parámetros puede ser restringido por los patrones y los
+ usos que se les da a las variables en 
+\family typewriter
+\emph on
+exp
+\family default
+\emph default
+, y el tipo de la función es de la forma [
+\family typewriter
+\emph on
+contexto
+\emph default
+ =>
+\family default
+]
+\family typewriter
+ 
+\emph on
+t
+\begin_inset Formula $_{1}$
+\end_inset
+
+ -> 
+\family default
+\emph default
+...
+
+\family typewriter
+\emph on
+ -> t
+\begin_inset Formula $_{n}$
+\end_inset
+
+
+\emph default
+ -> 
+\emph on
+r
+\family default
+\emph default
+, donde los 
+\family typewriter
+\emph on
+t
+\begin_inset Formula $_{i}$
+\end_inset
+
+
+\family default
+\emph default
+ son los tipos de los parámetros, que pueden contener variables posiblemente
+ restringidas por el 
+\family typewriter
+\emph on
+contexto
+\family default
+\emph default
+, y 
+\family typewriter
+\emph on
+r
+\family default
+\emph default
+ es el tipo que tiene el resultado cuando las variables tienen los tipos
+ dados por los 
+\family typewriter
+\emph on
+t
+\begin_inset Formula $_{i}$
+\end_inset
+
+
+\family default
+\emph default
+.
 \end_layout
 
 \begin_layout Section
@@ -2482,6 +3801,10 @@ definición
 asignación de tipo
 \series default
  opcional, que indica el tipo de la variable, y una serie de ecuaciones.
+ La asignación del tipo debe corresponder o al tipo inferido o a una restricción
+, no se puede dar más de una asignación a la misma variable y, si se asigna
+ un tipo más restringido, no se puede usar la variable como si tuviera el
+ tipo más general.
 \end_layout
 
 \begin_layout Standard
@@ -2496,6 +3819,16 @@ decl = gendecl / (funlhs / pat) rhs
 
 \begin_layout Plain Layout
 
+cdecl = gendecl / (funlhs / var) rhs
+\end_layout
+
+\begin_layout Plain Layout
+
+idecl = (funlhs / var) rhs /
+\end_layout
+
+\begin_layout Plain Layout
+
 gendecl = vars 
 \begin_inset Quotes cld
 \end_inset
@@ -2504,12 +3837,12 @@ gendecl = vars
 \begin_inset Quotes crd
 \end_inset
 
- type
+ type / fixity [integer] ops
 \end_layout
 
 \begin_layout Plain Layout
 
-vars = var *(
+ops = op *(
 \begin_inset Quotes cld
 \end_inset
 
@@ -2517,11 +3850,36 @@ vars = var *(
 \begin_inset Quotes crd
 \end_inset
 
- var)
+ op)
 \end_layout
 
 \begin_layout Plain Layout
 
+fixity = 
+\begin_inset Quotes cld
+\end_inset
+
+infixl
+\begin_inset Quotes crd
+\end_inset
+
+ / 
+\begin_inset Quotes cld
+\end_inset
+
+infixr
+\begin_inset Quotes crd
+\end_inset
+
+ / 
+\begin_inset Quotes cld
+\end_inset
+
+infix
+\begin_inset Quotes crd
+\end_inset
+
+
 \end_layout
 
 \end_inset
@@ -2682,6 +4040,12 @@ exp
 \family default
 \emph default
 .
+ La inferencia de tipos funciona como si la función se hubiera definido
+ mediante una abstracción con dentro un 
+\family typewriter
+case
+\family default
+.
 \end_layout
 
 \begin_layout Standard
@@ -2702,5 +4066,26 @@ pat
  es una variable.
 \end_layout
 
+\begin_layout Standard
+El segundo tipo de 
+\family typewriter
+gendecl
+\family default
+ establece que los operadores indicados tengan precedencia dada por el entero
+ opcional y asociatividad por la izquierda (
+\family typewriter
+infixl
+\family default
+), por la derecha (
+\family typewriter
+infixr
+\family default
+) o ninguna (
+\family typewriter
+infix
+\family default
+).
+\end_layout
+
 \end_body
 \end_document