This is similar to the philosophy behind Clojure's "spec" system: https://clojure.org/about/spec https://clojure.org/about/spec It's mainly concerned with runt

This is similar to the philosophy behind Clojure's "spec" system: https://clojure.org/about/spec https://clojure.org/about/spec It's mainly concerned with runtime-checking, but the idea is to establish a standard that can be leveraged in multiple ways, from tests to (I believe) some degree of static analysis