Koka: un lenguaje funcional con tipos de efectos y manejadores

-

Koka es un lenguaje de programación funcional fuertemente tipado cuyo rasgo más distintivo es el uso de tipos de efectos (effect types) combinados con handlers.

  1. Es funcional (como Haskell).
  2. Tiene tipado estático fuerte.
  3. Pero además hace explícitos los efectos en los tipos.

Relación con Haskell

Koka y Haskell están muy relacionados conceptualmente:

Aspecto Relación
Paradigma Ambos son funcionales
Tipado Ambos con tipado fuerte y avanzado
Pureza Ambos promueven funciones puras
Base teórica Comparten fundamentos (lambda calculus, tipos)

Haskell:

"los efectos están encapsulados en monadas".

Koka:

"los efectos forman parte del tipo".

Instalando Koka

Abrimos una terminal y tecleamos lo siguiente

Windows

$ curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/latest/download/install.bat && %tmp%\install-koka.bat

Linux 

$ curl -sSL https://github.com/koka-lang/koka/releases/latest/download/install.sh | sh

Validamos: 

$ koka

¿Para qué sirve?

1. Investigación y diseño de lenguajes

Es un lenguaje académico/experimental (aún no orientado a producción) [koka-lang.github.io] Sirve para explorar ideas avanzadas como:

  1. efectos algebraicos
  2. inferencia de tipos con efectos
  3. optimización funcional eficiente

2. Programación más segura

Permite controlar con precisión efectos como:

  1. IO (entrada/salida)
  2. estado mutable
  3. excepciones
  4. concurrencia

Esto ayuda a evitar errores y hace el código más predecible.

3. Reemplazo conceptual de monadas

Busca una forma más directa y legible que las monadas para modelar efectos.

Semejanzas Koka vs Haskell

  1. Funcionalidad pura como base: Ambos favorecen funciones sin efectos secundarios.
  2. Tipado fuerte e inferido: No necesitas anotar todos los tipos.
  3. Abstracciones poderosas: Ambos permiten crear código altamente abstracto y composable.
  4. Separación de efectos: Haskell → con monadas. Koka → con effect types.

Diferencias clave

1. Manejo de efectos

Mónadas en Haskell:

main :: IO ()

Los efectos están encapsulados en tipos como IO, Maybe, Either

Se encadenan con >>= o do

Problema: pueden ser difíciles de componer y razonar.

Koka: Effect types + handlers 

fun main() : console ()

Los efectos aparecen como decoradores del tipo. Se pueden combinar de forma modular.

Ventaja: más explícito y flexible

2. Composición de efectos

Haskell: usa monad transformers (complejos).

Koka: combina efectos directamente en el tipo.

<io, exn, state>

Sin transformers.

3. Effect handlers (gran diferencia)

Koka permite: 

with handler ...

Puedes interceptar efectos como:

  • excepciones
  • generators
  • coroutines

Esto es parecido a:

  • try/catch pero más general
  • o como continuations avanzadas

Haskell no tiene esto de forma nativa.

4. Inferencia de efectos

Haskell: tú controlas efectos indirectamente.

Koka: el compilador infiera automáticamente los efectos.

5. Mutabilidad eficiente (FBIP)

Koka tiene una idea innovadora: Fully In-Place Functional Programming (FBIP).

Permite:

  1. Eficiencia tipo C.
  2. Sin perder pureza conceptual.

Esto es difícil en Haskell sin usar técnicas avanzadas.

Haskell es un lenguaje maduro y listo para producción.

Koka aún está en fase experimental y solo se usa con fines de investigación.

Enlaces:

https://alquimistadecodigo.blogspot.com/2026/02/nuevos-lenguajes-de-programacion.html



Comentarios

Publicar un comentario

Entradas populares de este blog

Cabal

-
Imagen
Cabal es un conjunto de herramientas para proyectos Haskell. Nos ayuda a crear y empaquetar bibliotecas y programas de Haskell . Define una interfaz común para que los creadores y distribuidores de paquetes creen fácilmente sus aplicaciones de forma portable. Forma parte de una infraestructura más amplia para distribuir, organizar y catalogar bibliotecas y programas de Haskell . Instalando Cabal en Windows: $ Set-ExecutionPolicy Bypass -Scope Process -Force; [ System.Net.ServicePointManager ] ::SecurityProtocol = [ System.Net.ServicePointManager ] ::SecurityProtocol -bor 3072 ; try { & ([ ScriptBlock ] ::Create (( Invoke-WebRequest https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing ))) -Interactive -DisableCurl } catch { Write-Error $_ } Verificando la instalación: $ cabal --version Instalación en Linux: $ curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh $ source ~/.bashrc ...
Leer más

Lenguajes similares Haskell: Agda

-
Imagen
Agda es un lenguaje de programación funcional con tipado dependiente. Donde los tipos pueden depender de valores, lo que permite expresar invariantes directamente en el sistema de tipos. Es una extensión de la teoría de tipos de Martin-Löf y representa el desarrollo más reciente de lenguajes creados en el grupo de lógica de programación de Chalmers. "Gracias a su fuerte tipado y a los tipos dependientes, Agda puede utilizarse como asistente de demostración, lo que permite probar teoremas matemáticos (en un entorno constructivo) y ejecutar dichas pruebas como algoritmos". Además de programar, puedes demostrar teoremas y verificar que tu código cumple propiedades matemáticas. Se usa principalmente con Emacs, que ofrece asistencia paso a paso para escribir programas y pruebas. La similitud con Haskell coniste en compartir la orientación funcional, pero Agda va más allá al integrar la lógica formal en el lenguaje. Comparativa con Haskell Obse...
Leer más

Tipos de datos en Haskell

-
Imagen
Como hemos mencionado, Haskell es un lenguaje de programación funcional de tipado estático . ¿Qué quiere decir esto? En Haskell es necesario especificar qué tipos de datos vamos a emplear en nuestros programas.  Puesto que al compilar el programa (sí, Haskell se compila) se evaluarán los tipos para saber si son enteros, booleanos o cadenas de caracteres. Además al tener inferencia de tipos no tenemos que especificar, por ejemplo, que un número es un número. Comprobemos esto. Abrimos una terminal y tecleamos: $ ghci Esto abrirá el REPL de Haskell . Usemos el comando :type o el abreviado :t para ver los tipos de datos. ghci > : type "Esto es una cadena" "Esto es una cadena" :: String ghci > : type 33 33 :: Num a => a ghci > : type True True :: Bool ghci > :t 'X' 'X' :: Char ghci > :t 23 + 32 23 + 32 :: Num a => a En este ejemplo vemos los tipos: Char , String , ...
Leer más