Re: [Haifux] My New Signature re-factored.

[Kohn Emil Dan]

Hi all,

Here is my contribution to the noise on this mailing list:

As a person with far more narrower horizons than many people on this list,
here is how I understood Shlomi's signature:


[71] csd:~ => cat shlomi.pl
#!/usr/local/bin/perl -w

sub x_is_x
{
   my $x = $_[0];

   return $x == $x;
}

sub x_is_not_not_x
{
   my $x = $_[0];

   return $x == !!$x;
}


$a = 1;
print "a is a is ", &x_is_x($a) ? "true." : "false.", "\n";
print "a is not not a is ", &x_is_not_not_x($a) ? "true.":"false.","\n";

$b = 7;
print "b is b is ", &x_is_x($b) ? "true." : "false.", "\n";
print "b is not not b is ", &x_is_not_not_x($b) ? "true.":"false.","\n";

[73] csd:~ => ./shlomi.pl
a is a is true.
a is not not a is true.
b is b is true.
b is not not b is false.
[74] csd:~ =>

However, I am aware that:
1) Using computer code to prove something is not always a good idea
2) This code is very likely just a particular case from Nadav's
elaboration on the subject.

                                                                Emil




--------------------------------------------------------------------------
Haifa Linux Club Mailing List (http://linuxclub.il.eu.org)
To unsub send an empty message to [EMAIL PROTECTED]