A Monadic Calculus with Episodic Flows

TL;DR

This paper introduces a monadic calculus based on actions with reduction, collection, and inspection, enabling decision-making and data structure encoding for analyzing algorithms through data mutation.

Contribution

It presents a novel monadic calculus framework with actions for decision-making and data structure encoding, along with analysis methods for algorithms.

Findings

Actions can encode typical data structures.

The calculus supports decision-making algorithms.

Provides a method for analyzing algorithms via data mutation.

Abstract

We define computational atoms named "actions" equipped primarily with three operations: reduction, collection, and inspection. We show how actions can be used for decision-making algorithms from simple axioms. We describe the encodings of typical data structures as actions, and provide a method of analysis for algorithms on the basis of data mutation.