Documentación para "Informática" (2015-16)
En esta página se recogen en enlaces que sirven de documentación a la asignatura de "Informática" del curso 2015-16.
Programación funcional con Haskell
Vídeos
- J.A. Alonso Iniciación a Haskell.
- J.A. Alonso Ejercicios de I1M.
- A. Marzal Por qué deberías aprender programación funcional ya mismo (con una breve introducción a Haskell).
Manuales de referencia de Haskell
- J.A. Alonso Manual de funciones básicas de Haskell con ejemplos.
- J.A. Alonso Resumen de funciones de Haskell.
- J.A. Alonso Manual de funciones de los tipos abstractos de datos con ejemplos.
- Justin Bailey Guía rápida de Haskell.
- Haskell Reference card.
- Bernie Pope y Arjan van IJzendoorn A Tour of the Haskell Prelude (basic functions).
- Arjan van IJzendoorn Tour of the Haskell Syntax.
- Miloslav Nic Haskell Reference.
- Prelude.
- Haskell Hierarchical Libraries.
Manuales de librerías de Haskell
- Manual de la librería de números primos Data.Numbers.Primes.
- Manual de la librería de vectores Data.Vector.
- Manual de la librería de matrices Data.Matrix.
- Manual de la librería de conjuntos Data.Set.
- Manual de la librería de diccionarios Data.Map.
Especificaciones de Haskell
- Haskell 98 Language and Libraries (The Revised Report) de diciembre de 2002.
- Haskell 2010 Language Report.
Librerías de Haskell
- Prelude.
- Haskell Hierarchical Libraries.
- Hackage: base de dato de librerías de Haskell.
- Recopilación de librerías y utilidades de Haskell.
Buscador de funciones de Haskell
Libros y apuntes en la Red sobre Haskell
- R. Bird Introducción a la programación funcional con Haskell (Pearson Educación, 2000).
- R. Bird Pearls of functional algorithm design. (Cambridge University Press, 2010).
- R. Bird Thinking functionally with Haskell. (Cambridge University Press, 2014).
- H.C. Cunningham Notes on functional programming with Haskell. (Univ. de Misisipí, 2010).
- Hal Daume III et al. Yet Another Haskell Tutorial.
- A.J.T. Davie An introduction to functional programming systems using Haskell. (Cambridge University Press, 1992).
- K. Doets y J. van Eijck The Haskell Road to Logic, Maths and Programming.
- Y. Esposito Haskell Fast & Hard.
- J. Fokker Programación funcional.
- G. Hutton Programming in Haskell. (Cambridge University Press, 2007).
- J. Gallardo, P. Gutiérrez y B. Ruiz Una introducción agradable a Haskell versión 98 (es una traducción de P. Hudak, J. Peterson y J. Fasel A Gentle Introduction to Haskell, Version 98).
- P. Hudak The Haskell school of music (from signals to symphonies).
- G. Hutton Programming in Haskell (Cambridge University Press, 2007).
- M. Lipovača ¡Aprende Haskell por el bien de todos!
- B. O'Sullivan, J. Goerzen y D. Stewart Real world Haskell. (O'Reilly Media, Inc., 2008).
- The Haskell wikibook.
Ejercicios de Haskell
Cursos sobre programación funcional con Haskell
Cursos en castellano
- J.A. Alonso Programación declarativa (2008-09).
- J.E. Gallardo Programación Declarativa - Haskell.
Cursos en inglés
- G. Hutton Functional Programming.
- E. Meijer Introduction to functional programming.
- T. Nipkow Informatik 2: Functional Programming.
- P. Wadler Informatics 1 – Functional Programming.
Cálculo simbólico
- J.A. Alonso Resumen de funciones de Maxima.
- J. Arántegui Introducción a Maxima.
- R. Rodríguez Maxima con wxMaxima: software libre en el aula de matemáticas.
- M. Rodríguez Maxima: una herramienta de cálculo.
- M. Rodríguez Primeros pasos en Maxima.