Desarrollo en Koka: Efectos Algebraicos y Manejadores

Soy un ingeniero de programación funcional y trabajo diariamente en Koka, un lenguaje de investigación construido en torno a efectos algebraicos y tipos de efecto basados en filas. Si necesitas un prototipo, biblioteca o herramienta cerca del compilador donde cada efecto secundario se rastrea en la firma de tipo, no se oculta en el tiempo de ejecución, te ayudaré. Mi trabajo típico se ve así: describo tu dominio con un pequeño conjunto de operaciones de efecto, escribo manejadores que dan a estas operaciones un significado concreto y dejo que el verificador de tipos de Koka demuestre que ningún efecto no manejado escapa. Debido a esto, la misma lógica se ejecuta en una base de datos real, un stub o una reproducción determinista para pruebas, solo cambia el manejador. He utilizado esta técnica para construir analizadores, autómatas finitos, tuberías asíncronas e intérpretes para pequeños lenguajes de dominio. En el lado del compilador, leo con confianza cómo Koka despliega efectos en estilo de paso de evidencia, razono sobre cómo la compilación tipada reduce los manejadores y diagnostico por qué una fila de efecto no se unifica de la manera que esperabas. Como resultado, obtienes código fuente de Koka limpio y comentado, una breve nota del proyecto justificando las firmas de efecto elegidas y un conjunto de pruebas que verifica cada manejador en aislamiento. Los puntos complejos los describo por separado para que tu equipo pueda mantener el código después de mí. Si ves los manejadores de efecto como un reemplazo para transformadores de mónadas o espagueti de callbacks, envíame la tarea y propondré un diseño de efecto concreto antes de que empecemos.