Documentación
En esta página se recogen en enlaces que sirven de documentación a la asignatura de "Informática" de 1º del Grado en Matemáticas de la Universidad de Sevilla.
1. Vídeos de Haskell
- J.A. Alonso: Iniciación a Haskell.
- J.A. Alonso: Ejercicios de I1M.
- J.A. Alonso: Programación funcional con Haskell.
- E. Meijer: Functional programming fundamentals.
2. Libros 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í, 2014).
- 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.
- 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!
- M. Lipovaca y J. Brock Learn you a Haskell for great good!.
- B. O'Sullivan, J. Goerzen y D. Stewart Real world Haskell. (O'Reilly Media, Inc., 2008).
- F. Rabhi y G. Lapalme Algorithms: A functional programming approach.
- A. Serrano Practical Haskell (A real World guide to programming).
- The Haskell wikibook.
3. Recursos sobre Haskell
3.1. Especificaciones de Haskell
- Haskell 98 Language and Libraries (The Revised Report) de diciembre de 2002.
- Haskell 2010 Language Report.
3.2. 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.
3.3. Buscador de funciones de Haskell
3.4. Portales de Haskell
4. Libros de cálculo simbólico
- J.A. Alonso Resumen de funciones de Maxima.
- J.A. Alonso Equivalencia entre funciones de Maxima y Haskell.
- Manual 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 Primeros pasos en Maxima.
5. Colecciones de ejercicios
5.1. Sitios con corrección en línea
- Anarchy golf.
- CodeAbbey.
- Code kata.
- CodeChef.
- CodeWars.
- Codility.
- exercism.io (Crowd-sourced code reviews on daily practice problems).
- HackerEarth.
- HackerRank.
- Kattis.
- OmegaUp (en español, Olimpiadas mejicanas)
- POJ (Peking University Online Judge).
- SPOJ (Sphere Online Judge).
- Timus Online Judge.
- TopCoder.
- UVa Online Judge.
- ZOJ (Zhejiang University Online Judge).
- Lista en Haskellwiki.
5.2. Otras colecciones de ejercicios
- 1001 algorithms you must implement before you die.
- A compendium of NP optimization problems.
- Algorithm implementation Wikibooks.
- Algorithmist.
- An annotated list of selected NP-complete problems.
- Art of problem solving.
- Bonsai code.
- Coding Dojo.
- Daily Programmer.
- Fun With Num3ers.
- IPSC (Internet Problem Solving Contest).
- H-99: Ninety-Nine Haskell Problems.
- Haskell Quiz.
- Le Site du Zero - Algorithmes divers multi-langage.
- List of algorithms.
- List of NP-complete problems.
- Mathalon.
- Números y algo más ….
- Programming praxis.
- Project Euler.
- Rosalind: A platform for learning bioinformatics and programming through problem solving.
- Rosetta Code.
- Software Craftsmanship - Katas.
- TDD Problems.
- The Stony Brook Algorithm Repository.