I find the following diagram helpful to sort of know what's what in Scala: https://www.scala-lang.org/old/node/128.html
Now, ATS is very different, I'm not sure such a diagram could even make sense (it isn't a language that deals with subclassing much as I understand it). But if anything like it is possible (and maybe more than one diagram is necessary), I think it could be helpful to place these early on in one of the ATS documentation sections/books. Now I get the sense that ATS's void is actually the unit type, is this correct? What is the uninhabited type in ATS, if any? -- 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/c0a94aab-c802-493e-a786-3e44e5cd3173%40googlegroups.com.
