I like this. Also, this later discussion reminds me of ZIO in Scala.
The trouble only really starts when you import the non-pure code and
want to use it from pure code. In that case, you can either go with
the default assumption it has all effects ("regular IO"), or annotate
it as having specific effects, if you really know what is going on. So
practically speaking, not much trouble, though it does leave room for
erroneous modeling of effects.On Fri, Aug 9, 2019 at 9:17 PM Hongwei Xi <gmh...@gmail.com> wrote: > > >>I can write my code without any IO? > > Yes, you should be able to program in the same way as you do now. > > --Hongwei > > On Fri, Aug 9, 2019 at 8:43 PM Kiwamu Okabe <kiw...@debian.or.jp> wrote: >> >> Dear all, >> >> On Fri, Aug 9, 2019 at 8:53 PM gmhwxi <gmh...@gmail.com> wrote: >> > If you don't want to track IO effects, then you don't really >> > feel the difference. >> >> Umm... There will be an option to write ATS3 code without any IO effects. >> >> Example: >> If I create my own prelude library without IO effect, >> I can write my code without any IO? >> >> Best regards, >> -- >> Kiwamu Okabe at METASEPI DESIGN >> >> -- >> 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 view this discussion on the web visit >> https://groups.google.com/d/msgid/ats-lang-users/CAEvX6d%3DJnwDYDzC4%3Dj--dcYqLh4AJYr2pqdtmBA2AioDqngH%3Dg%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 view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLrC5K7Zcya6tw-RV8DMFGjH0oaQW7PiSJrkE0QQfS5foA%40mail.gmail.com. -- Brandon Barker brandon.bar...@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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAORbNRr5PN7ye6u1FgfWGKRfynmEhQq3hn3_TY2h%2BLb%2BffXjgA%40mail.gmail.com.
