4 ms·
I want an IaC and nixos level language with prolog inspiration. Let me express how to go from fact to goals with constraints. It would probably make more sense
by di4na 4y ago
I want an IaC and nixos level language with prolog inspiration. Let me express how to go from fact to goals with constraints.
It would probably make more sense than HCL or Pulumi.
Agents based language are close in theory but they are really targeted at specific simulation and not at explaining what went wrong.
It would also make it easier to do partial application and resumption of it. And probably make constraints for security easier.
Probably make composition of infra level work easier too.
- sourceless 4y agoI've been working on something like this (though written using CLojure & core.logic)! I'm glad to see there's someone else out there who think's it's useful.