Choice is not commutative

anatoliykmetyuk / free-acp

A rewriting-based process algebra engine

7 stars 3 forks source link

Choice is not commutative #10

Closed anatoliykmetyuk closed 7 years ago

anatoliykmetyuk commented 7 years ago

δ + x != x + δ. This is because:

The dummy Eval implementation always selects the RHS operand
For arbitrary functor, F[A <: Tree], there is no way of knowing the result of that functor until running it with a Comonad.

Hence, it can be a better idea to move the Choice logic from resumption to run/runM. The resumption then will return a List[F[Tree]].

anatoliykmetyuk commented 7 years ago

This is not a problem outside of the test cases. The test cases make their suspension functors succeed immediately, so the decision can be made based on the order.