97 cosas que todo programador Java debe saber

Capítulo 63. Opcional es una mónada infractora pero un buen tipo

Este trabajo se ha traducido utilizando IA. Agradecemos tus opiniones y comentarios: [e-mail]

Nicolai Parlog

En la mayoría de los lenguajes de programación, los tipos vacío-o-no-vacío son mónadas de buen comportamiento. (Esto significa que su mecánica cumple un par de definiciones y sigue una serie de leyes que garantizan la (de)composición segura de los cálculos.

OptionalLos métodos de cumplen estas definiciones , pero infringen las leyes. No sin consecuencias...

Definición de mónada

Necesitas tres cosas para definir una mónada -en términos de Optional:

1. El propio tipo Optional<T>

2. El método ofNullable(T) que envuelve un valor T en un Optional<T>

3. El método flatMap(Function<T, Optional<U>>) que aplica la función dada al valor envuelto por el Optional sobre el que se llama

Hay una definición alternativa que utiliza map en lugar de flatMap, pero es demasiado larga para caber aquí.

Leyes de las mónadas

Ahora se pone interesante: una mónada tiene que cumplir tres leyes para ser uno de los chicos guays. En términos de Optional

1. Para un Function<T, Optional<U>> f y un valor v, f.apply(v) debe ser igual a Optional.ofNullable(v).flatMap(f). Esta identidad izquierda garantiza que no importa si aplicas una función directamente o dejas que lo haga Optional.

2. Llamar a flatMap(Optional::ofNullable) ...