[erlang-questions] Fwd: Must and May convention
Thu Sep 28 13:43:33 CEST 2017
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.
More information about the erlang-questions