Interesting, anything you can share about your prolog-based approach? Sounds like I finally have an excuse to learn prolog :)
On Sun, Jun 2, 2019 at 7:46 PM Chris Double <chris.dou...@double.co.nz> wrote: > On Sun, Jun 2, 2019 at 10:24 AM Shimin Guo <smguo2...@gmail.com> wrote: > > I think I should say more about my motivation. In my day-to-day work, we > often need to set up server hosts, and we use ansible to do that. There are > other tools like Chef, SaltStack, etc., that are all similar. With these > tools, instead of using shell commands, we can use commands that are > higher-level, more declarative, and idempotent, such as "path /a/b/c should > exist", "file xyz should have this content", "package foo should be > installed", etc. While definitely an improvement over shell scripting, they > still leave a lot to be desired. Specifically, I'd like to be able to > > - reason about the state of the system after a sequence of commands are > run, and > > - state formally what a sequence of commands should accomplish. > > I also use Ansible in my daily work and have desired a more type safe > way of handling deployment, etc. I'm very interested in seeing what > you come up with. I ended up exploring a more prolog-like solution, > but would still like to see what's possible in the typed world. I went > for prolog to solve the problem of "Here is system in state A", "here > is my target state, B", search for the optimal commands to run that > take the system from A to B. > > An approach I was considering doing was having an ATS program generate > an ansible playbook when run. So instead of writing error prone > Ansible/Python, write ATS which checks the types like your examples, > and when run it produces the Ansible playbook. > > -- > http://bluishcoder.co.nz > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to ats-lang-users+unsubscr...@googlegroups.com. > To post to this group, send email to ats-lang-users@googlegroups.com. > Visit this group at https://groups.google.com/group/ats-lang-users. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CALn1vHFgf83RgKYTDfBvNzt217zcOqN99cwAQPTtOrqJce-%3Dnw%40mail.gmail.com > . > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAA6Z%2B7DsfnTT-CQQcTr7Y3SnyHVSdskQ_aM8wvs3Wto2NuxohQ%40mail.gmail.com.
