News for hackers. Stuff that matters.

A comment on Types as Interfaces.

Re:Types as Interfaces by jolux on Tuesday July 23, 2024 @06:44AM (#41044620)
published…2024-09-17?
[ Parent | on HN ]
Re:Types as Interfaces by gasgiant on Tuesday July 23, 2024 @07:38AM (#41044909)
I wonder what else kqr can tell us about the future.
[ Parent | on HN ]
Re:Types as Interfaces by croemer on Tuesday July 23, 2024 @07:09AM (#41044756)
Nice catch!
[ Parent | on HN ]
Re:Types as Interfaces by AnimalMuppet on Tuesday July 23, 2024 @11:01AM (#41046685)
Sounds like someone needed a type that expresses "date no later than now".
[ Parent | on HN ]