Certainly. Have been contemplating about it. Will be a new book if it happens.
It will take a long time for ATS2 to be fully incorporated into ATS3. Right now, ATS3 is all about template-based programming. We need programs before verification. Putting verification ahead of program construction is like putting a cart in front of a horse. However, the very irony here is that I would probably not have done ATS2-kind of work if I had come up with ATS3-kind of design in the first place :) Cheers! --Hongwei On Friday, April 25, 2025 at 11:20:23 AM UTC-4 toastal wrote: > Will there be a new book or addendum to existing books? > -- 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 view this discussion visit https://groups.google.com/d/msgid/ats-lang-users/1b995aaf-a326-48d8-a6d1-5285090eab24n%40googlegroups.com.
