search

Lexpedite / blawx

A user-friendly web-based tool for Rules as Code.
MIT License
100 stars 9 forks source link

Look into `#=` operator #472

Closed Gauntlet173 closed 1 year ago

Gauntlet173 commented 1 year ago

Might be a way to get rid of the calculation block, and make math formula relational. Might also be a way to reimplement the date library in a relational way.

Gauntlet173 commented 1 year ago

The problem is that a constraint equation is a relationship between three values, and I don't have any way to conclude a value between three entities, so there is no way to reverse through it. I'm also getting some sort of existence errors. I could keep playing with it, but it doesn't seem like something that is going to have a quick conclusion without maybe violating the unary/binary structure of the code. I feel like maybe this would make more sense inside the date library first, so be able to reverse certain kinds of date equations. I think I'm going to push this back to do eventually, because I don't think it's going to help a lot immediately.

Gauntlet173 commented 1 year ago

Also, it uses rational numbers, which means that we need to figure out a way to translate from rational number formats in the explanations.