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.
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.