Hacker GitHub

← All repos

namin/unsound

View on GitHub ↗ ★ 77 HTML

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2016-11-27 · latest 2016-11-28

Mentions per year 3 mentions · busiest year 2016 (3)
20082026
AllStoriesComments NewestTopOldest
  1. https://github.com/namin/unsound
    comment by nimchimpsky · 2016-11-28 · in The Unsound Playground: Java and Scala's Type Systems are Unsound
  2. yes, just got to the github repo tho https://github.com/namin/unsound
    comment by nimchimpsky · 2016-11-28 · in The Unsound Playground: Java and Scala's Type Systems are Unsound
  3. …have an example without the null keyword which is an even dirtier trick (because it is still null). https://github.com/namin/unsound/blob/master/Nullless.java
    comment by BlackFly · 2016-11-27 · in The Unsound Playground: Java and Scala's Type Systems are Unsound