[taeric]

I feel the flaw is in building ontologies. Satic ones, at that.

There is great value in reducing type errors at runtime. Is hilariously ironic that one of the main tools we reach for seems intent on just moving them to design time.

Notably, not compile time. Design. Most failures from mistakes in ontology stall the problem out before release.

(Obviously, ymmv.)