I've also noticed that there's always an (annoying) triumphal 'gotcha' when they link to some short-form essay mentioning basic facts, denied by nobody, of the famines and loss of relative share of GDP suffered by India etc.
Again, _everyone knows this_. It comes across as naive and arrogant to assume otherwise.
The effect British rule had in India (and everywhere) was extremely nuanced, and there is a huge amount of interesting history to be debated. After all, we're talking about a subcontinent over a 350 year time period.
The British, for instance, banned the practices of Sati (burning widows alive) and of infanticide, and explicitly allowed Indians to compete on equal terms with the British in examinations to enter the Indian Civil Service.
There's very little consensus amongst historians whether or not they were responsible for the famines India suffered at the time, or if they even made any net money from India whatsoever, given their constant fear of raising taxes.
I'm not necessarily trying to take a position either way, by the way, just begging people who are nodding along to some of these bumper-sticker anti-colonialism comments to read more deeply into what is an unimaginably huge subject.
I've loved being able to use Lean's macro system to write JSX-like HTML:
Ironically I've come up a bit short on how to use dependent types to do anything more advanced than matching handlers' to route types, which Servant [2] can do fantastically already.I would love to be able to write types that describe, e.g., assumptions made about external resources, so that I can prove that "assuming my DB has such-and-such a latency, my page will always render in such-and-such a time" or something similar - but it's a bit beyond me at the moment.
[1] https://github.com/alex-wellbelove/LeanServer [2] https://hackage.haskell.org/package/servant