News for hackers. Stuff that matters.

A comment on Ask HN: What Happened to Elm?. Parent comment

Re:Ask HN: What Happened to Elm? by satvikpendem on Saturday February 11, 2023 @05:50AM (#34751184)
Soundness is not decidability. The reason TS is unsound is not directly because it's undecidable, as any Turing complete system is undecidable, and the TS type system is Turing complete.
[ Parent | on HN ]

There are no comments on this comment yet.