zeahfj
Joined 10 years ago
Joined 10 years ago
But perhaps some context is in order.
At that time India was pretty terrible. E.g. burning at the stake of widows after their husbands died. Even Marx found that the British occupation was a civilizing force. It could be argued that the occupation in its totality and for all of it's faults was a net positive.
Obvious fascism is obvious. Which is why George Orwell's books are dedicated to the less obvious fascisms. And it's why I made the point on political correctness, because it's less obvious.
I'm pretty sure monads can have side effects and be eager. It's just that not everything will be captured by the type signature. AFAIK this does not prevent it from being a monad. You can have monads without any type signature. Also, AFAIK the eagerness is a requirement due to the potential for errors changing program flow that is not captured by the type signature. But AFAIK this does not prevent it from being a monad.
AFAIK monads only have to conform to the monad laws, bind and return.
I'd like to know if I'm wrong because I'm concerned with the conflation of monads and language features of haskell. Specifically we can benefit from monadic composition without making javascript into haskell. I think Erik Meijer has been rather damaging in this regard. I know I'm in the minority so I'd like to be proven wrong so I can come join the party :)
Socialism is "fascism with a human face", the “The Fascists of the future will be the anti-fascists.” - Winston Churchill.