I think some of the recent developments in run-time type checking systems like the one in Mobx-state-tree [1] and Clojures Spec [2] are interesting. I don't kno

I think some of the recent developments in run-time type checking systems like the one in Mobx-state-tree [1] and Clojures Spec [2] are interesting. I don't know enough about either to make any witty remarks but I'd like to see the impact they have on the field. [1] https://github.com/mobxjs/mobx-state-tree#thanks https://github.com/mobxjs/mobx-state-tree#thanks see tcomb [2] https://clojure.org/guides/spec https://clojure.org/guides/spec