Here's a Dog class which admits dynamic strong typing/value types, like I suggested in my replies to xdg and TimToady.

package Dog;

use Tie::Constrained;
use Scalar::Util qw/blessed/;

# constraint object
my $is_a_dog = Tie::Constrained->new(
    sub { blessed $_[0] and $_[0]->isa('Dog') },
);

sub new {
    bless {}, shift;
}

# not a constructor this time, ties the referent
sub MODIFY_SCALAR_ATTRIBUTES {
    my $class = shift;
    my $ref   = shift;

    tie $$ref, 'Tie::Constrained', $is_a_dog;

    # ignore attributes for this example, but
    # must have one to get called
    ();
}

sub bark {
    my $self = shift;
    print "Woof!\n";
}

package Cat;

sub new {
    bless {}, shift;
}

package main;

my Dog $spot : Generic ;

eval {$spot->bark}
    or warn q(Only tangible Dogs bark, ), $@;
eval {$spot = Cat->new}
    or warn q(Can't be a Cat, ), $@;
eval {$spot = Dog->new}
    or warn q(Major malfunction: ), $@;
eval {$spot->bark}
    or warn q(Only tangible Dogs bark, ), $@;
[download]

Which prints,

Only tangible Dogs bark, Can't call method "bark" on an undefined value at dog.pl line 42.
Can't be a Cat, Constraint violation: at dog.pl line 44
Woof!

Declared attributes would likely be stored in %{tied($spot)}, which is persistent and independent of whatever is assigned the name. Matching declared attributes with Dog instance ones could be part of the constraint.

This is a very rough proof of concept. I haven't tried to make my $spot : Watchful = Dog->new; do the right thing. I haven't checked if it plays nice with fields.pm or Attribute::Handlers. I'd be surprised if it did at this stage.

---

---

Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!

Titles consisting of a single word are discouraged, and in most cases are disallowed outright.

Read Where should I post X? if you're not absolutely sure you're posting in the right place.

Please read these before you post! —

• How do I compose an effective node title?
• How do I post a question effectively?
• Markup in the Monastery

Posts may use any of the Perl Monks Approved HTML tags:

a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, details, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, summary, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr

You may need to use entities for some characters, as follows. (Exception: Within code tags, you can put the characters literally.)

	For:		Use:
	&		&
	<		&lt;
	>		&gt;
	[		&#91;
	]		&#93;

Link using PerlMonks shortcuts! What shortcuts can I use for linking?

See Writeup Formatting Tips and other pages linked from there for more info.