Primality by trial division
Here we use a "none" junction which will autothread through the %%
"is divisible by" operator to assert that $i
is not divisible by 2 or any of the numbers up to its square root. Read it just as you would English: "Integer $i
is prime if it is greater than one and is divisible by none of 2, 3, up to the square root of $i
."
sub prime (Int $i --> Bool) {
$i > 1 and so $i %% none 2..$i.sqrt;
}
This can easily be improved in two ways. First, we generate the primes so we only divide by those, instead of all odd numbers. Second, we memoize the result using the //=
idiom of Perl, which does the right-hand calculation and assigns it only if the left side is undefined. We avoid recalculating the square root each time. Note the mutual recursion that depends on the implicit laziness of list evaluation:
my @primes = 2, 3, 5, -> $p { ($p+2, $p+4 ... &prime)[*-1] } ... *;
my @isprime = False,False; # 0 and 1 are not prime by definition
sub prime($i) {
my \limit = $i.sqrt.floor;
@isprime[$i] //= so ($i %% none @primes ...^ { $_ > limit })
}
say "$_ is{ "n't" x !prime($_) } prime." for 1 .. 100;