The Next Step for Generics

Re:The Next Step for Generics by richardwhiuk on Tuesday June 16, 2020 @05:29PM (#23544437)

Java aren't fixing nulls, IMHO. They are making it worse.

[ Parent | on HN ]

Re:The Next Step for Generics by apta on Tuesday June 16, 2020 @05:39PM (#23544553)

How are they making it worse?

In any case, there already exist solutions in place:

https://checkerframework.org/manual/#example-use

https://github.com/uber/NullAway

[ Parent | on HN ]

Re:The Next Step for Generics by richardwhiuk on Thursday June 18, 2020 @12:56PM (#23565053)

The code ends up looking like:

  Optional<Integer> foo;

  //....

  if (foo != null) {
      foo.and_then(new Consumer () {
            function accept(Integer foo) {

            }
      });
  }

[ Parent | on HN ]

Re:The Next Step for Generics by karmakaze on Friday June 19, 2020 @03:04PM (#23577810)

I would never assign null to an Optional nor use a library that returned one.

To ensure assignment before use make it final.

[ Parent | on HN ]