Archived tweet #11838 from the @leastfixedpoint Twitter Archive

@bigthingist Reflection to extract descriptions seems, uh, hard. Easier could be to have a UBF-B like language generate a contract monitor to keep implementations in line; if the language is carefully designed enough, tooling can do all sorts of neat things with it