Types #1

≠

Raku++ 5.0.0-g312cde8e prints something different from Rakudo 2026.08

Rakudo 2026.08 runs this program cleanly; the lines marked ≠ below are where the answers part. A difference is a lead, not a verdict: sometimes both are valid Raku, and sometimes Rakudo is the one that is wrong. This difference is preserved as a Rakumap finding ↗

The program

The first lines compute $value. The last four lines are the same in every program: they print what kind of thing $value is, how it looks as code, as a string, and as true or false.

my Int @source = (7, 8);
my $value = (@source.^name, @source.of.^name, @source.Array, @source ~~ Positional);

sub safe-str($v) {
    my $s = try $v.Str;
    $s.defined ?? $s !! '<undefined>'
}

say "TYPE\t" ~ $value.^name;
say "RAKU\t" ~ $value.raku;
say "STR\t" ~ safe-str($value);
say "BOOL\t" ~ $value.Bool;

Run executes the program in your browser, with the Raku++ build this site ships. Edit it and try variations.

What each compiler printed

	Rakudo 2026.08	Raku++ 5.0.0-g312cde8e
Type .^name	`List`	`List`
Code form .raku	`$("Array[Int]", "Int", [7, 8], Bool::True)`	`$("Array[Int]", "Int", Array[Int].new(7, 8), Bool::True)` ≠
String .Str	`Array[Int] Int 7 8 True`	`Array[Int] Int 7 8 True`
True or false .Bool	`True`	`True`

types-v1 · seed 40 · recorded 2026-09-29 with Rakudo 2026.08 and Raku++ 5.0.0-g312cde8e · Source on GitHub ↗