[erlang-questions] Fwd: Must and May convention

[zxq9]

On 2017年09月28日 木曜日 13:21:56 Joe Armstrong wrote:
> Part of system design is isolating the error-kernel making it as small as
> possible and getting it implemented by the best programmers.

Indeed. I wish this was an easy concept to inculcate.

> All this supervision tree stuff is fine - but you do have to trust
> that the code that implements supervision trees and gen_servers and so on
> is correct.

I strongly agree with this. This is also the reason I trust property
testing FAR more than a few hand-written unit tests, and user testing
of an integrated system far more than an automated anything.

-Craig