El artículo propone una reinterpretación fundamental de los sistemas de efectos en Haskell como sistemas de capacidades. Históricamente, los sistemas de capacidades han sido un concepto arraigado en la seguridad de sistemas operativos y lenguajes de programación, donde una 'capacidad' es una entidad que referencia un recurso y otorga autoridad para acceder a él. La tesis central es que esta noción de capacidad es directamente aplicable y más descriptiva para los sistemas de efectos, como Bluefin, que buscan circunscribir el rango de comportamientos externos de los componentes de un programa.

La motivación para esta redefinición surge de la ambigüedad en la terminología de 'efecto' y 'pureza' en la programación funcional, así como de la necesidad de comunicar de manera más efectiva los beneficios arquitectónicos de Haskell a una audiencia más amplia. Al enmarcar los efectos como capacidades, se enfatiza la idea de que un componente de software solo puede realizar ciertas operaciones si se le ha otorgado explícitamente la 'autoridad' o 'capacidad' para hacerlo. Esto resuena con principios de seguridad como el 'principio de privilegio mínimo' y proporciona un marco más intuitivo para razonar sobre la arquitectura y las restricciones de un sistema.

Arquitectura del Sistema

Bluefin se posiciona como un sistema de efectos 'IO-wrapper' o 'analítico', lo que significa que es una envoltura ligera alrededor del tipo IO de Haskell. La distinción clave de Bluefin, en comparación con otros sistemas como effectful o extensible-effects, radica en cómo indica la presencia de efectos: en Bluefin, los efectos se indican mediante argumentos a nivel de valor, mientras que en effectful se utilizan restricciones a nivel de tipo.

Un sistema de capacidades, en este contexto, implica que para realizar una operación 'efectiva' (como interactuar con una base de datos, lanzar una excepción o acceder a estado mutable), se debe tener acceso a una 'capacidad' específica. Por ejemplo, una Database en Bluefin es una capacidad que permite interactuar con una base de datos, y un Throw String es una capacidad que otorga la autoridad para lanzar una excepción de tipo String. Estas capacidades son valores que se pasan explícita o implícitamente, permitiendo un control granular sobre qué efectos puede realizar un componente. La implementación de estas capacidades a menudo se basa en referencias mutables, como STRef o IORef, que encapsulan la autoridad para modificar una región de memoria o interactuar con el sistema de tiempo de ejecución (RTS) de Haskell.

Flujo de Lanzamiento y Manejo de Excepciones con Capacidades en Bluefin

  1. 1 try Establece un bloque de manejo de excepciones e introduce la capacidad 'th' (T...
  2. 2 f n Función que recibe un entero 'n' y la capacidad 'th'.
  3. 3 if n > 5 Condición para determinar si se lanza una excepción.
  4. 4 throw th "Too big" Utiliza la capacidad 'th' para lanzar una excepción de tipo String.
  5. 5 pure (2 * n) Retorna un valor puro si no se lanza la excepción.
  6. 6 runPureEff Ejecuta el efecto y captura el resultado (Right para éxito, Left para excepci... 
operationBluefin ::
  Database es ->
  Throw String es ->
  Eff es ()
Demuestra cómo Bluefin pasa explícitamente capacidades (como `Database es` y `Throw String es`) como argumentos de función, a diferencia de las restricciones de tipo.
f n = try $ \th ->
  if n > 5
  then throw th "Too big"
  else pure (2 * n)

> runPureEff (f 4)
Right 8
> runPureEff (f 10)
Left "Too big"
Ejemplo de cómo la capacidad `Throw` se introduce en el ámbito mediante `try` y se utiliza para lanzar una excepción que es manejada localmente.

Fundamentos Teóricos

El concepto de 'sistema de capacidades' tiene raíces profundas en la literatura de ciencias de la computación, remontándose a varias décadas. Fue introducido originalmente con propósitos de seguridad, como un modelo para el control de acceso y la protección en sistemas operativos. Un ejemplo prominente es el kernel seL4, que es un kernel basado en capacidades con una especificación ejecutable escrita en Haskell. En seL4, las capacidades se utilizan para gestionar la comunicación entre procesos (IPC) a través de 'endpoints' o buzones.

En el ámbito de los lenguajes de programación, las capacidades a menudo se denominan 'capacidades de objeto' y autorizan el acceso a entidades en el sistema de tiempo de ejecución (RTS) del lenguaje, como se ve en lenguajes como Pony. La conexión académica se extiende a trabajos como 'Capability Myths Demolished' de Miller, Yee, y Shapiro, que articulan la definición de una capacidad como una entidad que referencia un recurso y otorga autoridad. La idea de 'excepción con ámbito por valor' también tiene precedentes en trabajos como 'Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism' de Brachthäuser, Schuster, y Ostermann, lo que subraya cómo los conceptos teóricos de capacidades y efectos se entrelazan en la investigación contemporánea.