Perl booléens, la négation (et comment l'expliquer)?

Je pense que vous êtes en se concentrant trop sur la négation et trop peu sur ce que Perl booléens veux dire.

Historique/Perspective De Mise En Œuvre

Qu'est-ce que la vérité? La détection d'une tension plus élevée que x Volts.

Sur un plus haut niveau d'abstraction: Si ce bit est ici définie.

L'abstraction d'une séquence de bits peut être considéré comme un nombre entier. Est-ce integer faux? Oui, si aucun bit est défini, c'est à dire le nombre entier est égal à zéro.

Un matériel langage orienté va probablement utiliser cette définition de la vérité, par exemple C, et de tous les C descendants incl Perl.

La négation de 0 pourrait être la négation bit à bit—tous les bits sont retournés à 1—, ou nous vient de mettre la dernière touche à 1. Les résultats pourraient généralement être décodé comme des entiers -1 et 1 respectivement, mais ce dernier est plus économe en énergie.

Point De Vue Pragmatique

Il est pratique à penser de tous les numéros, mais zéro comme vrai lorsque nous traitons avec des comptes:

my $wordcount = ...;

if ($wordcount) {
  say "We found $wordcount words";
} else {
  say "There were no words";
}

ou

say "The array is empty" unless @array;  # notice scalar context

Une pragmatique du langage comme Perl sera probablement envisager de zéro pour être faux.

Perspective Mathématique

Il n'y a aucune raison pour qu'un nombre soit faux, chaque numéro est une entité définie. De la vérité ou de la fausseté émerge uniquement par les prédicats, les expressions qui peuvent être vraies ou fausses. Seulement, cette valeur de vérité peut être niée. E. g.

¬(x ≤ y) where x = 2, y = 3

est faux. De nombreuses langues qui ont une base solide en mathématiques à ne pas envisager quelque chose de faux, mais un spécial valeur false. Dans Lisps, '() ou nil est généralement faux, mais 0 sera généralement vrai. C'est-à-dire, une valeur n'est vrai que si il n'est pas nul!

Dans de tels mathématiques langues, !3 == 0 est probablement une erreur de type.

Re: Bières

Bières sont bonnes. N'importe quel nombre de bières sont bonnes, aussi longtemps que vous en avez un:

my $beers = ...;

if (not $beers) {
  say "Another one!";
} else {
  say "Aaah, this is good.";
}

Boolification d'une bière de comptage variable juste dit nous si vous avez des bières. Envisager !! être un boolification opérateur:

my $enough_beer = !! $beers;

La boolification ne pas se préoccuper de la quantité exacte. Mais peut-être n'importe quel nombre ≥ 3 est bonne. Alors:

my $enough_beer = ($beers >= 3);

La négation n'est pas assez de bière:

my $not_enough_beer = not($beers >= 3);

ou

my $not_enough_beer = not $beers;

fetch_beer() if $not_enough_beer;

Ensembles

Perl scalaire ne symbolise tout un univers de choses. En particulier, not 3 n'est pas l'ensemble de toutes les entités qui ne sont pas des trois. Est l'expression 3 un truthy valeur? Oui. Par conséquent, not 3 est un falsey valeur.

L'a suggéré le comportement de 4 == not 3 pour être vrai, c'est probablement pas souhaitable: 4 et “toutes les choses qui ne sont pas des trois” ne sont pas l'égalité des, le quatre est juste une des nombreuses choses qui ne sont pas des trois. Nous devons l'écrire correctement:

4 != 3    # four is not equal to three

ou

not( 4 == 3 )   # the same

Il peut aider à penser de ! et not comme logique de la négation de, mais pas comme sauf.

Comment enseigner

Il pourrait être intéressant d'introduire des mathématiques prédicats: les expressions qui peuvent être vraies ou fausses. Si nous n'en avons jamais “créer” truthness explicitement par des tests, par exemple length($str) > 0, vos problèmes ne surviennent. On peut citer les résultats: my $predicate = (1 < 2), mais nous pouvons décider de ne plus jamais les imprimer, au lieu de: print $predicate ? "True" : "False". Cette laisse de côté le problème de l'examen spécial des représentations de vrai ou faux.

Compte tenu des valeurs true/false directement ne serait donc un raccourci, par exemple foo if $x peut être considéré comme un raccourci pour

foo if defined $x and length($x) > 0 and $x != 0;

Perl est tout au sujet de raccourcis.

L'enseignement de ces raccourcis, et les différents contextes de perl et où qu'ils soient (numérique/string/opérateurs booléens) pourrait être utile.

• Un Contexte De Liste
  • Même de la taille d'un Contexte de Liste
• Un Contexte Scalaire
  • Contexte Numérique
  • Contexte De Chaîne
  • Boolean Contexte
• Contexte Vide

OriginalL'auteur amon

Si vous voulez tester qu'un nombre n'est pas 3, puis de les utiliser:

my_variable != 3;

L'aide de la syntaxe !3, depuis ! est un opérateur booléen, convertit 3 dans un booléen (même si perl ne peut pas avoir un type booléen, il fonctionne toujours de cette façon), qui, depuis elle est différente de zéro, signifie qu'il est converti à l'équivalent de true. Ensuite, !true rendements false, qui, lors de sa conversion en nombre entier contexte, donne 0. Poursuivant cette logique montre comment !!3 convertit 3 à true, qui est ensuite inversée pour false, inversée, de nouveau, de retour à true, et si cette valeur est utilisée dans un nombre entier contexte, est converti en 1. Cela est vrai de la plupart des langages de programmation modernes (bien que peut-être pas le plus logique centrée sur l'), bien que la syntaxe exacte peut varier de quelques en fonction de la langue...

OriginalL'auteur twalberg