> And it is great that we could reason about our rules in that manner.
That's what I've been missing as well. Node-RED comes close, but is event based.
I've been thinking of implementing this kind of system. It has similar principles to functional languages or a reactive system like Mgmt[0]. But I foresee a few issues that would render potential simple formulae into complex ones. Things like keeping state on event based inputs (push-type wall switches), time based decisions and outputs that don't provide feedback on their current state.
If I ever find the time to get practical with the idea and work out these issues I might put it into a Show HN.
That's what I've been missing as well. Node-RED comes close, but is event based.
I've been thinking of implementing this kind of system. It has similar principles to functional languages or a reactive system like Mgmt[0]. But I foresee a few issues that would render potential simple formulae into complex ones. Things like keeping state on event based inputs (push-type wall switches), time based decisions and outputs that don't provide feedback on their current state.
If I ever find the time to get practical with the idea and work out these issues I might put it into a Show HN.
[0] https://github.com/purpleidea/mgmt