There are many uninhabited types in ATS.

For instance ([false] void) is such a type. Or you can use {a:type} a
(that is, forall a. a).

On Sat, Mar 10, 2018 at 9:35 AM, Brandon Barker <brandon.bar...@gmail.com>
wrote:

> 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 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/c0a94aab-c802-493e-a786-3e44e5cd3173%
> 40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/c0a94aab-c802-493e-a786-3e44e5cd3173%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>

-- 
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/CAPPSPLpfKEk0m%3DJ_JQ4DajASxw9_e_vh%2B%3DyHDQUwwqyBA4o1eA%40mail.gmail.com.

Reply via email to