Publicado el 12 de Diciembre del 2019
2.201 visualizaciones desde el 12 de Diciembre del 2019
2,0 MB
304 paginas
Creado hace 5a (17/01/2019)
Haskell Language
#haskell
Tabla de contenido
Acerca de
Capítulo 1: Empezando con Haskell Language
Observaciones
caracteristicas:
Versiones
Examples
¡Hola Mundo!
Explicación:
Factorial
Variación 1
Variación 2
Fibonacci, utilizando la evaluación perezosa
Empezando
REPL en linea
GHC (i)
Herramientas mas avanzadas
Primes
Por debajo de 100
Ilimitado
Tradicional
División de prueba óptima
Transicional
El código más corto
Declarar valores
Capítulo 2: Agujeros mecanografiados
Observaciones
Examples
Sintaxis de los agujeros mecanografiados.
Controlando el comportamiento de los agujeros mecanografiados.
Semántica de agujeros mecanografiados.
1
2
2
2
2
3
3
4
5
5
6
6
7
7
7
9
10
10
10
10
10
10
11
11
12
12
12
12
12
13
Usando agujeros escritos para definir una instancia de clase
Capítulo 3: Analizando HTML con lentes etiquetadas y lentes
Examples
Extrae el contenido del texto de un div con un id particular
Filtrar elementos del árbol.
Capítulo 4: Apilar
Examples
Instalación de la pila
Creando un proyecto simple
Estructura
Estructura de archivos
Ejecutando el programa
Paquetes de apilamiento y cambio de la versión LTS (resolución)
Añadiendo lentes a un proyecto.
Construir y ejecutar un proyecto de pila
Instalación de pila
Perfilando con Stack
Visualización de dependencias
Capítulo 5: Aritmética
Introducción
Observaciones
La jerarquía de clases de tipo numérico.
Examples
Ejemplos basicos
`No se pudo deducir (Fraccional Int) ...`
Ejemplos de funciones
Capítulo 6: Atravesable
Introducción
Examples
Funcionalizador de funciones y plegable para una estructura transversal
Una instancia de Traversable para un árbol binario
13
16
16
16
16
18
18
18
18
18
18
18
19
19
19
20
20
20
22
22
22
22
24
24
24
25
26
26
26
26
27
Atravesando una estructura en reversa
Definición de Traversable
Transformación de una estructura transitable con la ayuda de un parámetro de acumulación
Estructuras transitables como formas con contenidos.
Transponer una lista de listas
Capítulo 7: Attoparsec
Introducción
Parámetros
Examples
Combinadores
Mapa de bits - Análisis de datos binarios
Capítulo 8: Bases de datos
Examples
Postgres
Sustitución de parámetros
Ejecución de inserciones o actualizaciones.
Capítulo 9: Bifunctor
Sintaxis
Observaciones
Examples
Instancias comunes de Bifunctor
Tuplas de dos elementos
Either
primero y segundo
Definición de Bifunctor
Capítulo 10: Cábala
Sintaxis
Examples
Instalar paquetes
Trabajando con cajas de arena
Capítulo 11: Categoria teoria
28
28
29
30
30
32
32
32
32
32
33
35
35
35
35
35
36
36
36
36
36
36
36
37
37
38
38
39
39
39
41
Examples
La teoría de la categoría como sistema de organización de la abstracción.
Un ejemplo
Un indicio de la teoría de la categoría.
Definición de una categoría
Haskell tipifica como categoría
Definición de la categoría
Isomorfismos
Functores
Mónadas
Producto de tipos en Hask.
Productos categoricos
Productos en Hask
Unicidad hasta el isomorfismo
Singularidad de la descomposición.
Coproducto de tipos en Hask
Intuición
Coproductos categóricos
Coproductos en Hask
Haskell Applicative en términos de la teoría de la categoría
Capítulo 12: Clases de tipo
Introducción
Observaciones
Examples
Tal vez y la clase Functor
Herencia de clase de tipo: Ord clase de tipo
Ecuación
Metodos requeridos
Define
Superclases directas
Subclases notables
41
41
41
41
42
43
43
43
44
44
44
45
45
45
46
46
46
46
47
47
49
49
49
49
49
50
51
51
51
51
52
Ord
Metodos requeridos
Define
Superclases directas
Monoide
Metodos requeridos
Superclases directas
Num
Los métodos
Capítulo 13: Clasificación de los algoritmos
Examples
Tipo de inserción
Combinar clasificación
Ordenación rápida
Ordenamiento de burbuja
Orden de permutación
Selección de selección
Capítulo 14: Composición de funciones
Observaciones
Examples
Composición de derecha a izquierda
Composición de izquierda a derecha
Composición con función binaria.
Capítulo 15: Comprobación rápida
Examples
Declarar una propiedad
Comprobando una sola propiedad
Comprobando todas las propiedades en un archivo
Generando datos al azar para tipos personalizados
Usando la implicación (==>) para verificar las propiedades con condiciones previas
Limitar el tamaño de los datos de prueba
52
52
52
52
52
53
53
53
53
56
56
56
56
57
57
57
57
59
59
60
60
60
60
62
62
62
62
62
63
63
63
Capítulo 16: Concurrencia
Observaciones
Examples
Hilos de desove con `forkIO`
Comunicando entre hilos con `MVar`
Bloques atómicos con software de memoria transaccional
atomically :: STM a -> IO a
readTVar :: TVar a -> STM a
writeTVar :: TVar a -> a -> STM ()
Capítulo 17: Contenedores - Data.Map
Examples
Construyendo
Comprobando si está vacío
Encontrar valores
Insertando Elementos
Borrando elementos
Importando el Módulo
Instancia de monoide
Capítulo 18: Creación de tipos de datos personalizados
Examples
Creando un tipo de datos simple
Creando variables de nuestro tipo personalizado.
Creación de un tipo de datos con parámetros de constructor de valor.
Creando variables de nuestro tipo personalizado.
Creación de un tipo de datos con parámetros de tipo
Creando variables de nuestro tipo personalizado.
Tipo de datos personalizado con parámetros de registro
Capítulo 19: Data.Aeson - JSON en Haskell
Examples
Codificación y decodificación inteligentes usando genéricos
Una forma rápida de generar un Data.Aeson.Value
Campos opcionales
65
65
65
65
65
66
67
67
67
68
68
68
68
68
69
69
69
69
71
71
71
71
71
72
72
72
72
74
74
74
75
75
Capítulo 20: Data.Text
Observaciones
Examples
Literales de texto
Eliminar espacios en blanco
Dividir valores de texto
Codificación y decodificación de texto
Comprobando si un texto es una subcadena de otro texto
Texto de indexación
Capítulo 21: Declaraciones de fijeza
Sintaxis
Parámetros
Observaciones
Examples
Asociatividad
Precedencia vinculante
Observaciones
Declaraciones de ejemplo
Capítulo 22: Desarrollo web
Examples
Servidor
Yesod
Capítulo 23: Esquemas de recursion
Observaciones
Examples
Puntos fijos
Doblando una estructura de una capa a la vez
Desplegar una estructura de una capa a la vez
Despliegue y luego plegado, fusionado.
Recursion primitiva
Corecursion primitiva
Capítulo 24: Explotación florestal
76
76
76
76
76
77
77
78
78
80
80
80
80
81
81
81
82
82
83
83
83
84
86
86
86
86
87
87
87
88
88
89
Introducción
Examples
Registro con hslogger
Capítulo 25: Extensiones de lenguaje GHC comunes
Observaciones
Examples
MultiParamTypeClasses
FlexibleInstances
SobrecargadoStrings
TupleSections
N-tuplas
Cartografía
UnicodeSyntax
Literales binarios
Cuantificación existencial
LambdaCase
RankNTypes
Listas sobrecargadas
Dependencias funcionales
GADTs
ScopedTypeVariables
Sinónimo de patrones
RecordWildCards
Capítulo 26: Fecha y hora
Sintaxis
Observaciones
Examples
Encontrar la fecha de hoy
Sumando, restando y comparando días
Capítulo 27: Flechas
Examples
89
89
89
90
90
90
90
90
91
91
91
92
92
93
93
94
95
96
97
97
98
98
100
101
101
101
101
101
101
103
103
Composiciones de funciones con múltiples canales.
Capítulo 28: Función de sintaxis de llamada.
Introducción
Observaciones
Examples
Paréntesis en una función básica llamada
Paréntesis en llamadas a funciones incrustadas
Solicitud parcial - Parte 1
Aplicación parcial - Parte 2
Capítulo 29: Funciones de orden superior
Observaciones
Examples
Conceptos básicos de las funciones de orden superior
Expresiones lambda
Zurra
Capítulo 30: Functor
Introducción
Observaciones
Identidad
Composición
Examples
Instancias comunes de Functor
Tal vez
Liza
Funciones
Definición de clase de Functor y Leyes
Reemplazo de todos los elementos de un Functor con un solo valor
Funtores polinomiales
El functor de la identidad.
El functor constante
Productos funcionales
103
105
105
105
105
105
105
106
106
108
108
108
108
109
110
111
111
111
111
111
111
111
111
112
113
114
114
114
114
115
115
Functor coproductos
Composición funcional
Funtores polinómicos para la programación genérica.
Functors en la teoría de categorías
Functor de derivación
Capítulo 31: Functor Aplicativo
Introducción
Observaciones
Definición
Examples
Definición alternativa
Ejemplos comunes de aplicativo
Tal vez
Liza
Flujos infinitos y listas zip
Funciones
Capítulo 32: GHCJS
Introducción
Examples
Ejecutando "¡Hola mundo!" con Node.js
Capítulo 33: Google Protocol Buffers
Observaciones
Examples
Creando, construyendo y usando un simple archivo .proto
Capítulo 34: Gráficos con brillo
Examples
Instalar Gloss
Consiguiendo algo en la pantalla
Capítulo 35: Gtk3
Sintaxis
Observaciones
115
116
116
117
118
119
119
119
119
119
119
120
120
120
120
121
123
123
123
123
124
124
124
124
126
126
126
126
128
128
128
Examples
Hola mundo en gtk
Capítulo 36: Interfaz de función extranjera
Sintaxis
Observaciones
Examples
Llamando C desde Haskell
Pasar funciones de Haskell como devoluciones de llamada a código C.
Capítulo 37: IO
Examples
Leyendo todos los contenidos de entrada estándar en una cadena
Leyendo una línea de entrada estándar
Analizar y construir un objeto desde la entrada estándar
Leyendo desde los manejadores de archivos
Comprobación de condiciones de fin de archivo
Leyendo palabras de un archivo completo
IO define la acción `main` de su programa.
Papel y propósito de IO
Manipulando valores IO
Semántica IO
Perezoso IO
IO y do la notación
Obtener la 'a' "de" 'IO a'
Escribiendo al stdout
putChar :: Char -> IO () - escribe un char en stdout
putStr :: String -> IO () - escribe un String en stdout
putStrLn :: String ->
Comentarios de: Aprendizaje Haskell Language (0)
No hay comentarios