4006 shaares
71 private links
71 private links
82 results
tagged
safety
Discusions around a fascinating and very important class of errors in distributed systems.
I like it when type systems can express this kind of constraints. It clearly allows to catch mistakes early in the development cycle.