Introducción a la programación funcional con Java y la librería Vavr

Publicado por pico.dev el .
blog-stack java planeta-codigo programacion
Comentarios

Ciertas propiedades de la programación funcional fueron una de las características más destacadas añadidas a Java 8. La librería Javaslang y más tarde renombrada a Vavr basándose en estas nueva características añade algunas otras que no están incluidas en el propio JDK y están presentes en otros lenguajes más recientes y con programación funcional desde sus inicios. En esta breve introducción a la librería Vavr comentaré cuales son las propiedades que proporciona para simplificar algunas aspectos de la tarea de programación.

Vavr

Varv se define a si misma como una librería funcional para Java 8+. Ayuda a reducir la cantidad de código y a incrementar la robustez. Un primer paso hacia la programación funcional es empezar a pensar en valores inmutables. Vavr proporciona colecciones inmutables, las necesarias funciones y estructuras de control para operar estos valores. El resultado es bello y simplemente funciona.

Dicho esto un código no se evalúa únicamente por la cantidad de lineas de código que contiene menos lineas no siempre es mejor si otra variable a tener en cuenta es la legibilidad que facilite la compresión del código a otra persona y a uno mismo en un futuro.

Me parece que ha sido hace mucho menos pero Java 8 fue publicado ya nada más y nada menos que hace casi cuatro años, una de las mayores modificaciones al lenguaje Java desde Java 5. Una de la nuevas características añadidas más destacadas fue la incorporación de las funciones lambda que posibilitan la programación funcional. Las lambdas combinado con los streams, otra de las nuevas características, en las colecciones hacen posible escribir con muchas menos líneas de código y de una forma mucho más natural y legible para la misma funcionalidad que en versiones anteriores. Las nuevas características añadidas al lenguaje en Java 8 ya por si solas son una gran mejora sin embargo a algunos no les parecen suficientes, una de las librerías Java del momento es Vavr que mejora y añade nuevas funcionalidades basándose en las novedades básicas añadidas al lenguaje en la versión 8.

Java 8 no las incorpora todo lo que podría en el JDK por decisión de los desarrolladores, ya que una de los principios que guían el desarrollo de Java es la compatibilidad hacia atrás e incorporar cosas en el lenguaje o JDK que en un momento determinado hasta que no demuestran que son realmente útiles y beneficiosas. Conservar la compatibilidad hacia atrás es una fortaleza pero que puede dar la sensación que Java siempre va un paso por detrás en incorporar novedades, aún así complementado con librerías como Vavr en el caso de las programación funcional se echa de menos menos otros lenguajes como Kotlin o Clojure.

Jerarquía de clases de Vavr

Los principios que sigue la librería Vavr y que forman la tendencia en la programación y la programación funcional son:

  • Efectos colaterales: los cambios de estado son considerados dañinos si afectan al programa de una forma no deseada.
  • Transparencia referencial: una función o expresión tiene esta propiedad si puede ser reemplazada por su valor sin afectar al comportamiento del programa. Dicho de otra forma, dados los mismos datos de entrada el resultado de la función o expresión es el mismo. Una función es pura si todas las expresiones que contiene tienen la propiedad de transparencia referencial.
  • Pensar en valores: los valores más interesantes son aquellos que son inmutables ya que son thread-safe no necesitando mecanismos de sincronización en su acceso o modificación, son estables para las funciones equals y hashCode siendo confiables como claves hash y no necesitan ser clonados.
  • Estructuras de datos: proporciona una colección rica de estructuras de datos funcionales apoyándose en la funciones lambda. Son un reemplazo para las colecciones estándar de Java, la única interfaz que comparten es Iterable. Las colecciones de Java ocultan los detalles de implementación y las estructuras de datos internas pero son colecciones mutables. Las colecciones inmutables en Java se proporcionan como envoltorios que lanzan una excepción al intentarlas modificar. La colecciones persistentes son efectivamente inmutables realizando pequeñas modificaciones y conservando las estructuras anteriores y nuevas y permitiendo consultar y modificar cualquiera de sus versiones.
  • Estructuras de datos funcionales: son aquellas estructuras de datos inmutables, persistentes y los métodos tienen la propiedad de transparencia referencial.
  • Colecciones: los stream de Java para las colecciones son una forma de recorrerlas, realizar una computación y obtener una nueva colección. Los stream de Vavr no están tan relacionados con las colecciones.

Vavr proporciona una representación bien diseñada de algunos de los tipos más básicos que aparentemente están ausentes o son rudimentarios en Java: Tuple, Value y λ (función lambda). Entre las funcionalidades proporcionadas por Vavr están:

  • Tuplas: son una caja para contener varios objetos evitando la necesidad de crear una clase especifica si esta no tiene ningún comportamiento asociado. Vavr proporciona tuplas hasta de 8 elementos, de Tuple0 a Tuple8.
  • Funciones: la programación funcional se basa en los valores y la transformación de esos valores usando funciones. Java 8 proporciona la clase Function que acepta solo un parámetro y la clase BiFunction que acepta dos. En Vavr las interfaces funcionales van de Function0 hasta Function8. Es posible aplicar conceptos como composition, lifting, partial application, currying o memoization.
  • Valores: los valores en Vavr son inmutables. Algunos objetos Value proporcionados son: Option, Try, Lazy, Either, Future, Validation.
  • Colecciones: se ha diseñado una nueva librería de colecciones para Java que cumple con los requerimientos de la programación funcional e inmutabilidad. List, Queue, SortedSet, Seq, Set, Map, Stream, Traversable, …
Jerarquía de clases de Seq, Set y Map
  • Pattern matching: son una especie de sentencia switch que son evaluadas como una expresión y que retornan un valor.

Entre la documentación de Varv hay numerosos ejemplos de código de todo lo anterior que recomiendo leer. En el siguiente ejemplo de código incluyo algunos posibles casos de uso de varias de las funcionalidades anteriores. En definitiva la librería Vavr complementa y añade a Java algunas de las características presentes en la programación funcional de otros lenguajes.

La librería Varv es una de las que pongo como ejemplo en el artículo La triste realidad de Java, versiones antiguas, si es útil no usarla puede hacer que programar en Java no sea todo lo placentero que podría ser. Algunas de las críticas que recibe Java no tienen validez usando las herramientas o librerías adecuadas porque en cierta medida las herramientas importan aunque por ahí circule la idea de que las herramientas no importan, para una persona de negocio quizá no sin embargo para un desarrollador sí.

El código fuente completo del ejemplo puedes descargarlo del repositorio de ejemplos de Blog Bitix alojado en GitHub y probarlo en tu equipo ejecutando el comando ./gradlew run.