Declaraciones de tipo

Otro control que podemos ejercer sobre los parámetros de nuestras funciones es el tipo de esos parámetros. Podemos especificar un tipo de dato para cada variable, igual que hicimos en el capítulo anterior con las tuplas. Si el tipo de dato del argumento pasado a la función no coincide con el tipo especificado al definirla, se lanzará un error.

Esta es otra manera de controlar nuestras funciones y protegerlas de excepciones no deseadas. En la versión actual de nuestra función my_profit, podríamos pasar una cadena a cada argumento, pero obtendríamos un error cuando la sentencia de retorno intente restar una cadena de otra. Podemos evitarlo definiendo el tipo de dato de cada parámetro.

En el siguiente ejemplo, establece el tipo de dato de cada parámetro en la función.

Ten en cuenta que, si intentamos pasar un tipo de dato que no coincide con lo que hemos definido, obtendremos el error:

MethodError: no method matching my_profit(::Int64, ::Int64)