Writing
Correctness as spectrum not as binary. In distributed system correctness is not about a program being complied well with the computer and it's network, it's only correctness can be only specified by it's definition, assumptions and failure model. Functional options design pattern in go. Functional options in go are design patterns for configuring structs cleanly, when there are many optional settings. RAII and it's architecture in c++. RAII (Resource Acquisition Is Initialization) is the core of C++ idiom.