PureScript mediante ejemplos

PureScript mediante ejemplos

Jorge Acereda and Phil Freeman
Buy on Leanpub

Table of Contents

PureScript mediante ejemplos

  • Introducción
    • JavaScript funcional
    • Tipos e inferencia de tipos
    • Programación web políglota
    • Prerrequisitos
    • Sobre ti
    • Cómo leer este libro
    • Consiguiendo ayuda
    • Acerca del autor
    • Acerca de la traducción
    • Agradecimientos
  • Empezando
    • Objetivos del capítulo
    • Introducción
    • Instalando PureScript
    • Instalando las herramientas
    • ¡Hola, PureScript!
    • Compilando para el navegador
    • Quitando código no usado
    • Compilando módulos CommonJS
    • Seguimiento de dependencias con Bower
    • Calculando diagonales
    • Probando el código usando el modo interactivo
    • Conclusión
  • Funciones y registros (records)
    • Objetivos del capítulo
    • Preparación del proyecto
    • Tipos simples
    • Tipos cuantificados
    • Notas sobre la sangría (indentation)
    • Definiendo nuestros tipos
    • Constructores de tipo (type constructors) y familias (kinds)
    • Mostrando entradas de la agenda
    • Prueba temprano, prueba a menudo
    • Creando agendas
    • Funciones currificadas (curried functions)
    • Consultando la agenda
    • Aplicación de funciones infija
    • Composición de funciones
    • Prueba, prueba, prueba…
    • Conclusión
  • Recursividad, asociaciones (maps) y pliegues (folds)
    • Objetivos del capítulo
    • Preparación del proyecto
    • Introducción
    • Recursividad sobre arrays
    • Asociaciones (maps)
    • Operadores infijos
    • Filtrando arrays
    • Aplanando arrays
    • Arrays por comprensión (array comprehensions)
    • Notación ‘do’ (do notation)
    • Guardas (guards)
    • Pliegues (folds)
    • Recursividad final (tail recursion)
    • Acumuladores (accumulators)
    • Prefiere pliegues a recursividad explícita
    • Un sistema de ficheros virtual
    • Listando todos los ficheros
    • Conclusión
  • Ajuste de patrones (pattern matching)
    • Objetivos del capítulo
    • Preparación del proyecto
    • Ajuste de patrones simple
    • Patrones simples
    • Guardas
    • Patrones de array (array patterns)
    • Patrones de registro (record patterns) y polimorfismo de fila (row polymorphism)
    • Patrones anidados (nested patterns)
    • Patrones nombrados (named patterns)
    • Expresiones “case” (case expressions)
    • Fallos de ajuste de patrones (pattern match failures) y funciones parciales (partial functions)
    • Tipos de datos algebraicos (algebraic data types)
    • Usando ADTs
    • Doble sentido en registros (record puns)
    • Newtypes
    • Una biblioteca para gráficos vectoriales
    • Calculando rectángulos de delimitación
    • Conclusión
  • Clases de tipos (type classes)
    • Objetivos del capítulo
    • Preparación del proyecto
    • Clases de tipos comunes
    • Anotaciones de tipo (type annotations)
    • Instancias superpuestas (overlapping instances)
    • Dependencias de instancia (instance dependencies)
    • Clases de tipos de varios parámetros (multi parameter type classes)
    • Dependencias funcionales (functional dependencies)
    • Clases de tipos nularias (nullary type classes)
    • Superclases (superclasses)
    • Una clase de tipos para funciones resumen
    • Conclusión
  • Validación aplicativa (applicative validation)
    • Objetivos del capítulo
    • Preparación del proyecto
    • Generalizando la aplicación de funciones
    • Elevando funciones arbitrarias
    • La clase de tipos Applicative
    • Intuición para Applicative
    • Más efectos
    • Combinando efectos
    • Validación aplicativa
    • Validadores con expresiones regulares (regular expression validators)
    • Funtores transitables (traversable functors)
    • Funtores aplicativos para paralelismo
    • Conclusión
  • La mónada Eff
    • Objetivos del capítulo
    • Preparación del proyecto
    • La clase de tipos mónada
    • Leyes de la mónada
    • Plegando con mónadas
    • Mónadas y aplicativos
    • Efectos nativos (native effects)
    • Efectos secundarios y pureza
    • La mónada Eff
    • Efectos extensibles (extensible effects)
    • Intercalando efectos
    • La familia de Eff
    • Objetos y filas
    • Efectos de grano fino (fine-grained effects)
    • Gestores (handlers) y acciones (actions)
    • Estado mutable
    • Efectos DOM
    • Una interfaz de usuario para la agenda
    • Conclusión
  • Gráficos con Canvas
    • Objetivos del capítulo
    • Preparación del proyecto
    • Formas simples
    • Haciendo uso del polimorfismo de fila
    • Dibujando círculos aleatorios
    • Transformaciones
    • Preservando el contexto
    • Estado mutable global
    • Sistemas-L
    • Conclusión
  • Interfaz para funciones externas (foreign function interface)
    • Objetivos del capítulo
    • Preparación del proyecto
    • Una advertencia
    • Llamando a PureScript desde JavaScript
    • Entendiendo la generación de nombres
    • Representación de datos en tiempo de ejecución (runtime data representation)
    • Representando ADTs
    • Representando tipos cuantificados
    • Representando tipos restringidos
    • Usando código JavaScript desde PureScript
    • Envolviendo valores JavaScript
    • Definiendo tipos externos
    • Funciones de múltiples argumentos
    • Representando efectos secundarios
    • Definiendo nuevos efectos
    • Trabajando con datos no tipados
    • Gestionando valores nulos e indefinidos
    • Serialización genérica de JSON
    • Conclusión
  • Aventuras monádicas
    • Objetivos del capítulo
    • Preparación del proyecto
    • Cómo jugar
    • La mónada State
    • La mónada Reader
    • La mónada Writer
    • Transformadores de mónada (monad transformers)
    • El transformador de mónada ExceptT
    • Pilas de transformadores de mónada (monad transformer stacks)
    • ¡Clases de tipos al rescate!
    • Alternativas
    • Mónadas por comprensión
    • Retroceso (backtracking)
    • La mónada RWS
    • Implementando la lógica del juego
    • Ejecutando el cálculo
    • Gestionando opciones de línea de comandos
    • Conclusión
  • El infierno de retrollamadas (callback hell)
    • Objetivos del capítulo
    • Preparación del proyecto
    • El problema
    • La mónada de continuación
    • Poniendo ExceptT a trabajar
    • Un cliente HTTP
    • Cálculos paralelos
    • Conclusión
  • Verificación generativa (generative testing)
    • Objetivos del capítulo
    • Preparación del proyecto
    • Escribiendo propiedades
    • Mejorando los mensajes de error
    • Verificando código polimórfico
    • Generando datos arbitrarios
    • Probando funciones de orden mayor
    • Escribiendo instancias de Coarbitrary
    • Verificando sin efectos secundarios
    • Conclusión
  • Lenguajes específicos del dominio (domain-specific languages)
    • Objetivos del capítulo
    • Preparación del proyecto
    • Un tipo de datos HTML
    • Constructores inteligentes (smart constructors)
    • Tipos fantasma (phantom types)
    • La mónada libre (free monad)
    • Interpretando la mónada
    • Extendiendo el lenguaje
    • Conclusión
PureScript mediante ejemplos/overview

PureScript mediante ejemplos

course_overview

count_chapters
begin_reading
download
p_implied_book_part_name

PureScript mediante ejemplos14 chapters

Begin ›
  1. Introducción

  2. Empezando

  3. Funciones y registros (records)

  4. Recursividad, asociaciones (maps) y pliegues (folds)

  5. Ajuste de patrones (pattern matching)

  6. Clases de tipos (type classes)

  7. Validación aplicativa (applicative validation)

  8. La mónada Eff

  9. Gráficos con Canvas

  10. Interfaz para funciones externas (foreign function interface)

  11. Aventuras monádicas

  12. El infierno de retrollamadas (callback hell)

  13. Verificación generativa (generative testing)

  14. Lenguajes específicos del dominio (domain-specific languages)