News for hackers. Stuff that matters.

A comment on Avail Programming Language. Parent comment

Re:Avail Programming Language by pubby on Friday May 25, 2018 @02:57AM (#17151257)
IIRC, semilattices in type systems usually means subtypes, and lattices in type systems usually means subtypes plus a bottom type.
[ Parent | on HN ]
Re:Avail Programming Language by markvangulik on Friday May 25, 2018 @12:54PM (#17155555)
Yes, that agrees with the shape of Avail’s type hierarchy. There’s a top type and a bottom type, and the latter has no instances.
[ Parent | on HN ]