There are two ways to implement DFA as a polynomial functor.
1: Emulate the terminating behaviour with + Unit
2: Emulate the terminating behaviour as a Moore machine with a trapped state
1 isn't possible without #3 2 would be desirable regardless for non-terminating applications
There are two ways to implement DFA as a polynomial functor.
1: Emulate the terminating behaviour with
+ Unit2: Emulate the terminating behaviour as a Moore machine with a trapped state
1 isn't possible without #3 2 would be desirable regardless for non-terminating applications