So given Jessicata’s comment that functional is basically updateless reformulated, this PDF does a good job of clarifying its differences from timeless (look at page 4). Basically, timeless updates on the current situation, while updateless doesn’t. So in Counterfactual Mugging, timeless completely ignores the heads case if you can see that the coin came up tails, while updateless promotes the same decision before it learned this information, which is the input-output mapping with highest expected value.
Also, Counterfactuals, thick and thin has some interesting content related to logical counterfactuals, though it isn’t really an introductory post as it assumes you understand certain mathematical concepts.
So given Jessicata’s comment that functional is basically updateless reformulated, this PDF does a good job of clarifying its differences from timeless (look at page 4). Basically, timeless updates on the current situation, while updateless doesn’t. So in Counterfactual Mugging, timeless completely ignores the heads case if you can see that the coin came up tails, while updateless promotes the same decision before it learned this information, which is the input-output mapping with highest expected value.
Also, Counterfactuals, thick and thin has some interesting content related to logical counterfactuals, though it isn’t really an introductory post as it assumes you understand certain mathematical concepts.