CURSOS de Haskell

Mostrando del 1 al 10 de 12 registros
<<>>
Imágen de perfil

.pdfIntroducción al lenguaje Haskell


Haskell

estrellaestrellaestrellaestrellaestrella(4)
Actualizado el 3 de Marzo del 2020 por Administrador (Publicado el 22 de Mayo del 2001)
38.561 visualizaciones desde el 22 de Mayo del 2001
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

1455730625_IntHaskell98
Imágen de perfil

.pdfAprendizaje de Haskell


Haskell

Publicado el 16 de Octubre del 2019 por Administrador
2.474 visualizaciones desde el 16 de Octubre del 2019
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

Screenshot_20191016_161800
Imágen de perfil

.pdfGuía Rápida de Haskell


Haskell

Actualizado el 5 de Diciembre del 2018 por Administrador (Publicado el 21 de Junio del 2018)
2.919 visualizaciones desde el 21 de Junio del 2018
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.
Imágen de perfil

.pdfMatemática discreta en Haskell


Haskell

Publicado el 7 de Marzo del 2018 por Administrador
2.120 visualizaciones desde el 7 de Marzo del 2018
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.
Imágen de perfil

internetLógica de primer orden en Haskell


Haskell

Publicado el 14 de Febrero del 2018 por Administrador
1.553 visualizaciones desde el 14 de Febrero del 2018
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.
Imágen de perfil

.pdfLógica de primer orden en Haskell


Haskell

Publicado el 12 de Septiembre del 2017 por Administrador
2.051 visualizaciones desde el 12 de Septiembre del 2017
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.
Imágen de perfil

.pdfPiensa en Haskell (Ejercicios de programación funcional con Haskell)


Haskell

Publicado el 16 de Mayo del 2017 por Administrador
2.910 visualizaciones desde el 16 de Mayo del 2017
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.
Imágen de perfil

.pdfExámenes de “Programación funcional con Haskell” (2009–2015)


Haskell

Publicado el 16 de Septiembre del 2016 por Administrador
2.874 visualizaciones desde el 16 de Septiembre del 2016
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.
Imágen de perfil

.pdfEjercicios de programación funcional con Haskell


Haskell

Publicado el 7 de Enero del 2015 por Administrador
9.707 visualizaciones desde el 7 de Enero del 2015
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.
Imágen de perfil

.pdfLógica en Haskell


Haskell

Publicado el 3 de Septiembre del 2013 por Administrador
12.156 visualizaciones desde el 3 de Septiembre del 2013
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.
Anterior12Siguiente