Fonction stricte

Une fonction stricte dans la sémantique dénotationnelle des langages de programmation est un f de la fonction où le $f \ est parti (\ perp \ droit) du = \ perp$ . Le $d'entité \ perp$ , appelé le " ; " inférieur du ; , dénote une expression qui ne renvoie pas une valeur normale, l'une ou l'autre parce qu'elle fait une boucle sans fin ou parce qu'elle avorte en raison d'une erreur telle que la division par zéro. Une fonction qui n'est pas stricte s'appelle le non-strict. Un langage de programmation strict est un dans lequel les fonctions définies pour l'utilisateur sont toujours strictes.

Intuitivement, les fonctions non-strictes correspondent aux structures de gestion du point de vue fonctionnement, une fonction stricte est une que toujours le évalue son argument , une fonction non-stricte est une qui peut ne pas évaluer certains de ses arguments. Les fonctions ayant plus d'un paramètre peuvent être strictes ou non-strictes dans chaque paramètre indépendamment, aussi bien que le conjointement strict dans plusieurs paramètres simultanément.

Comme exemple, le if puis - l'expression d'else de beaucoup de langages de programmation peut être considérée en fonction de trois paramètres. Cette fonction est stricte dans son premier paramètre, puisque la fonction doit savoir si son premier argument évalue pour rectifier ou à faux avant qu'il puisse retourner ; mais elle est non-stricte dans son deuxième paramètre, parce que (par exemple) if (faux, $\ perp$ , 1) = 1, aussi bien que non-strict dans son troisième paramètre, parce que (par exemple) if (rectifier, 2, le $\ perp$ ) = 2. Cependant, elle est conjointement stricte dans ses deuxièmes et troisième paramètres, depuis le if (rectifier, le $\ perp$ , le $\ perp$ ) = le $\ perp$ et le if (faux, $\ perp$ , $\ perp$ ) = le $\ perp$ .

Voir également

analyse de sévérité

Random links: