News for hackers. Stuff that matters.
Re:Names are not type safety by brundolf on Monday November 02, 2020 @12:19AM (#24965030)
This is similar to the philosophy behind Clojure's "spec" system: 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

There are no comments on this comment yet.