El nombre
kai kai
En rapanui, kai kai es el juego de figuras hechas con un cordel entre los dedos. Cada figura tiene su canto, el pata'u ta'u, que se recita mientras las manos la forman. Verso y forma viajan juntos: uno no se sostiene sin el otro.
Por qué ese nombre
El lenguaje toma esa imagen como analogía del tipado. Los tipos son la figura; el código es el verso. Escribir un programa es recitar y formar al mismo tiempo, y el compilador está para comprobar que ambas cosas siguen coincidiendo.
La analogía tiene una consecuencia práctica que atraviesa el diseño: si la figura y el verso son inseparables, el tipo no es un comentario sobre el código sino parte de lo que el código dice. Por eso los efectos aparecen en la firma, por eso las unidades viven en el tipo, y por eso los contratos se escriben junto a la función y no en un archivo aparte.
Rapa Nui en todo el proyecto
El nombre no es un gesto aislado. Las bibliotecas del ecosistema llevan nombres en rapanui elegidos por lo que hacen —ahu, la plataforma de piedra; kohau, la tablilla rongorongo; henua, la tierra— y están descritas en la página del ecosistema.
Las ediciones del lenguaje llevan nombres geográficos de la isla. Una edición es el mecanismo de estabilidad: dentro de una edición la superficie del lenguaje no rompe, y los cambios incompatibles solo ocurren al cruzar de una a la siguiente, siempre con la opción explícita de quien programa.
- Tongariki La fase previa. Iteración rápida sobre los internos mientras la superficie de usuario se asentaba.
- Hanga Roa edición actual La primera edición con destino público. Es la que usa hoy quien instala el lenguaje.
- Orongo La edición de estabilización, todavía por cortar.
Cómo se escribe
El lenguaje se escribe kaikai, en una
palabra y en minúscula, incluso al comienzo de una frase.
El juego rapanui que le da origen se escribe
kai kai, en dos. La herramienta de línea de
comandos es kai, y los archivos terminan en
.kai.
Quién lo hace
kaikai lo desarrolla Eduardo Díaz. El código vive en GitHub y el proceso de diseño se cuenta en el blog. Hay más en la página de comunidad.