Cómo se usa
- Escribe a la izquierda y pulsa Comprobar (
⌘↵ o Ctrl↵).
- Si todo encaja, a la derecha sale el tipo de cada definición, leído en castellano. Las que no tienen firma muestran el tipo que ha deducido Haskell y un botón para pegarla.
- Si algo falla, el error sale explicado, con pistas, y la línea se marca en rojo. El mensaje original va debajo, por si quieres aprender a leerlo.
- En la consola pruebas tus definiciones:
doble 21. Cada resultado lleva su tipo debajo.
- Órdenes útiles:
:t expresión (tipo), :k Maybe (la «forma» de un tipo), :defs. Las flechas ↑↓ recorren lo que has escrito.
- Si algo se queda calculando para siempre (
[1..]), pulsa Parar.
- Al poner el cursor sobre una función (
filter, zip, foldr…), encima de la consola sale su tipo y unos ejemplos con lo que dan; pinchando uno, se ejecuta.
Para leer: ¡Aprende Haskell por el bien de todos!, la traducción al castellano de Learn You a Haskell (Miran Lipovača; CC BY-NC-SA 3.0). Cada tema del curso enlaza su capítulo.
Funciona entero en tu navegador: no se envía nada a ningún servidor, y tras la primera visita va sin conexión. El compilador es MicroHs, de Lennart Augustsson (Apache 2.0): un Haskell pequeño, con la biblioteca base. Taller de Karb and Sil · CC BY 4.0.