News for hackers. Stuff that matters.

A comment on Algebraic Data Types for C99. Parent comment

Re:Algebraic Data Types for C99 by anon-3988 on Thursday May 09, 2024 @01:29PM (#40310587)
> Zig's type system can properly express a sum type.

Surely any Turing complete PL can express a sum type? I can't imagine a language that can support products but not sums.

[ Parent | on HN ]
Re:Algebraic Data Types for C99 by Tainnor on Thursday May 09, 2024 @02:12PM (#40311127)
Turing completeness has nothing to do with static type checking. Dynamically typed PLs can't express any type (except Any) yet are still Turing complete.
[ Parent | on HN ]