Optics. That's the true name of the evil overlord.
Government cares about "looking" like they are doing the right thing. Because they want to get public support.
Then there is corruption. But I will say that's a secondary issue. Anyways, I am pretty sure once govt changes were I am from, former politicians will find a job easily in pharma. Again this is secondary and will always happen.
I never said PRN is simpler.
It is just as hard as infix.
I do not like PNR any better or worse. It takes me about 5 minutes to switch from lisps to others and back. I just put the parens in the wrong place a couple of times and I am done.
Paredit + PNR makes editing slightly more comfy, but that's it. They are the same thing.
I ate two bananas before my motorcycle test for their placebo effects to calm nerves. Cool as a cucumber I passed without a jitter on the throttle. It's anect-data-l. I know.
A) I would say lisps are rather boring. Clojure, one of the most recent ones hasn't changed in 15 years.
B) most systems are built in C, Java, Python. So no wonder most complex systems are written in those.
Efficiency is rewarded by consumer buying (voting with money) efficiently produced products.
It's not some abstract evil ideal that drives the market. It's people doing purchases.
Now, good markets need good (perfect to be precise) information. If people knew this is where we would end up (say most production moved to Asia), would they have made different choices (say to preserve manufacturing in US EU with better worker conditions)?
I would argue our economic system is just fine. But we fail in political, educational and ethical issues. Especially ethical, people know about horrible conditions in sweatshops, still there are massive queues to shop at low cost brands. I feel clothing as the most egregious, because there are decent alternative choices.
There is very little spec logic. It looks a lot like type declarations in typed languages.
It's usually outside the scope of functions, since you are likely going to want to reuse those declarations. For example, you can use spec to generate test cases for something like quick-check.
You can add pre and post conditions to clojure function's metadata that test wether the spec complies with the function's input/output.