The kaikai Programming Language

Un libro de lectura, no un manual de referencia. La referencia vive en el repo del lenguaje, en kaikai/docs. Este libro es el acompañante extenso: capítulos que explican el porqué detrás del lenguaje y recorren programas ejecutables desde la primera página.

La inspiración estructural es The Go Programming Language de Donovan y Kernighan: prosa densa, programas reales desde el capítulo uno, casos de estudio integradores, ejercicios al final de cada capítulo. La inspiración pedagógica es Learn You a Haskell for Great Good! de Lipovača: tono cálido donde el material es nuevo, conceptos introducidos gradualmente, espacio para que el lector respire.

Para quién

Un programador con experiencia en algún lenguaje imperativo u orientado a objetos (Python, Go, Java, JavaScript, C#, Rust) que no necesariamente ha trabajado con lenguajes funcionales. Conceptos como tipos algebraicos, pattern matching, inmutabilidad por defecto y efectos visibles en el tipo se introducen con puentes desde lo que el lector ya conoce.

No es para principiantes absolutos. Hay que saber qué es una función, un tipo, una lista y una prueba.

Edición bilingüe

El libro existe en español e inglés, ambas ediciones de primera clase. Ninguna es traducción de la otra: cada una se escribió en su voz nativa, con ejemplos cuyos comentarios y nombres de archivo viven en el idioma de la edición que los cita.

Estado

El libro está en escritura activa. 18 capítulos planificados más 6 apéndices. El repositorio incluye el índice completo, los capítulos terminados y los ejemplos que cada capítulo cita.

Borrador en evolución. El PDF se regenera con cada cambio significativo del libro.