> The function `a -> Maybe a` is a different function than `a -> a`. Despite his intuition that the latter provides a stronger guarantee and shouldn't break code, callers may be expecting the Functor instance that the `Maybe` provides and therefore is a breaking change.
I don't really follow that. How can it be a breaking change? Can you give an example?
I think "late indexing" maybe referring to an implementation detail. The indexes aren't updated after each transaction. When you query the db, the result is a merge between the index and the transactions that haven't been indexed yet. The index is updated in batches.
Ayn Rand didn't use force to take anyone's money. That's what she hated. When those who took her money offered her a small portion back, her philosophy didn't require her to refuse it.
Like if she was in a forced labour concentration camp, her philosophy wouldn't require her to refuse to eat the food she was offered.
Her reasons were given a long time before she ever received social security (1974). Rand's moral system did not require her to file lawsuits that had no chance of success.
You don't think government taxes by force? What about all the people imprisoned for not paying their taxes?
She became a wealthy woman from her successful books, so she paid far more in than she ever took out. Her estate was valued at about a million dollars when she died in 1982. Her total receipts from social security $14,000.
> My point is that there are other variables to take into account other than prices.
You said quality food was reserved only for rich people. People with a median income in western countries can comfortably afford to regularly eat locally grown, ethically-produced, non-intensive farm-shop food if that's what they're into. Bill Gates & Donald Trump aren't eating higher quality food than they are.
Modern medicine, access to all the world's knowledge on a handheld device in your pocket, cheap clean/safe water and food from every corner of the world, entertainment (music/films/tv/youtube) cheap/safe transport over thousands of miles in a matter of hours.
There's not a chance in hell I'd want to swap places with a king of 1000 years ago.
I subtract all their taxes. If Exxon pays $100bn/yr in various normal taxes, and the government pays them $1bn/yr in fossil fuel subsidies, that's a net subsidy of -$99bn/yr.
How can it be a fair representation of their situation to only say they receive $1bn/yr in subsidy?
> If there is a tax that's applied specifically to gas companies that isn't directly paying for infrastructure they use, then that tax can be subtracted from the subsidies. But the gas tax doesn't fit that bill; if anything it undercharges.
The gas tax is only one of many taxes that these companies pay - you have to sum all their subsidies and subtract all their taxes. That's the point. If you're not doing that, comparisons with subsidies to other industries are going to meaningless.
Even granting your argument, if the government takes $x as a service charge for infrastructure, and subsidises by $y, that would be a net subsidy of $y, not $y+$x.
But $x is not a service charge. It bares no relation to the amount of anything used. They can't opt out of the road part of the service charge and build their own roads. The tax is not hypothecated. Whatever the rhetoric of politicians, it doesn't bare any resemblance to a service charge.
I don't really follow that. How can it be a breaking change? Can you give an example?