Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
The Unsound Playground – Breaking Java's and Scala's Type Systems
(
livecode.ch
)
3 points
by
virtualwhys
on Oct 18, 2016
|
hide
|
past
|
favorite
|
1 comment
brudgers
on Oct 18, 2016
[–]
No type system can be both consistent (generate only valid types) and complete (generate all possible valid type statements). That's what Godel's incompleteness means.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
