On Fri, Nov 9, 2018 at 1:18 PM Hongwei Xi <[email protected]> wrote: > >>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.
Thanks. Clear for me. I should choose `let in` style. -- 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 [email protected]. To post to this group, send email to [email protected]. 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%3DcxZMVhY6xADP-jes%3D%3DKs%3DVC%2Btka9P7HjK7-MScZBChw%40mail.gmail.com.
