dear , is there something that let's you model constraints like we have SQL to model entity relationships?

every time i spend some time writing code to validate things, i'd just like to have a DSL to reason about which values an entity can take and which not.

· · Web · 1 · 1 · 2

like formal verification, but where i don't want to prove something won't happen, but to detect and deal with the condition when it happens.

Show thread
Sign in to participate in the conversation – a Fediverse instance for & by the Chaos community