一个perl6模块是否可以有条件地“使用”另一个perl6模块？

Question

是否有一种明智的方法让一个perl6模块检查另一个perl6模块的存在，并在安装时“使用”它？

像这样的。。。

module Polygons;

if $available {
    use Measure;                #only if Measure is installed
}

class Rectangle is export {
    has $.width;
    has $.height;

    method area {
        $!width * $!height;     #provides operator overload for Measure * Measure
    }
}
#====================

module Measure;

class Measure is export {
    has $.value;
    has $.unit;

    method Real {
        $!value;
    }
    method Str {
        "$!value $!unit";
    }
    method multiply( $argument ) {
        my $result = $.;
        $result.value = $!value * $argument;
        $result.unit  = "$!unit2";
        return $result;
    }
}

multi infix:<*> ( Measure:D $left, Measure:D $right ) is export {
    return $result.multiply( $argument );
}

#====================

#main.p6

use Polygons;
use Measure;

my $x = Measure.new( value => 10, unit => 'm' );
my $y = Measure.new( value => 20, unit => 'm' );

my $rect = Rectangle.new( width => $x, height => y );
say $rect.area;        #'200 m2'

其思想是传播操作符重载（中缀：

（请不要拆掉排水管，因为我怀疑总有办法！）

Answer 1

所以这个答案的第一个版本基本上是无用的。

这是我想到的第一个新东西，我理解你的问题是什么。我还没有在回购上尝试过。

在文件a-module.pm6中：

unit module a-module;
our sub infix:<*> ($l,$r) { $l + $r } }

our意味着如果我们可以要求它，我们将能够看到这个例程，尽管它只能通过其完全限定的名称可见

然后在使用文件中：

use lib '.';
try require a-module;
my &infix:<*> = &a-module::infix:<*> // &OUTER::infix:<*>;
say 1 * 2 # 2 or 3 depending on whether `a-module.pm6` is found

如果模块丢失，则使用的默认例程可以是来自外部的例程（如图所示），也可以是来自调用者的例程，或者您喜欢的任何其他伪包。

这个问题/解决方案看起来很基本，我怀疑它一定在SO或文档中的某个地方。我将发布我得到的东西，然后明天探索更多。