On Saturday, June 1, 2019 at 2:26:33 AM UTC-4, Shimin Guo wrote: > > Thanks for your reply and kind words. I think I got it. > > Basically to prove the existence of dir1/dir2 we must first prove the > existence of dir1, and `rm -r dir1` will destroy that proof. > > I've long been thinking about how to improve something like ansible, and > recently had this idea, and thought it might actually work. I have no clue > how to actually implement it though. I hope someone much smarter than I can > make it happen :) >
Sure you could do it, you already have a perspective of what you would like to improve. By that, you have already accomplished half the battle! For such an idea, linear viewtypes in ATS are a great start on your journey. I would encourage you to learn more about them. Here is a good place to start http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/HTMLTOC/p3319.html. Programming with linear viewtypes is definitely one of (if not the most) advanced features in ATS however, once you get some understanding you will find that programming with viewtypes is quite intuitive. Best, Richard -- 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/2cc575cc-4257-4db6-ae81-c49e4de403b0%40googlegroups.com.
