perl - 在鸭子类型(duck typing)语言中模拟静态类型的各个方面

Question

在我目前的工作中，我正在构建一套严重依赖对象的 Perl 脚本。 (在哈希上使用 Perl 的 bless() 以尽可能接近 OO)

现在，由于缺乏更好的表达方式，我公司的大多数程序员都不是很聪明。更糟糕的是，他们不喜欢阅读文档，而且似乎很难理解其他人的代码。牛仔编码是这里的游戏。每当他们遇到问题并试图解决它时，他们都会想出一个可怕的解决方案，但实际上什么也没解决，而且通常会使情况变得更糟。

坦率地说，这导致我不相信他们用鸭子类型(duck typing)语言编写的代码。举个例子，我看到太多的问题是他们没有因为滥用对象而没有得到明确的错误。例如，如果键入 A有成员(member)foo ，他们会做类似的事情，instance->goo ，他们不会立即看到问题。它将返回一个空值/未定义值，他们可能会浪费一个小时来寻找原因。然后最终更改其他内容，因为他们没有正确识别原始问题。

所以我正在集思广益，寻找一种方法来保留我的脚本语言(它的快速发展是一个优势)，但在对象未正确使用时给出明确的错误消息。我意识到，由于没有编译阶段或静态类型，因此错误必须在运行时出现。我对此很好，只要用户得到一个非常明确的通知，说“这个对象没有 X”

作为我的解决方案的一部分，我不希望他们在尝试使用方法/变量之前检查它是否存在。

即使我的工作是在 Perl 中，我认为这可能与语言无关。

Answer 1

如果您想添加要使用的模块，请尝试 Moose .它提供了您在现代编程环境中所需的几乎所有功能，等等。它进行类型检查、出色的继承、具有自省(introspection)功能，并带有 MooseX::Declare ，Perl 类最好的接口(interface)之一。看一看:

use MooseX::Declare;

class BankAccount {
    has 'balance' => ( isa => 'Num', is => 'rw', default => 0 );

    method deposit (Num $amount) {
        $self->balance( $self->balance + $amount );
    }

    method withdraw (Num $amount) {
        my $current_balance = $self->balance();
        ( $current_balance >= $amount )
            || confess "Account overdrawn";
        $self->balance( $current_balance - $amount );
    }
}

class CheckingAccount extends BankAccount {
    has 'overdraft_account' => ( isa => 'BankAccount', is => 'rw' );

    before withdraw (Num $amount) {
        my $overdraft_amount = $amount - $self->balance();
        if ( $self->overdraft_account && $overdraft_amount > 0 ) {
            $self->overdraft_account->withdraw($overdraft_amount);
            $self->deposit($overdraft_amount);
        }
    }
}

我自己觉得挺好看的:) 它是 Perl 对象系统之上的一个层，所以它适用于你已经拥有的东西(基本上。)

使用 Moose，您可以非常轻松地创建子类型，因此您可以确保您的输入是有效的。懒惰的程序员同意:在 Moose 中使子类型工作要做的事情很少，做起来比不做要容易! (来自 Cookbook 4)

subtype 'USState'
    => as Str
    => where {
           (    exists $STATES->{code2state}{ uc($_) }
             || exists $STATES->{state2code}{ uc($_) } );
       };

而 Tada，USState 现在是您可以使用的类型!无需大惊小怪，只需少量代码。如果它不正确，它会抛出一个错误，你类的所有消费者所要做的就是传递一个带有该字符串的标量。如果没问题(应该是……对吗？:))他们像往常一样使用它，并且您的类(class)免受垃圾的侵害。这多好啊!

Moose 有很多像这样很棒的东西。

相信我。看看这个。 :)