PDF de programación - Aprendizaje Haskell Language

Imágen de pdf Aprendizaje Haskell Language

Aprendizaje Haskell Languagegráfica de visualizaciones

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 ->
  • Links de descarga
http://lwp-l.com/pdf17026

Comentarios de: Aprendizaje Haskell Language (0)


No hay comentarios
 

Comentar...

Nombre
Correo (no se visualiza en la web)
Valoración
Comentarios...
CerrarCerrar
CerrarCerrar
Cerrar

Tienes que ser un usuario registrado para poder insertar imágenes, archivos y/o videos.

Puedes registrarte o validarte desde aquí.

Codigo
Negrita
Subrayado
Tachado
Cursiva
Insertar enlace
Imagen externa
Emoticon
Tabular
Centrar
Titulo
Linea
Disminuir
Aumentar
Vista preliminar
sonreir
dientes
lengua
guiño
enfadado
confundido
llorar
avergonzado
sorprendido
triste
sol
estrella
jarra
camara
taza de cafe
email
beso
bombilla
amor
mal
bien
Es necesario revisar y aceptar las políticas de privacidad