X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=TODO;h=c933e28aca5c3326ecff08313725c087b703bbcf;hb=45273da57f73078c92f19d78b536c02df71c0936;hp=7e66a5176c2edda35ad78cb0bcbcf67026b21441;hpb=d9b400059075f0cdffc909861da391aff5f7db66;p=gitmo%2FMoose.git diff --git a/TODO b/TODO index 7e66a51..c933e28 100644 --- a/TODO +++ b/TODO @@ -1,31 +1,26 @@ ------------------------------------------------------------------------------- - BUGS -------------------------------------------------------------------------------- +BUGS +------------------------------------------------------------------------------- ------------------------------------------------------------------------------- -TODO +FEATURES ------------------------------------------------------------------------------- - DDuncan's Str types -subtype 'Str' - => as 'Value' - => where { Encode::is_utf8( $_[0] ) or $_[0] !~ m/[^0x00-0x7F]/x } +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] ) } +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 +Add support for doing it with Classes which do not have a type constraint yet created - type intersections @@ -40,44 +35,14 @@ Mostly just for Roles - 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 +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 @@ -85,7 +50,7 @@ over there.. in that other object [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: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 @@ -104,9 +69,67 @@ over there.. in that other object [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 - - +[13:53] stevan hmm + +------------------------------------------------------------------------------- +INTERNALS +------------------------------------------------------------------------------- + +- rationalize all the get_X methods for classes (and roles) + +We have get_attribute, get_attributes_list, get_all_attributes, +etc. First, we need to make the method names consistent. If something +returns an attribute vs a name, that needs to be clear from the method +name. We also need to make sure that local vs. "entire inheritance +chain" is clear from the name. + +This is mostly a CMOP change. + +- Metaclass constructors + +There's a _lot_ of different conventions in here. Some things to consider: + +* new vs _new +* allowing new( 'name', %args ) vs ( name => 'name', %args ) +* Method->wrap vs Method->new + +- Role & Class + +These two share a _lot_ of logic, but it's not via shared code. Maybe +implement some sort of role-lit internal thing so we can have a +"HasAttributes" and "HasMethods" role for classes and roles. + +- Moose::Meta::TypeConstraint::Parameter{izable,ized} + +The relationship between these two classes is very odd. In particular, +this line in Parameterized is insane: + + foreach my $type (Moose::Util::TypeConstraints::get_all_parameterizable_types()) { + +Why does it need to loop through all parameterizable types? Shouldn't +it know which parameterizable type it "came from"? + +- Moose::Util::TypeConstraints vs Moose::Meta::Type{Coercion,Constraint} + +The Util module has _way_ too much functionality. It needs to be +refactored so it's a thin sugar layer on top of the meta API. As it +stands now, it does things like parse type names (and determine if +they're valid), manage the registry, and much more. + +- Anything with a _(meta)?class method + +Every method that returns a class name needs to become a rw attribute +that can be set via the constructor. + +- The Moose::Error stuff + +This is sort of half-implemented. We still use Carp directly, and the +internals can't decide how to throw an error (is it +Moose->throw_error, __PACKAGE__->throw_error, what?). + +The internals need to be made consistent before we expose this to the +rest of the world. + ------------------------------------------------------------------------------- TO PONDER ------------------------------------------------------------------------------- @@ -114,8 +137,8 @@ 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. - +which can be turned off in prod. + - Moose::Philosophy.pod To explain Moose from a very high level @@ -123,6 +146,6 @@ To explain Moose from a very high level - moosedoc We certainly have enough meta-information to make pretty complete POD docs. - - - + + +