Representar Algoritmos especificados en el Diagrama de Flujo en Haskell

Question

Me enfrento con la tarea de implementar algoritmos (principalmente estilo de lógica de negocios) expresados ​​como diagramas de flujo. Soy consciente de que los diagramas de flujo no son la mejor representación de algoritmo debido a su propiedad de código de spaghetti (¿sería esto un caso de uso para CPS?), Pero estoy atascado con la especificación expresada como diagramas de flujo.

Aunque pude transformar los diagramas de flujo en representaciones equivalentes más apropiadas antes de implementarlos, eso podría dificultar "reconocer" el organigrama original en la implementación resultante, así que esperaba que haya alguna manera de representar directamente el diagrama de flujo -algoritmos como EDSL (tal vez monádicos) en Haskell, por lo que la apariencia de la especificación original del diagrama de flujo sería (más) obvia.

Answer 1

Una posible representación de diagramas de flujo es mediante el uso de un grupo de funciones mutuamente recursivas, traduciendo "ir al paso X" en "evaluar la función X con estado S". Para una mejor legibilidad, puede combinar en una sola función tanto la acción (una función externa que cambia el estado) como la cadena de if/else o la coincidencia de patrones que ayuda a determinar qué paso tomar a continuación.

Esto supone, por supuesto, que sus diagramas de flujo deben ser codificados (a diferencia de los cargados en el tiempo de ejecución desde una fuente externa).

Answer 2

Suena como Arrows encajaría exactamente con lo que describes. O haz una visualización de las flechas (debería ser bastante simple) o genera/transforma el código de la flecha de los gráficos de flujo, si es necesario.

Answer 3

Suponiendo que hay un estado "global" dentro del diagrama de flujo, entonces tiene sentido empacar en una mónada de estado. Al menos entonces, a diferencia de cómo lo está haciendo ahora, cada llamada no necesita ningún parámetro, por lo que se puede leer como a) modificar el estado, b) condicional en el estado actual, saltar.