tilapia

tilapia copied to clipboard

Yep, I can never tell which one does what.

How about getFinalState and getReturnValue?

By the way, State is a tuple, and a tuple is a non-empty container, and a non-empty container is a comonad. Therefore, should getReturnValue be called extract: State state value → value?

Nov 08 '22 19:11 kindaro

To start with, let's remember this mnemonic device: "evalState is invaluable" because it can be used to replicate execState (but not vice versa).

Dec 29 '22 09:12 tomjaguarpaw

This is how I have been remembering them:

• runState is the one from the record (inferrable from prefix run-)
• evalSatte yields a value – just like regular evaluation
• execState is the other one

Dec 29 '22 11:12 MatthijsBlom