Déclarations de type

Un autre contrôle que nous pouvons exercer sur les paramètres de nos fonctions concerne leur type. Nous pouvons préciser un type de données pour chaque variable, comme nous l’avons fait dans le chapitre précédent avec les tuples. Si le type de données de l’argument passé à la fonction ne correspond pas à celui indiqué lors de la définition de la fonction, une erreur est levée.

C’est un moyen supplémentaire de maîtriser nos fonctions et de les protéger contre des exceptions indésirables. Dans la version actuelle de notre fonction my_profit, nous pourrions passer une chaîne de caractères à chaque argument, mais nous obtiendrions une erreur lorsque l’instruction de retour tenterait de soustraire une chaîne d’une autre. Nous pouvons éviter cela en définissant le type de chaque paramètre.

Dans l’exemple ci-dessous, définissez le type de données de chaque paramètre dans la fonction.

Notez que si nous essayons de passer un type de données qui ne correspond pas à ce que nous avons défini, nous obtiendrons l’erreur :

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