listen to these cool things about algebraic proofing systems being the grandfather of databases :blobcatadorable:

:blobfoxglare: no. i want facebook memes.

:blobcatgooglycry:
Follow

@icedquinn Noooo. I hated doing relational algebra and relational calculus in my databases class. All you need to know is SQL and that's it.

· · Web · 1 · 0 · 0
@xianc78 i got there because openpolicyagent's language is a derivative of datalog and i was looking in to that.

i was curious if i could steal their language to make validation code nicer in icedmatrix.

i have a model of what kinds of json objects you can receive and send but they aren't validated off that, it would have been neat if you could include some little validation expression in the model file
@xianc78 there are some interesting shorthands in datalog/rego for queries like "do all of these fields exist in that object" or "is there at least one item in here that matches this?" but i didn't end up adopting it.

checking code is kind of ad-hoc. will have to do a pass at some point to make sure everything does it
@xianc78 but also er. it's been a month now. i need to probably look in to things that pay. which working on this server doesn't. :blobcatadorable:
Sign in to participate in the conversation
Game Liberty Mastodon

Mainly gaming/nerd instance for people who value free speech. Everyone is welcome.