>>Am I correct: ATS3-ML, being intermediate language, does not aware of dependent/linear types and
That is correct. ATS3-ML is typed; its type system is ML-like. In particular, the types in ATS3-ML are algebraic (that is, they are free of explicit quantifiers). On Saturday, October 17, 2020 at 10:53:58 PM UTC-4 ice.r...@gmail.com wrote: > Thanks for the report. I think all of us can't wait to try ATS3, > especially if it will improve user-experience in comparison to ATS2. > > As I guess, "someone" can try to work on ATS3-ML->C/C++ translator in > parallel to xats2js at the point, when ATS3-ML should not have planned > backward incompatibility changes. > Am I correct: ATS3-ML, being intermediate language, does not aware of > dependent/linear types and > > -- 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/47c832cb-b63e-4bdc-9a00-ae3916d320ean%40googlegroups.com.
