veer66@magthe Wikidata users can constraints on the fly. If constraint is encoded in type, Wikidata server will have to be compile every time that one changes any constraint? @mdimjasevic
Marko Dimjašević@veer66, it is hard to answer your questions with the care they deserve in these relatively short toots. There's nothing you brought up in this thread that cannot be encoded via (static) types.
I strongly encourage you to read a type theory book, e.g., The Little Typer, Type-Driven Development with Idris, or Programming Language Foundations in Agda.