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.

Follow

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.

· · Web · 0 · 0 · 3
Sign in to participate in the conversation
chaos.social

chaos.social – a Fediverse instance for & by the Chaos community