News for hackers. Stuff that matters.

A comment on Avail Programming Language. Parent comment

Re:Avail Programming Language by tome on Friday May 25, 2018 @02:05PM (#17156358)
> Haskell has infinite and recursive constructs, lazily computed. That’s what makes their type system undecidable.

Haskell (98) has infinite and recursive constructs and its type system is not undecidable.

[ Parent | on HN ]

There are no comments on this comment yet.