Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Idris 2 0.6.0 is now available for the JVM. Parent comment
So: > This makes union types unsound in the presence of type parameters/generics.
Sounds a bit strange to me. Why would union types + type parameters be generally unsafe? I doubt that that's true.
There are no comments on this comment yet.
So: > This makes union types unsound in the presence of type parameters/generics.
Sounds a bit strange to me. Why would union types + type parameters be generally unsafe? I doubt that that's true.