Hacker News Reader

shamsmalion New population of one of world's rarest fish found off Tasmania

https://www.youtube.com/watch?v=7_sFcXqH-1M

--- 2013 ???

shamsmalion The Unsound Playground: Java and Scala's Type Systems are Unsound

Exception in thread "main" java.lang.Error: Unresolved compilation problem: The method upcast(Unsound.Constrain<U,B>, B) in the type Unsound.Bind<U> is not applicable for the arguments (Unsound.Constrain<U,capture#1-of ? super T>, T)

at Unsound.coerce(Unsound.java:13) at Unsound.main(Unsound.java:17)

shamsmalion The Unsound Playground: Java and Scala's Type Systems are Unsound

Exception in thread "main" java.lang.Error: Unresolved compilation problem: The method upcast(Unsound.Constrain<U,B>, B) in the I get compilation why trying this in eclipse on Java 8 but strange when I compile it outside of it, it goes through.

type Unsound.Bind<U> is not applicable for the arguments (Unsound.Constrain<U,capture#1-of ? super T>, T)

at Unsound.coerce(Unsound.java:13) at Unsound.main(Unsound.java:17)