kkdaemas

> Wouldn't car dealers raise their prices some value up to $1k because they know anyone coming in that month to buy a car also just received a $1k check from the government?

There is still competition between car dealers, so I doubt this would happen.

Some survivors of SARS had significant long-term health complications. It remains to be seen if this will be the same.

I don't claim that this technique is impossible in OOP; it's just not as natural without discriminated unions and match expressions.

You could draw an analogy that monads are to text as defunctionalization is to an AST.

I might explain this concept to OOP-minded programmers like this:

Sometimes, you can improve your code by having it return a description of what to do, rather than doing the thing directly. This is like in SQL where you might return a query plan, rather than executing a query. Once you have this description, or plan, you can analyze, transform and inspect it before passing it to some execution engine that actually does the work.