←back to thread

93 points endorphine | 1 comments | | HN request time: 0.198s | 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.