>>I believe both styles are equivalent. >>Are there some difference on type inference? > Hongwei
There are equivalent in terms of dynamic semantics. They are not equivalent with respect to the way in which type inference is handled. On Thu, Nov 8, 2018 at 7:26 PM Kiwamu Okabe <kiw...@debian.or.jp> wrote: > Dear Artyom and Hongwei, > thanks for your kind reply. > > On Mon, Nov 5, 2018 at 9:51 PM Artyom Shalkhakov > <artyom.shalkha...@gmail.com> wrote: > > The "state types" are described here: > > > > http://www.ats-lang.org/MYDATA/Xanadu-lics00.pdf > > > > section 4.3. The section talks about synthesizing these state types. I > guess that ATS2 and ATS3 still follow a similar approach (since sometimes > it's OK to drop the annotations completely and sometimes not). > > > > I can't source my claim about performance though, sorry about that. > > Thanks. I should read the detail... > > > BTW, I can fix this issue with `let in end` style code without > `l2:addr` static value: > > > https://github.com/metasepi/uemacs-bohai/commit/9d52514601151fb0887a436f2e1680be09b0cddd > > I think it means: > > A. `value where {}` style code needs `l2:addr` static value > B. `let in` style code needs no `l2:addr` static value > > I believe both styles are equivalent. > Are there some difference on type inference? > Hongwei > > I love A style, but I should choose B if it has better inference. > > 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 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/CAEvX6d%3DuiDnjxOPG9C7a2QMB25QPrBRMYxQ7iJdC-6SSf5krGQ%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/CAPPSPLpAzMd0AiSxEGwDMz1V644-9S6rSaUmZ-d_3_RMfEOC%3Dg%40mail.gmail.com.