←back to thread

93 points endorphine | 1 comments | | HN request time: 0.21s | source
Show context
Brian_K_White ◴[] No.43536927[source]
They let the programmer be the ultimate definer of correctness.

They don't prioritize performance over correctness, they prioritize programmer control over compiler/runtime control.

replies(2): >>43536968 #>>43537845 #
1. vacuity ◴[] No.43537845[source]
Empirically, then, we don't have enough programmers capable of mastering such control.