Promedio de descarga/visualización de los códigos de Haskell

Completo tutorial de introducción al lenguaje Haskell en el que podrás familiarizarte con el fenomeno de la programación funcional. Formato PDF de 46 páginas

Manual de Haskell en formato pdf. Completo y con ejemplos

En este manual, el profesor José A. Alonso hace un recorrido por la semántica de la lógica proposicional valiéndose del lenguaje Haskell y, utilizando para ello, una serie de ejercicios a través de los cuales el alumno puede identificar las premisas y su resolución.
En formato pdf. Contiene 138 páginas.

Colección de ejercicios resueltos de programación funcional con Haskell realizado por José A. Alonso Jiménez.
Contenidos:
I Programación básica
1. Introducción a la programación funcional
2. Números y funciones
3. Estructuras de datos
4. Aplicaciones de programación funcional
II Ejercicios del curso de K.L. Claessen Introduction to Functional Programming
5. Introducción a la programación funcional
6. Modelización y tipos de datos
7. Recursión y tipos de datos
8. Listas y comprensión
9. Funciones de entrada y salida. Generación de pruebas
10. Tipos de datos recursivos
11. Analizadores
12. Búsqueda en grafos y espacios de estados
13. Juegos
En formato pdf. Contiene 266 páginas.

Guía de inicio a la programación en Haskell. En formato pdf. Contiene 20 páginas.

En formato pdf. Contiene 304 páginas.

Índice de Contenidos:
Acerca de
Capítulo 1: Empezando con Haskell Language
Capítulo 2: Agujeros mecanografiados
Capítulo 3: Analizando HTML con lentes etiquetadas y lentes
Capítulo 4: Apilar
Capítulo 5: Aritmética
Capítulo 6: Atraveable
Capítulo 7: Attoparsec
Capítulo 8: Bases de datos
Capítulo 9: Bifunctor
Capítulo 10: Cábala
Capítulo 11: Categoría teoría
Capítulo 12: Clases de tipo
Capítulo 13: Clasificación de los algoritmos
Capítulo 14: Composición de funciones
Capítulo 15: Comprobación rápida
Capítulo 16: Concurrencia
Capítulo 17: Contenedores - Data.Map
Capítulo 18: Creación de tipos de datos personalizados
Capítulo 19: Data.Aeson - JSON en Haskell
Capítulo 20: Data.Text
Capítulo 21: Declaraciones de fijeza
Capítulo 22: Desarrollo web
Capítulo 23: Esquemas de recursión
Capítulo 24: Explotación florestal
Capítulo 25: Extensiones de lenguaje GHC comunes
Capítulo 26: Fecha y hora
Capítulo 27: Flechas
Capítulo 28: Función de sintaxis de llamada
Capítulo 29: Funciones de orden superior
Capítulo 30: Functor
Capítulo 31: Functor Aplicativo
Capítulo 32: GHCJS
Capítulo 33: Google Protocol Buffers
Capítulo 34: Gráficos con brillo
Capítulo 35: Gtk3
Capítulo 36: Interfaz de función extranjera
Capítulo 37: IO
Capítulo 38: Lector / Lector
Capítulo 39: Lente
Capítulo 40: Lista de Comprensiones
Capítulo 41: Literales sobrecargados
Capítulo 42: Liza
Capítulo 43: Los funtores comunes como base de los comonads cofree
Capítulo 44: Mejoramiento
Capítulo 45: Módulos
Capítulo 46: Mónada del estado
Capítulo 47: Mónadas
Capítulo 48: Mónadas comunes como mónadas libres
Capítulo 49: Mónadas Libres
Capítulo 50: Monoide
Capítulo 51: Operadores de infijo
Capítulo 52: Papel
Capítulo 53: Paralelismo
Capítulo 54: Plantilla Haskell & QuasiQuotes
Capítulo 55: Plátano reactivo
Capítulo 56: Plegable
Capítulo 57: Polimorfismo de rango arbitrario con RankNTypes
Capítulo 58: Probando con Tasty
Capítulo 59: Profesor
Capítulo 60: Proxies
Capítulo 61: Reglas de reescritura (GHC)
Capítulo 62: Rigor
Capítulo 63: Sintaxis de grabación
Capítulo 64: Sintaxis en funciones
Capítulo 65: Solicitud parcial
Capítulo 66: Streaming IO
Capítulo 67: Tipo algebra
Capítulo 68: Tipo de solicitud
Capítulo 69: Tipo Familias
Capítulo 70: Tipos de datos algebraicos generalizados
Capítulo 71: Tipos fantasma
Capítulo 72: Transformadores de mónada
Capítulo 73: Tubería
Capítulo 74: Tuplas (pares, triples, ...)
Capítulo 75: Usando GHCi
Capítulo 76: Vectores
Capítulo 77: XML
Capítulo 78: zipWithM
Creditos
Acerca de

