AndreasFrom
Joined 15 years ago
Karma
526
Submissions
106
Member since
Oct 8
Joined 15 years ago
Edit: While `const PI = 3.1415…` is threadsafe, it's not very useful in comparison to runtime-immutability :)
"Non-goals: make channels completely lock-free (this would significantly complicate implementation and make it slower for common cases)"
https://coq.inria.fr/faq?q=node/16&som=2#htoc4