Somewhat related to computation and train tracks (though using train tracks for binary state is really awesome!): "Introductions to Monads" are a dime a dozen,

Somewhat related to computation and train tracks (though using train tracks for binary state is really awesome!): "Introductions to Monads" are a dime a dozen, but this one, which uses train track analogies (a monad is just an adapter that changes a noncomposable function into a composable segment for a path), was the one that got the entire concept to click for me. Highly recommended. https://fsharpforfunandprofit.com/rop/ https://fsharpforfunandprofit.com/rop/