 
nota XCI. Деление на ноль
Сколько будет знаков, если разделить 1 на 0?| | #!/usr/bin/perl6
(1/0).say; | | Inf |
Вот это на самом деле круто. В каком-то смысле математика - это наука о бесконечном, а оперировать этой бесконечностью раньше было непонятно как. Теперь Inf вроде бы - полноправное число, наравне с 0, 5.3 или даже 17.| | #!/usr/bin/perl6
my $num=Inf;
$num.say;
say $num-10;
say $num+20;
say $num+$num;
$num.sin.say;
if $num > 100500 { 'major'.say } | | Inf
Inf
Inf
Inf
NaN
major |
Очевидно, имеется минус бесконечность.| | #!/usr/bin/perl6
my $num=-Inf;
$num.say;
say $num-10;
say $num+20;
say $num+$num;
$num.sin.say;
if $num < -100500 { 'minor'.say } | | -Inf
-Inf
-Inf
-Inf
NaN
minor |
Ну и самое интересное - действия с несколькими бесконечностями.| | #!/usr/bin/perl6
say Inf+(-Inf);
say Inf/Inf;
say Inf*Inf;
say Inf+Inf+(-Inf);
say 0/Inf;
say 2**Inf; | | NaN
NaN
Inf
NaN
0
Inf |
Возможно, с помощью каких-нибудь прагм можно вернуть стандартное "Illegal division by zero", но очевидно же, что использование бесконечности может сделать процесс программирования еще гибче и интереснее.| | #!/usr/bin/perl6
my $x; my $y=10;
while -1 < $x < Inf {
$y--;
$x=1/$y;
$x.say;
} | | 0.111111111111111
0.125
0.142857142857143
0.166666666666667
0.2
0.25
0.333333333333333
0.5
1
Inf |
Если нас пугает возможность получения бесконечного значения, то можно устроить обычную проверку, используя Inf как число. Предположим, что на нашей латифундии зарплата рабов зависит от выброса двух игральных костей...| | #!/usr/bin/perl6
# "IC. Tabulator" - все права защищены.
my $i;
loop { $i++;
my $alea_unus=6.rand.ceiling;
my $alea_duo=6.rand.ceiling;
my $denarii=(3600/($alea_unus-$alea_duo)).floor;
"$alea_unus $alea_duo Servus $i meruit $denarii denarios".say;
last if $denarii == Inf;
}
say "Servus {$i+1} et ceteri denarios non ceperit\n"; | | 5 5 Servus 1 meruit Inf denarios
Servus 2 et ceteri denarios non ceperit
|
Аналогично можно писать что-то вроде: if $denarii == NaN (то есть если зарплата носит не количественный, а качественный характер).
# mutatio postrema: 23 Oct 2011
|