Satisfy pod_spell
[gitmo/Moose.git] / TODO
1 -------------------------------------------------------------------------------
2 BUGS
3 -------------------------------------------------------------------------------
4
5 -------------------------------------------------------------------------------
6 FEATURES
7 -------------------------------------------------------------------------------
8
9 - DDuncan's Str types
10
11 subtype 'Str'
12     => as 'Value'
13     => where { Encode::is_utf8( $_[0] ) or $_[0] !~ m/[^0x00-0x7F]/x }
14     => optimize_as { defined($_[0]) && !ref($_[0]) };
15
16 subtype 'Blob'
17     => as 'Value'
18     => where { !Encode::is_utf8( $_[0] ) }
19     => optimize_as { defined($_[0]) && !ref($_[0]) };
20
21 - type unions
22
23 Add support for doing it with Classes which do not have
24 a type constraint yet created
25
26 - type intersections
27
28 Mostly just for Roles
29
30 - inherited slot specs
31
32 'does' can be added to,.. but not changed
33 (need type unions for this)
34
35 - proxy attributes
36
37 a proxied attribute is an attribute
38 which looks like an attribute,
39 talks like an attribute, smells
40 like an attribute,.. but if you
41 look behind the curtain,.. its
42 over there.. in that other object
43
44 (... probably be a custom metaclass)
45
46 - local coerce
47
48 [13:16]         mst     stevan: slight problem with coerce
49 [13:16]         mst     I only get to declare it once
50 [13:17]         mst     so if I'm trying to declare it cast-style per-source-class rather than per-target-class
51 [13:17]         mst     I am extremely screwed
52 [13:17]         stevan  yes
53 [13:17]         stevan  they are not class specific
54 [13:18]         stevan  they are attached to the type constraint itself
55 [13:18]         *       stevan ponders anon-coercion-metaobjects
56 [13:18]         mst     yes, that's fine
57 [13:19]         mst     but when I declare a class
58 [13:19]         mst     I want to be able to say "this class coerces to X type via <this>"
59 [13:19]         stevan  yeah something like that
60 [13:19]         stevan  oh,.. hmm
61 [13:20]         stevan  sort of like inflate/deflate?
62 [13:20]         stevan  around the accessors?
63 [13:25]         *       bluefeet has quit (Remote host closed the connection)
64 [13:27]         mst     no
65 [13:27]         mst     nothing like that
66 [13:27]         mst     like a cast
67 [13:31]         mst     stevan: $obj->foo($bar); where 'foo' expects a 'Foo' object
68 [13:31]         mst     stevan: is effectively <Foo>$bar, right?
69 [13:32]         mst     stevan: I want to be able to say in package Bar
70 [13:32]         mst     stevan: coerce_to 'Foo' via { ... };
71 [13:32]         mst     etc.
72 [13:53]         stevan  hmm
73
74 -------------------------------------------------------------------------------
75 INTERNALS
76 -------------------------------------------------------------------------------
77
78 - rationalize all the get_X methods for classes (and roles)
79
80 We have get_attribute, get_attributes_list, get_all_attributes,
81 etc. First, we need to make the method names consistent. If something
82 returns an attribute vs a name, that needs to be clear from the method
83 name. We also need to make sure that local vs. "entire inheritance
84 chain" is clear from the name.
85
86 Finally, kill all the public get_X_map methods. The hashref it returns
87 is the internal reference, and the fact that it _is_ a hashref is just
88 an implementation detail.
89
90 This is mostly a CMOP change.
91
92 - Metaclass constructors
93
94 There's a _lot_ of different conventions in here. Some things to consider:
95
96 * new vs _new
97 * allowing new( 'name', %args ) vs ( name => 'name', %args )
98 * Method->wrap vs Method->new
99
100 - Role & Class
101
102 These two share a _lot_ of logic, but it's not via shared code. Maybe
103 implement some sort of role-lit internal thing so we can have a
104 "HasAttributes" and "HasMethods" role for classes and roles.
105
106 - Moose::Meta::TypeConstraint::Parameter{izable,ized}
107
108 The relationship between these two classes is very odd. In particular,
109 this line in Parameterized is insane:
110
111     foreach my $type (Moose::Util::TypeConstraints::get_all_parameterizable_types()) {
112
113 Why does it need to loop through all parameterizable types? Shouldn't
114 it know which parameterizable type it "came from"?
115
116 - Moose::Util::TypeConstraints vs Moose::Meta::Type{Coercion,Constraint}
117
118 The Util module has _way_ too much functionality. It needs to be
119 refactored so it's a thin sugar layer on top of the meta API. As it
120 stands now, it does things like parse type names (and determine if
121 they're valid), manage the registry, and much more.
122
123 - Moose::Meta::Role::Application::*
124
125 These class names are hardcoded throughout Moose, making replacing
126 them very difficult.
127
128 - Moose::Meta::Role & attributes
129
130 The way a role stores attributes is nasty and not very
131 introspectable. It should store some sort of object, possibly one that
132 knows how to turn itself into a "real" attribute.
133
134 - Anything with a _(meta)?class method
135
136 Every method that returns a class name needs to become a rw attribute
137 that can be set via the constructor.
138
139 -------------------------------------------------------------------------------
140 TO PONDER
141 -------------------------------------------------------------------------------
142
143 - Moose "strict" mode
144
145 use Moose 'strict'; This would allow us to have all sort of expensive tests
146 which can be turned off in prod.
147
148 - Moose::Philosophy.pod
149
150 To explain Moose from a very high level
151
152 - moosedoc
153
154 We certainly have enough meta-information to make pretty complete POD docs.
155
156
157