1,002 karma · joined July 1, 2015
This is not true.
https://www.reuters.com/article/factcheck-japan-ivermectinan...
If you have a set with two binary operations, then a monoid isn't the correct abstraction.
How would you propose to define <> so that a<>x<>b means ax+b and not e.g. a+xb. And how would your proposal be materially different from newtype conversions?
I'm running Ubuntu with two 4k monitors, an HP printer, and a bluetooth mouse. All of this works perfectly without any fiddling. I've also played quite a few games on this machine thanks to Steam and Proton.
20 years ago Clojure didn't exist and Ruby was practically unknown outside of Japan
- building and maintaing roads expands the role of government. It's an extra program for the municipality to manage.
- Expanding government programs is a tax on residents, even if they don't benefit from building and maintaing roads.
- building and maintaing roads is hostile to business. Companies cannot reasonably compete with a service that the government pumps money into.
There's no such thing. An anomaly that doesn't appear on multiple sensors is a defect with your sensor.
For an English speaker. There are many human languages that put the verb at the end of clauses. Japanese is one example.
You've answered your own question.
> So what is the IO monad, the most famous of them all?
IO is the State monad where the state is the entire universe.