uniform treatment of constraints and constraint violations

bloom-lang / bud

Prototype Bud runtime (Bloom Under Development)

http://bloom-lang.net

Other

854 stars 60 forks source link

Open jhellerstein opened 13 years ago

jhellerstein commented 13 years ago

Would be nice to

model constraints other than keys in a uniform way
have uniform syntax sugar for constraint handling
perform static checks for constraint satisfiability. See for example the paper by Sheard and Stemple suggested by Maier.