Posts Exploring Optional Types in Java 8
Post
Cancel

Exploring Optional Types in Java 8

Let’s see how implementing Binary Tree Depth and Breadth Search feels like using Java8 lambdas, Optional and things related.

In this posts we’ll also see vavr Option type and List!

TL;DR - if you want just the final code of the post, please check master for java Optional use, vavr for Vavr Option use and norec for a version with Vavr but no recursion involved

Disclaimer 1: This post is not intended to diminish Java, its standard API, nor to compare in detail/offer Vavr.io lib as alternative to Optional or List, etc; Disclaimer 2: Also bear that, as pointed out on the text to follow, there are many other ways to implement what was exposed here even without Optional types at all (it may include Java Streams or whatever you can imagine here); Disclaimer 3: Optional Types here are being used (in the master and vavr branches) as input types intentionally for the sake of exploration, don’t take it as a rule.

Billion dollars mistake

Tony Hoare hast stated the allowing null references was the biggest mistake on computer science ever. Every Java programmer already had to deal with NullPointerException (NPE) and it is a pain in the neck for sure as it leads your program to completely stop if not handled or better saying: if note avoided.

The notion of optional types are not new and now many languages delivery it some how. Check this article on wikipedia.

The fact is that dealing with null references makes your code dirty, repetitive and most important unsafe. Crystal language for example doesn’t allow you to get a NPE in your face ensured by the type system directly. Just to show case it, consider the tiny snippet below:

1
2
3
4
5
6
def upSenior(age, name)
  name.upcase
end  

up = upSenior 12, "Paulo"
puts up.size

This should print 5 as upSenior will fatally return the upcase version of the variable name. Now lets try to upcase only if the age is greater than, say, 18.

1
2
3
4
5
6
7
def upSenior(age, name)
  name.upcase if age > 18
end   

up = upSenior 12, "Paulo"
puts up.size
# undefined method 'size' for Nil (compile-time type is (String | Nil))

This happens because changing your code to introduce a possible Nil return, changes the return type of upSenior from String to String | Nil as opposed to what is inferred in the previous snippet. Since Nil has no upcase method, you can’t even compile this code.

This is certainly great technique, but let’s explore the functional way of doing it.

Optional on Bintree search

I was challenged to implement a binary tree search algorithm. Actually one that searches the tree in depth and a second one in breadth. So let’s consider our Node class, a super simple one:

1
2
3
4
5
6
class Node {
  private int value;
  private Optional<Node> left;
  private Optional<Node> right;
  // ... a lot more code down here like constructors, getters and so on
}

We are trying to avoid nulls, right? So instead of having left and right pointing to nullable references of Node, we wrap both on Java’s native Optional.

Taking a very simple algo into account, a depth first would look like this:

1
2
3
4
5
6
7
8
9
10
11
12
13
// ... lots of things here
    private Optional<Node> doSearch(Optional<Node> currentNode) {
        return currentNode.flatMap(node -> {
            if (node.getValue() == this.searchFor) {
                return Optional.of(node);
            }
            // oops, there is a null here. Continue reading ;)
            return Optional.ofNullable(doSearch(node.getLeft()).orElse(doSearch(node.getRight()).orElse(null)));

        });

    }
// ... other things here

currentNode is supposed to assume in the first iteration, the value of the root node of the three, and from this point all we have to do is check if the node is the node we are looking for, and if it is not, check its children.

Mind that currentNode is wrapped around a Optional, so it might actually have no value, so we use flatMap to “step into” the context of the value, it it exists, and then we run our logic.

Similarly, the breadth first will take us to always accumulate the children of the current list of nodes being evaluated and submit the to the next iteration. Let’s see.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
    private static Consumer<Node> enqueue(final List<Node> list) {
        return n -> list.add(n);
    }

    private Optional<Node> doSearch(List<Node> nodes) {
        if (nodes.isEmpty()) {
            return Optional.empty();
        }

        List<Node> nextSearchNodes = new ArrayList<>();

        for (final Node node : nodes) {
            
            if (node.getValue() == this.searchFor) {
                return Optional.of(node);
            }
            
            node.getLeft().ifPresent(enqueue(nextSearchNodes));
            node.getRight().ifPresent(enqueue(nextSearchNodes));

        }

        return this.doSearch(nextSearchNodes);
    }

In this case nodes is supposed to have its first value set to the root node wrapped in a list. And from this point all we do is accumulate the children of nodes(if none is the node we are looking for), and just do the iteration again.

Look, both algorithms could be implemented without Optional, and both could be implemented in a different way even using Optional. But I found this way enough for the purpose. For another version of the implementation, please refer to the Appendix of this post

Things I didn’t like in the sippets above

In the depth first algo we saw a null there. Although it is there, it is contained and will not leak to cause a NPE elsewhere.

This is required because Optional#orElse can only take a value of Node out of Optional context, this means that if you couldn’t find the searched node on any side (left, right) you must to provide the empty version of your node, which is null (see the Optional.ofNullable there).

In the breadth first algo there is something similar going one, we don’t have a explicit null but we have the ugly ifPresent, a mutable List<Node> and a for loop. There is nothing precisely wrong with neither, but if we can improve, let’s improve.