Esta guía rápida abarca los elementos fundamentales del lenguaje Haskell: sintaxis, palabras clave y otros elementos. Se presenta como un archivo ejecutable de Haskell y también como un documento para impresión. Cargue la fuente en su intérprete favorito para jugar con los ejemplos de código mostrados.
En formato pdf. Contiene 15 páginas.

Este libro es una introducción a la programación funcional con Haskell a través de ejercicios que se complementa con los Temas de programación funcional1.

El libro consta de tres partes. En la primera parte se presentan los elementos básicos de la programación funcional. En la segunda, se estudian la implementación en Haskell de tipos abstractos de datos y sus aplicaciones así como cuestiones algorítmicas. En la tercera, se presentan casos de estudios. También se han incluido dos apéndices: uno con un resumen de las funciones de Haskell utilizadas y otro con el método de Pólya para la resolución de problemas.

Desde el inicio (en el curso 2009–10) del Grado en Matemática de la Universidad de Sevilla se estudia, en la asignatura de Informática de primero, una introducción a la programación funcional con Haskell.

Durante este tiempo he ido publicando materiales para la asignatura que he recopilado en dos libros:

Temas de programación funcional
Piensa en Haskell (Ejercicios de programación funcional con Haskell)

Este libro completa los anteriores presentando una recopilación de los exámenes de la asignatura durante estos años.

Los exámenes se realizaron en el aula de informática y su duración fue de 2 horas. Durante el examen se podía usar el resumen de funciones de Haskell del apéndice A. La materia de cada examen es la impartida desde el comienzo del curso (generalmente, el 1 de octubre) hasta la fecha del examen.

La asignatura está más orientada a la resolución de problemas con Haskell (usando el método de Polya del apéndice B), que al estudio de las particularidades de Haskell.

El libro consta de 6 capítulos correspondientes a los 6 cursos en los que se ha impartido la asignatura. En cada capítulo hay una sección, por cada uno de los grupos de la asignatura, y una subsección por cada uno de los exámenes del grupo. Los ejercicios de cada examen han sido propuestos por los profesores de su grupo (cuyos nombres aparecen en el título de la sección). Sin embargo, los he modificado para unificar el estilo de su presentación.

En resumen, en esta versión del libro hay 129 exámenes con un total de 833 ejercicios.
En formato pdf. Contiene 602 páginas.

El objetivo del trabajo es la implementación de algoritmos de matemática discreta en Haskell.

Haskell es un lenguaje de programación funcional desarrollado en los últimos años por la comunidad de programadores con la intención de usarlo como instrumento para la enseñanza de programación funcional. La motivación de este desarrollo es hacer el análisis y diseño de programas más simple y permitir que los algoritmos sean fácilmente adaptables a otros lenguajes de programación funcionales.

En comparación con otros lenguajes de programación imperativos, la sintaxis de Haskell permite definir funciones de forma más clara y compacta. En Haskell las funciones se consideran valores, al mismo nivel que los tipos enteros o cadenas en cualquier lenguaje. Por ello, al igual que es habitual que en todos los lenguajes una función reciba datos de entrada (de tipo entero, flotante, cadena, etc) y devuelva datos (de los mismos tipos), en los lenguajes funcionales una función puede recibir como dato de entrada una función y devolver otra función como salida, que puede ser construida a partir de sus entradas y por operaciones entre funciones, como la composición. Esta capacidad nos proporciona métodos más potentes para construir y combinar los diversos módulos de los que se compone un programa. Por ejemplo, emulando la forma de operar sobre funciones que habitualmente se usa en matemáticas.

En formato pdf. Contiene 124 páginas.

La lógica de primer orden o lógica de predicados nace como una extensión de la lógica proposicional ante algunas carencias que ésta presenta. La lógica proposicional tiene como objetivo modelizar el razonamiento y nos aporta una manera de formalizar las demostraciones.

En este trabajo se pretende realizar una implementación en Haskell de la teoría impartida en la asignatura "Lógica matemática y fundamentos" del grado en matemáticas. Para ello, se lleva a cabo la adaptación de los programas del libro de J. van Eijck "Computational semantics and type theory" y su correspondiente teoría.

En formato pdf. Contiene 130 páginas.

La lógica de primer orden o lógica de predicados nace como una extensión de la lógica proposicional ante algunas carencias que ésta presenta. La lógica proposicional tiene como objetivo modelizar el razonamiento y nos aporta una manera de formalizar las demostraciones.

En este trabajo se pretende realizar una implementación en Haskell de la teoría impartida en la asignatura "Lógica matemática y fundamentos" del grado en matemáticas. Para ello, se lleva a cabo la adaptación de los programas del libro de J. van Eijck "Computational semantics and type theory" y su correspondiente teoría.

En formato pdf. Contiene 130 páginas.