News for hackers. Stuff that matters.

A comment on Idris 2 0.6.0 is now available for the JVM. Parent comment

Re:Idris 2 0.6.0 is now available for the JVM by trenchgun on Tuesday February 28, 2023 @05:16AM (#34967695)
Sound type system is not one of the design goals of TypeScript

https://effectivetypescript.com/2021/05/06/unsoundness/

[ Parent | on HN ]

There are no comments on this comment yet.