Documentación para "Informática" (2018-19)
En esta página se recogen en enlaces que sirven de documentación a la asignatura de "Informática" del curso 2018-19.
Programación funcional con Haskell
Vídeos
- J.A. Alonso Iniciación a Haskell.
- J.A. Alonso Ejercicios de I1M.
- J.A. Alonso Edición de programas de Maxima.
- A. Marzal Por qué deberías aprender programación funcional ya mismo (con una breve introducción a Haskell).
- E. Meijer Functional programming fundamentals (también se encuentran aquí).
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.
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.
- J. Bailey Guía rápida de Haskell.
- Haskell Reference card.
- B. Pope y A. van IJzendoorn A tour of the Haskell Prelude (basic functions).
- A. van IJzendoorn Tour of the Haskell Syntax.
- M. Nic Haskell Reference.
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
Portales 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. (Univ. de Maryland, 2006).
- 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.
- 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 (2nd edition) (Cambridge University Press, 2016).
- 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).
- A. Popovitch Wise man’s Haskell (Free book for learning Haskell)
- F. Rabhi y G. Lapalme Algorithms: A functional programming approach.
- A. Serrano Practical Haskell (A real World guide to programming).
- The Haskell wikibook.
Ejercicios de Haskell
- Kattis.
- H-99: Ninety-Nine Haskell Problems.
- Haskell Quiz.
- Project Euler.
- Colecciones de ejercicios de programación.
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
- K.L. Claessen Introduction to Functional Programming.
- G. Hutton Functional Programming.
- E. Meijer Introduction to functional programming.
- T. Nipkow Informatik 2: Functional Programming.
- P. Wadler Informatics 1 – Functional Programming.
Algorítmica
- J. Erickson Algorithms.
- F. Rabhi y G. Lapalme Algorithms: A functional programming approach.
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.