Paul Cantrell@stacey_campbell @futurebird @snacktraces Joe Groff (of the Swift compiler team at Apple, wow do I miss him on here) once remarked that unit tests and static types have in common that they are a form of •systematized redundancy•: both ask engineers to express their understanding / assumption / intent in two forms, and then a second actor (the machine in both those cases) checks that the two forms agree. I love that way of seeing it.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.