1: \begin{abstract}

2:   We propose another interpretation of well-known derivatives computations from regular expressions, due to Brzozowski, Antimirov or Lombardy and Sakarovitch,

3:   in order to abstract the underlying data structures (\emph{e.g.} sets or linear combinations) using the notion of monad.

4:   As an example of this generalization advantage, we first introduce a new derivation technique based on the graded module monad

5:   and then show an application of this technique to generalize the parsing of expression with capture groups and back references.

6: 

7:   We also extend operators defining expressions to any \(n\)-ary functions over value sets, such as

8:   classical operations (like negation or intersection for Boolean weights) or more exotic ones (like algebraic mean for rational weights).

9: 

10:   Moreover, we present how to compute a (non-necessarily finite) automaton from such an extended expression, using the Colcombet and Petrisan categorical definition of automata.

11:   These category theory concepts allow us to perform this construction in a unified way, whatever the underlying monad.

12: 

13:   Finally, to illustrate our work, we present a Haskell implementation of these notions using advanced techniques of functional programming,

14:   and we provide a web interface to manipulate concrete examples.

15: \end{abstract}

16: