Select Code to Download

    package TypedArray;
    use Moose;
...
        push @{$self->elems}, @_;
    }
    ... more methods and operator overloads ...

    TypedArray->new(type => Int, elems => [4, 8, -7])

    TypedArray->new(Int, 4, 8, -7)

    typedArray Int, 4, 8, -7

    subtype TypedArrayOf
        as Parameterizable['TypedArray', 'Moose::Meta::TypeConstraint'
+],
...
            my ($typed_array, $type) = @_;
            return "expected TypedArrayOf[$type], found TypedArrayOf[@
+{[$typed_array->type]}]"
        };

    TypedArray[Int]