Vavr.io Option to the rescue

The Vavr.io promises to turn Java upside down. And I’m pretty convinced they are doing great. Their Option just works and is awesome. Now imagine we have replaced Optional with Option in our Node class and let’s see how both algo looks like after the change.

First, the depth first:

1
2
3
4
5
6
7
    private Supplier<Option<Node>> checkChildren(Option<Node> node) {
        return () -> node.flatMap(n -> doSearch(n.getLeft()).orElse(doSearch(n.getRight())));
    }

    private Option<Node> doSearch(Option<Node> currentNode) {
        return currentNode.filter(isSerachFor()).orElse(checkChildren(currentNode));
    }

I was not in a competition to write the smaller code possible, but it actually became smaller then the first version. This is possible because Option#orElse can take another option as alternative value. So checkChildren can provide this value by checking both children of the currentNode and returning the result.

The breath first is showed even more beauty:

1
2
3
4
5
6
7
8
9
10
11
    private Supplier<Option<Node>> checkChildren(List<Node> nodes) {
        List<Node> children = nodes.flatMap(n -> List.of(n.getLeft(), n.getRight())).flatMap(n -> n);
        return () -> children.isEmpty() ? Option.none() : doSearch(children);
    }
    
    private Option<Node> doSearch(List<Node> nodes) {

        System.out.println("Looking at the following nodes: " + nodes);
        return nodes.filter(isSerachFor()).toOption().orElse(checkChildren(nodes));
      
    }

All we have to do is filter the list of nodes (imagine a isSearchFor predicate available somewhere) and then make it a Option. If it wasn’t found the option will be empty, triggering our checkChildren. All checkChildren do is just create a list of nodes for the next iteration. And bear that only nodes that are not empty will be added to this list (bear the use of flatMap);

Inside checkChildren, children will be empty as soon as we reach the last leaf of the tree, so we can just return.

What about vavr.io List?

It is funny to see how certain things in Java could be more practicallike vavr’s List. Why don’t they do it in the sdk? Whatever.

The code above uses at least three interesting methods provided by this List. One is filter that is able to return a list of elements that matches your provided Predicate. The other one is toOption, where it gets the head of the list and return as an Option and finally, the of method that is able to produce a list for your with the variable arguments you pass to it.

This list is also immutable, this means adding items to it actually returns a new list. You can read more on performance of List and other provided structures right here.

Conclusion

I’m not in the business of type theory, I actually suck at explaining these things formally. But I can say optional feels very good in Java too, even though using Vavr.io was a better experience. Vavr actually looks more like Category Theory library for Java, or at least a subset of what is generally found in Scala and other languages.

Vavr also offers Predicates that can be used to do Pattern Match in Java. It’s extremely ugly to pattern match with a unfriendly syntax, though.

One thing to notice is that during the exercises, it was easy to hit the StackOverflowError wall. Of course there is some brutal recursion here and I was not giving any attention to resource use or the possibility to get a StackOverflowError, but the trees used for testing had no more than 3 levels, what makes things a bit worry.

Of course credit here goes to Java8 lambdas that made it much much more smooth to work with this kind of construct, otherwise it would be just bizarre to implement.

Appendix - No recursion version

Although serving our purpose of exploring Optional types, the thing about both codes above is that they will always follow the size of the tree in the worst case, specially if the tree is unbalanced. This can lead to StackOverflowError epidemic. That is why here is a non recursive version of both algos just for fun:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
    // now the search from TreeSearch#serach is not abstract and actually implements the search...
    public Option<Node> search() {
        
        System.out.println("Started... Looking for value : " + this.searchFor);

        List<Node> toSearch = List.of(this.root);

        while (!toSearch.isEmpty()) {
            final Tuple2<Node, List<Node>> headAndTail = toSearch.pop2();
            
            final Node currentNode = headAndTail._1;
            toSearch = headAndTail._2;

            if (currentNode.getValue() == this.searchFor) {
                return Option.some(currentNode);
            }

            List<Node> nextNodes = List.of(currentNode.getLeft(), currentNode.getRight()).flatMap(n -> n);
            toSearch = getF(nextNodes).apply(toSearch); // uses the provided operation on the list
        }

        return Option.none();
    }

All breaks down to enqueue in a list the nodes to be searched for. And for depth first what we need to do is to prependAll the child nodes, if any, to this same list while we continuously check if it is empty. The breadth does just the opposite and appendsAll to this list.

Noticed the getF right there? This is an abstract method that returns a io.vavr.Function1<T1,R>. The specific algorithm (depth/breadth) has to provide just the correct operation on the list. Here are the getF provided by the subclasses:

1
2
3
4
5
6
7
8
9
10
    // for depth first
    @Override
    protected Function1<List<Node>, List<Node>> getF(List<Node> nodes) {
        return (l) -> l.prependAll(nodes);
    }
    // For breadth first
    @Override
    protected Function1<List<Node>, List<Node>> getF(List<Node> nodes) {
        return (l) -> l.appendAll(nodes);
    }

The function can’t be applied with just a () call as in Scala. But using apply was ok.

Hope you have liked the post. Happy Optional Types!

This post is licensed under CC BY 4.0 by the author.