Manejo de errores en Typescript

Como ya vimos la semana pasada, el patrón Result nos es muy útil a la hora de gestionar los errores que suceden en nuestra aplicación. Si bien la semana pasada vimos lo que podría denominarse una implementación personalizada del mismo para un caso de uso, la intención de la formación de hoy es ver una implementación que podamos usar independientemente del caso de uso. Para ello, primero veremos que son los tipos genéricos y cómo implementarlos ya que tanto el Result genérico como el Either se sirven de este mecanismo para su implementación.

Los Tipos Genéricos

Un tipo genérico no es más que una clase a la cual se le pasa en su instaciación un tipo con el que hará sus operaciones. Seguro que todas las personas que programamos hemos visto en algún momento algo del estilo List<String> por ejemplo. Pues que sepan que List en este caso es un tipo genérico.

Result como tipo genérico

Una implementación del patrón Result de manera genérica nos va a permitir homogeneizar la manera en la que gestionamos nuestros errores y el cómo devolvemos cosas en los métodos. Tal como comentábamos la semana pasada, es el paso más cercano a la mónada Either sin entrar en programación funcional (salvo que nuestra implementación haga uso de la misma) y por tanto, es el paso natural de aquellas personas que quieran acercarse a la programación funcional de una manera más sencilla

Métodos de factoría

Son métodos que usamos para construir objetos, de una manera concreta, y así mantener que los constructores no lancen excepciones y solo asignen valores a las propiedades y también poder devolver errores en caso de que por ejemplo, una validación de un dato del objeto que vamos a construir falle. Suelen ser métodos estáticos ya que en el momento en el que se usan, la instancia del objeto no está creada todavía.

// Constructor
User aUser = new User("admin", "weekPassword")

// Método de factoria
Result<User> aUser = User.create("admin", "weekPassword")

Paso de funciones como parámetro

Dentro del mundo de la programación funcional (nuestra mónada Either está dentro de este paradigma) lo habitual como su nombre indica es trabajar con funciones, y una de las cosas comunes que se suele hacer es recibir funciones por parámetro o tener funciones que a su vez devuelven funciones.

Esto es importante tenerlo claro ya que todas las operaciones que se le pueden aplicar al Either usan el paso de funciones en sus métodos y por tanto es algo con lo que si usamos el

usan el paso de funciones en sus métodos y por tanto es algo con lo que si usamos el Either o cualquier otra mónada.

Dentro del mundo de la programación funcional (nuestra mónada Either está dentro de este paradigma) lo habitual como su nombre indica es trabajar con funciones, y una de las cosas comunes que se suele hacer es recibir funciones por parámetro o tener funciones que a su vez devuelven funciones.

Esto es importante tenerlo claro ya que todas las operaciones que se le pueden aplicar al Either usan el paso de funciones en sus métodos y por tanto es algo con lo que si usamos el Either o cualquier otra mónada.

Ejercicios

Ejercicio 1

Para practicar con los tipos genéricos, vamos a implementar una clase que represente un valor para luego poder crear nuestra propia implementación de una lista de valores. Para ello, vamos a seguir los siguientes pasos:

1. Creamos una interfaz Value que represente un valor genérico con un método value.

2. Creamos una clase StringValue y NumberValue (por no sobreescribir la que los lenguajes tienen) para crear nuestros propios valores y hacemos que implementen la interfaz Value.

3. Creamos una clase ValueList que represente una lista de valores. Esta clase sera nuestro tipo genérico que sólo aceptará como parámetro un tipo que implemente la interfaz Value.

4. Creamos los métodos para ValueList que creamos necesarios

Ejercicio 2

Vamos a implementar una clase Result que represente un resultado de una ejecucion. Esto quiere decir que por defecto, el tipo del error sera como hicimos la semana pasada Error (AppError en caso de ts) y el tipo que recibira por parametro, sera el tipo del objeto que queramos devolver en caso de que todo vaya bien (Ojo cuidao, que este tipo puede no necesitarse para aquellas ejecuciones que no devuelvan nada).

Ejercicio 3

Si nos vamos a la clase User veremos que su constructor tiene validaciones y que en base a dichas validaciones se lanzan excepciones.

1. Cambiar la forma de construccion de User para que sea construido a partir de un método de factoría y que dicho método de factoría devuelva un Result<User>.

2. Si te da tiempo, haz que todo el código compile haciendo los cambios necesarios

Ejercicio 4

Para practicar sobre paso de funciones como parámetro haremos los siguientes ejercicios:

1. A un array de números (1,2,3,4,5,6,7,8,9,10), vamos a filtrarlos usando filter pero la función que le pasemos debe ser una función que tenga nombre, es decir, no puede ser anonima (hacer varios filtros - mayor que X número - pares - impares).
2. Implementamos una función que reciba dos números, y que el resultado de la suma, lo muestre por consola. Ojo, que el mostrar por consola, será otra función que le pasaremos desde fuera para que imprima (a modo de inyección de dependencias)

Ejercicio 4.1

Currying (alias: currificación). Para el ejercicio de los filtros, hacer:

1. Una función, que reciba como parámetro un número devuelva una función que indique si el número que recibe por parámetro (la segunda función) es mayor al número que recibe la primera función. Llamar a la función isGreaterThan.
2. ¿Alguna idea más que se te ocurra de este estilo?