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 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 ]

There are no comments on this comment yet.