News for hackers. Stuff that matters.

A comment on Whats New in PHP 8.2. Parent comment

Re:Whats New in PHP 8.2 by mikojan on Monday April 25, 2022 @10:13AM (#31155066)
"false" is a literal type in TypeScript, Coq, Agda, Idris, Scala.
[ Parent | on HN ]
Re:Whats New in PHP 8.2 by zozbot234 on Monday April 25, 2022 @10:22AM (#31155217)
False in Coq/Agda/Idris is a zero type, not a unit type. True is a unit type. Now PHP is making the opposite choice. Confused enough?
[ Parent | on HN ]