------------------------------------------------------------------------------- BUGS ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- TODO ------------------------------------------------------------------------------- - DDuncan's Str types subtype 'Str' => as 'Value' => where { Encode::is_utf8( $_[0] ) or $_[0] !~ m/[^0x00-0x7F]/x } => optimize_as { defined($_[0]) && !ref($_[0]) }; subtype 'Blob' => as 'Value' => where { !Encode::is_utf8( $_[0] ) } => optimize_as { defined($_[0]) && !ref($_[0]) }; - should handle some moose-specific options in &Moose::Meta::Class::create things like roles, and method modifiers (although those can probably be ignored if i want to) - type unions Add support for doing it with Classes which do not have a type constraint yet created - type intersections Mostly just for Roles - inherited slot specs 'does' can be added to,.. but not changed (need type unions for this) - proxy attributes a proxied attribute is an attribute which looks like an attribute, talks like an attribute, smells like an attribute,.. but if you look behind the curtain,.. its over there.. in that other object (... probably be a custom metaclass) - subtype $anon_subtype => where { ... } [22:56] stevan sub mst_doesnt_like_to_type { (shift)->meta->attr->type_contstraint } [22:57] mst err [22:57] stevan :P [22:57] stevan are you wanting to reuse it or something? [22:57] stevan my $subtype = subtype 'Something' => where { ... }; [22:58] stevan then you can do isa => $subtype [22:58] mst but I can't subtype it again [22:59] stevan mst: ahhh... [22:59] mst well, I can. but it suddenly gets very "long way round" ish [23:00] stevan my $constraint = Moose::Meta::TypeConstraint->new( [23:00] stevan name => $name || '__ANON__', [23:00] stevan parent => $parent, [23:00] stevan constraint => $check, [23:00] stevan message => $message, [23:00] stevan ); [23:00] stevan yeah thats kinda the long way [23:00] stevan mst: what would you like it to be? [23:00] mst $parent = find_type_constraint($parent) if defined $parent; [23:00] mst if $parent is already a type constraint [23:00] mst skip that bit [23:00] stevan hmm [23:00] mst should be all you need to change [23:00] stevan yeah [23:01] stevan so you can then say [23:01] stevan subtype $anon => where { ... }; [23:01] mst right [23:01] stevan ok - local coerce [13:16] mst stevan: slight problem with coerce [13:16] mst I only get to declare it once [13:17] mst so if I'm trying to declare it cast-style per-source-class rather than per-target-class [13:17] mst I am extremely screwed [13:17] stevan yes [13:17] stevan they are not class specific [13:18] stevan they are attached to the type constraint itself [13:18] * stevan ponders anon-coercion-metaobjects [13:18] mst yes, that's fine [13:19] mst but when I declare a class [13:19] mst I want to be able to say "this class coerces to X type via " [13:19] stevan yeah something like that [13:19] stevan oh,.. hmm [13:20] stevan sort of like inflate/deflate? [13:20] stevan around the accessors? [13:25] * bluefeet has quit (Remote host closed the connection) [13:27] mst no [13:27] mst nothing like that [13:27] mst like a cast [13:31] mst stevan: $obj->foo($bar); where 'foo' expects a 'Foo' object [13:31] mst stevan: is effectively $bar, right? [13:32] mst stevan: I want to be able to say in package Bar [13:32] mst stevan: coerce_to 'Foo' via { ... }; [13:32] mst etc. [13:53] stevan hmm ------------------------------------------------------------------------------- TO PONDER ------------------------------------------------------------------------------- - Moose "strict" mode use Moose 'strict'; This would allow us to have all sort of expensive tests which can be turned off in prod. - Moose::Philosophy.pod To explain Moose from a very high level - moosedoc We certainly have enough meta-information to make pretty complete POD docs.