Si quieres saber de qué se trata kaikai sin leer un libro entero, este video lo cuenta en menos de seis minutos.
También puedes verlo en YouTube.
Lo que vas a ver
- El sabor del lenguaje. Datos inmutables, tipos que se definen por sus casos y tuberías que anuncian su intención.
- Efectos algebraicos. La firma de una función dice si registra mensajes, lleva estado o puede fallar, y quien la llama decide cómo se resuelve cada cosa.
- Pruebas sin simulaciones. Hasta el buzón de un actor se puede reemplazar en una prueba, que termina al instante y siempre da lo mismo.
- Concurrencia estructurada. Las fibras nacen dentro de un bloque y ninguna lo sobrevive.
- Kinds. Unidades de medida, monedas y permisos que el compilador verifica y que no cuestan nada en ejecución.
- Contratos. Las condiciones de una función son parte de su firma, y el compilador demuestra las que puede.
- Trabajo con agentes. Un hueco tipado deja el programa compilando con piezas pendientes, y el compilador le dice al agente qué espera en cada una.
Para seguir
Si el video te dejó con ganas de probarlo, instala kaikai con una línea, mira los ejemplos o lee el libro, que está completo en línea.