News for hackers. Stuff that matters.

A comment on Java 8’s new Optional type doesn't solve anything. Parent comment

Re:Java 8’s new Optional type doesn't solve anything by pron on Monday October 26, 2015 @07:05AM (#10450609)
As of Java 8, Java has pluggable type systems[1], some of them are more advanced than what Haskell provides (like true intersection unit types), some effect types (locks etc.) and more. So Java puts the burden on some very advanced -- but optional -- type systems.

[1]: http://types.cs.washington.edu/checker-framework/current/che...

[ Parent | on HN ]
Re:Java 8’s new Optional type doesn't solve anything by coldtea on Monday October 26, 2015 @07:08AM (#10450616)
Yes, but not in any sense that matters to 99.9% of Java programmers in the field.
[ Parent | on HN ]
Re:Java 8’s new Optional type doesn't solve anything by pron on Monday October 26, 2015 @07:31AM (#10450688)
That's still more than Haskell and Rust developers in the field... ;) In any case, as Checker matures and becomes more accessible, it will be marketed more and I expect higher adoption.
[ Parent | on HN ]