algo1:2010-2:haskell-intro
Diferencias
Muestra las diferencias entre dos versiones de la página.
Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa | ||
algo1:2010-2:haskell-intro [2010/08/16 03:25] – Secciones mpagano | algo1:2010-2:haskell-intro [2018/08/10 03:03] (actual) – editor externo 127.0.0.1 | ||
---|---|---|---|
Línea 17: | Línea 17: | ||
Para instalar GHCi en nuestra máquina podemos descargar la | Para instalar GHCi en nuestra máquina podemos descargar la | ||
- | [[http:// | + | [[http:// |
además del intérprete y del compilador contiene muchas librerías (una | además del intérprete y del compilador contiene muchas librerías (una | ||
librería-mal traducción para el término library- es un conjunto de | librería-mal traducción para el término library- es un conjunto de | ||
Línea 30: | Línea 30: | ||
nuestra distribución. | nuestra distribución. | ||
- | == Averiguar la definición de una clase == | + | == Usar el intérprete para averiguar cosas == |
- | Tanto en Hugs como en GHCi podemos | + | Tanto en Hugs como en GHCi podemos |
- | usamos para no mostrar la salida | + | y los tipos que forman parte de la misma : |
- | la misma es muy extensa): | + | |
< | < | ||
Hugs> :i Ord | Hugs> :i Ord | ||
... | ... | ||
</ | </ | ||
+ | Los puntos suspensivos los usamos para no mostrar la salida que obtenemos | ||
+ | de un comando cuando la misma es muy extensa. | ||
También podemos usar :i para conocer dónde está definida | También podemos usar :i para conocer dónde está definida | ||
Línea 47: | Línea 48: | ||
</ | </ | ||
- | == Averiguar | + | Para averiguar |
< | < | ||
Hugs> :t expresion | Hugs> :t expresion | ||
Línea 62: | Línea 62: | ||
minimo (x:y:xs) = min x (minimo (y:xs)) | minimo (x:y:xs) = min x (minimo (y:xs)) | ||
</ | </ | ||
+ | |||
Y lo cargamos en Hugs | Y lo cargamos en Hugs | ||
< | < | ||
Línea 111: | Línea 112: | ||
El reporte de Haskell es donde se define la sintaxis de los programas | El reporte de Haskell es donde se define la sintaxis de los programas | ||
- | Haskell y una semántica para los mismos (análogo al capítulo | + | Haskell y una semántica para los mismos (análogo al capítulo |
- | libro). En este reporte está definido el llamado preludio (Prelude) | + | computacional// |
- | que incluye algunas clases, tipos y funciones predefinidas. | + | preludio (Prelude) que incluye algunas clases, tipos y funciones predefinidas. |
Las clases y los tipos predefinidos de Haskell se encuentran | Las clases y los tipos predefinidos de Haskell se encuentran | ||
documentados en el [[ | documentados en el [[ | ||
- | http:// | + | http:// |
- | + | ||
- | En el | + | |
[[http:// | [[http:// | ||
capítulo 9]] del reporte está la definición completa del Prelude. | capítulo 9]] del reporte está la definición completa del Prelude. | ||
- | |||
También podemos consultar el contenido del Preludio usando la | También podemos consultar el contenido del Preludio usando la | ||
documentación del mismo en | documentación del mismo en | ||
[[http:// | [[http:// | ||
- | (que es un sitio donde se ncuentra | + | (que es un sitio donde se encuentra |
cosas, de muchas librerías de Haskell). | cosas, de muchas librerías de Haskell). | ||
- | |||
Tal vez sea díficil encontrar la definición de una clase, tipo o | Tal vez sea díficil encontrar la definición de una clase, tipo o | ||
Línea 135: | Línea 132: | ||
[[http:// | [[http:// | ||
definiciones de Haskell. | definiciones de Haskell. | ||
- | |||
== Usando Hoogle == | == Usando Hoogle == |
algo1/2010-2/haskell-intro.1281929120.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)