X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=moose-class%2Fslides%2Findex.html;h=b3f57f681376337f550f7a3624631f0a305fcc1c;hb=7f7e655a677ae4e66c2bf208a9898c796a12e779;hp=b065633f79232569c9117da03886f1ee22399a65;hpb=6960f4e1f61fa7cdb54cae31ce4e60d513469d6a;p=gitmo%2Fmoose-presentations.git
diff --git a/moose-class/slides/index.html b/moose-class/slides/index.html
index b065633..b3f57f6 100644
--- a/moose-class/slides/index.html
+++ b/moose-class/slides/index.html
@@ -52,7 +52,7 @@ img#me05 {top: 43px;left: 36px;}
Introduction to Moose
-
+
Dave Rolsky
@@ -71,7 +71,8 @@ img#me05 {top: 43px;left: 36px;}
- Declarative OO sugar
- Introspectable
- - Extensible (MooseX::* on CPAN)
+ - Extensible (202 MooseX::* on CPAN)
+ - Community approved (1200+ downstream dependents on CPAN)
package Person;
use Moose;
-has first_name => ( is => 'rw' );
+has first_name => ( is => 'ro' );
@@ -218,7 +219,7 @@ use Moose;
- AKA advice
- "Before foo(), do this first"
- - "Do this after foo()
+ - "Do this after foo()"
- "Put this code around foo()"
@@ -300,8 +301,8 @@ has blog_uri => (
handles => { 'blog_host' => 'host' },
);
-$person->blog_host;
-# really calls $person->blog_uri->host
+$person->blog_host;
+# really calls $person->blog_uri->host
@@ -892,8 +893,8 @@ use Moose;
BUILDARGS
- - Takes
@_, returns a hash reference of attribute name/value pairs
- - Accepts a hash or hashref; throws otherwise
+ - Processes
new's @_, returns a hash reference of attribute name/value pairs
+ - Accepts a hash or hashref; errors otherwise
- Provide your own for other cases
- Always call
$class->SUPER::BUILDARGS(@_) as a fallback!
@@ -949,13 +950,13 @@ sub BUILD {
Object Construction a la Moose
-
Person->new(@_)
+
Person->new(@args)
- - Calls
Person->BUILDARGS(@_) to turn @_ into a hashref
+ - Calls
Person->BUILDARGS(@args) to turn @args into a hashref
- Blesses a reference
- Populates attributes based on the hashref from #1
- - Calls
$new_object->BUILDALL($constructor_args)
+ - Calls
$new_object->BUILDALL($constructor_args)
... which calls all BUILD methods
- Returns the object
@@ -967,6 +968,7 @@ sub BUILD {
- Technically it's a hash reference
- If you ever treat it as one you are doing it wrong!
+ - Moose probably provides a feature to do what you need
@@ -976,6 +978,7 @@ sub BUILD {
- Like
DESTROY, but Moose makes sure all DEMOLISH methods in a hierarchy are called
- Called in normal inheritance order, children to parents
+ - Never called by you, only by Perl itself
DEMOLISH()
- But see MooseX::NonMoose for a workaround
+ But MooseX::NonMoose fixes all of this
@@ -1039,6 +1042,7 @@ extends 'LWP';
override is another method modifier- An alternative to Perl's
SUPER::
+ - Declares your intent to override a method
@@ -1050,13 +1054,13 @@ use Moose;
extends 'Person';
-override work => sub {
+override work => sub {
my $self = shift;
die "Pay me first"
unless $self->got_paid;
- super();
-};
+ super();
+};
@@ -1065,7 +1069,7 @@ use Moose;
- Mostly like
$self->SUPER::work(@_)
- But cannot change
@_!
- - Binds the parent's method at compile time
+ - Binds the parent's method correctly at compile time
- Parent determined by checking
Child->meta()->superclasses()
- Not very hygienic
@@ -1142,10 +1145,23 @@ use Moose;
...
-no Moose;
+no Moose;
# false
-Person->can('extends');
+Person->can('extends');
+
+
+
+
Cleaning Up Moose Droppings
+
+
package Person;
+use Moose;
+use namespace::autoclean;
+
+...
+
+# false
+Person->can('extends');
@@ -1163,13 +1179,13 @@ Person->can('extends');
Immutability
- - Stevan's Incantation of Fleet-Footedness
+ - Stevan's Incantation of Fleet-Footedness
package Person;
use Moose;
-__PACKAGE__->meta->make_immutable;
+
__PACKAGE__->meta->make_immutable;
@@ -1220,6 +1236,8 @@ use Moose;
# perl install-moose (if needed)
+## Read the instructions in t/01-classes.t
+
# perl bin/prove -lv t/01-classes.t
# edit lib/Person.pm and lib/Employee.pm
@@ -1291,23 +1309,25 @@ sub print {
package Person;
use Moose;
-with 'HasPermissions';
+with 'Printable';
Classes Consume Roles
-
my $person = Person->new(
+package Person;
+
+sub as_string { $_[0]->first_name() }
+
+...
+
+my $person = Person->new(
first_name => 'Kenichi',
last_name => 'Asai',
access_level => 42,
);
-print $person->full_name
- . ' has '
- . $person->can_access(42)
- ? 'great power'
- : 'little power';
+$person->print();
@@ -1324,7 +1344,9 @@ print $person->full_name
package Person;
use Moose;
-with 'Printable';
+
with 'Printable';
+
+sub as_string { $_[0]->first_name() }
@@ -1335,6 +1357,8 @@ use Moose;
with 'Printable';
+sub as_string { $_[0]->first_name() }
+
has has_been_printed => ( is => 'rw' );
sub print {
@@ -1355,7 +1379,7 @@ sub print {
# or ...
-Person->meta->does('Printable')
+Person->meta->does_role('Printable')
@@ -1415,69 +1439,17 @@ use Moose;
-
Method Aliasing
-
-
package FragileDancer;
-use Moose;
-
-with 'IsFragile' =>
- { -alias =>
- { break => 'break_bone' } },
- 'CanBreakdance' =>
- { -alias =>
- { break => 'break_it_down' } };
+
Conflicts Are a Smell
- - Renames the roles' methods
- - Still conflicts, need to
exclude as well
-
-
-
Method Exclusion
-
-
package FragileDancer;
-use Moose;
-
-with 'IsFragile' =>
- { -alias =>
- { break => 'break_bone' },
- -excludes => 'break' },
- 'CanBreakdance' =>
- { -alias =>
- { break => 'break_it_down' },
- -excludes => 'break' };
-
-
And then ...
-
-
package FragileDancer;
-use Moose;
-
-sub break {
- my $self = shift;
-
- $self->break_it_down;
- if ( rand(1) < 0.5 ) {
- $self->break_bone;
- }
-}
-
-
Still Full of Fail
-
-
- - Roles are also about semantics!
- - We've fulfilled the letter and lost the spirit
+ - Roles are about semantics!
- Roles have a meaning
- - Think twice before blindly aliasing and excluding methods!
+ - Method name conflicts smell like bad design
-
Hot Role-on-Role Action
+
Roles With Roles
package Comparable;
use Moose::Role;
@@ -1486,7 +1458,7 @@ requires 'compare';
-
Hot Role-on-Role Action
+
Roles With Roles
package TestsEquality;
use Moose::Role;
@@ -1495,7 +1467,7 @@ with 'Comparable';
sub is_equal {
my $self = shift;
- return $self->compare(@_) == 0;
+ return $self->compare(@_) == 0;
}
-
Name Conflicts Between Roles
-
-
package HasSubProcess;
-use Moose::Role;
-
-sub execute { ... }
-
-package Killer;
-use Moose::Role;
-
-with 'HasSubProcess';
-
-sub execute { ... }
-
-
Delayed Conflict
-
-
package StateOfTexas;
-with 'Killer';
-
-
- StateOfTexas must implement its own execute- But loading the
Killer role by itself does not cause an error
-
+Integer->does('TestsEquality'); # true
+Integer->does('Comparable'); # also true!
@@ -1565,7 +1509,7 @@ use Moose;
with 'HasSize';
-has size => ( is => 'ro' );
+has size => ( is => 'ro' );
@@ -1579,7 +1523,7 @@ requires 'size';
package Shirt;
use Moose;
-has size => ( is => 'ro' );
+has size => ( is => 'ro' );
with 'HasSize';
@@ -1601,9 +1545,9 @@ with 'HasSize';
package Comparison;
use Moose;
-has [ 'left', 'right' ] => (
- is => 'ro',
- does => 'Comparable',
+has [ 'left', 'right' ] => (
+ is => 'ro',
+ does => 'Comparable',
);
@@ -1618,7 +1562,7 @@ has [ 'left', 'right' ] => (
use Moose::Util qw( apply_all_roles );
-my $fragile_person = Person->new( ... );
+my $fragile_person = Person->new( ... );
apply_all_roles( $fragile_person,
'IsFragile' );
@@ -1692,8 +1636,6 @@ requires 'compare';
Real Examples
- - Column and ColumnAlias both do ColumnLike
- - ColumnLike things can be used in certain parts of queries
- All queries do HasWhereClause
- Select does Comparable and Selectable (for subselects)
- A where clause requires its components to do Comparable
@@ -1755,6 +1697,15 @@ has 'is_ripped' => ( is => 'rw' );
+
Read-only vs Read-write
+
+
+ - Read-only is preferred
+ - Minimize state in your application
+
+
Required-ness
@@ -1774,8 +1725,8 @@ has first_name => (
required => 1,
);
-Person->new( first_name => undef ); # ok
-Person->new(); # kaboom
+Person->new( first_name => undef ); # ok
+Person->new(); # kaboom
@@ -1840,6 +1791,7 @@ use Moose;
has bank => (
is => 'rw',
+ # THIS WILL NOT WORK
default => Bank->new(
name => 'Spire FCU' ),
);
@@ -1862,22 +1814,6 @@ has packages => (
-
What if I Want to Share?
-
-
package Person;
-use Moose;
-
-my $highlander_bank =
- Bank->new(
- name => 'Clan MacLeod Trust' );
-
-has bank => (
- is => 'rw',
- default => sub { $highlander_bank },
-);
-
Builder
@@ -1900,7 +1836,7 @@ has bank => (
sub _build_bank {
my $self = shift;
return Bank->new(
- name => 'Spire FCU' );
+ name => 'Spire FCU' );
}
@@ -1957,7 +1893,7 @@ use Moose;
has shoe_size => (
is => 'ro',
- required => 'ro',
+ required => 1,
);
@@ -1967,7 +1903,7 @@ has shoe_size => (
has shoes => (
is => 'ro',
lazy => 1,
- builder => '_build_shoes',
+ builder => '_build_shoes',
);
sub _build_shoes {
@@ -2040,16 +1976,16 @@ has account => (
package Person;
use Moose;
-has shoe_size => (
+has shoe_size => (
is => 'ro',
init_arg => 'foot_size',
);
-Person->new( shoe_size => 13 );
+Person->new( shoe_size => 13 );
my $person =
- Person->new( foot_size => 13 );
-print $person->shoe_size;
+ Person->new( foot_size => 13 );
+print $person->shoe_size;
@@ -2058,12 +1994,12 @@ print $person->shoe_size;
package Person;
use Moose;
-has shoes => (
+has shoes => (
is => 'ro',
init_arg => undef,
);
-Person->new( shoes => Shoes->new );
+Person->new(
shoes => Shoes->new );
@@ -2082,15 +2018,7 @@ Person->new(
shoes => Shoes->new );
By default, subclasses inherit attribute as-is
-
Can change some attribute parameters in subclasses
-
- - default
- - builder
- - required
- - lazy
- - others we've not yet covered
-
-
+
Can change attribute parameters in subclasses
-
Augment and Inner
-
-
- - Inverted
super
- - From least- to most-specific
- - Like Mason's autohandler feature
- - Grandparent to parent to child
- - Not allowed in roles
-
-
-
Augment and Inner
-
-
package Document;
-
-sub xml { '<doc>' . inner() . '</doc>' }
-
-package Report;
-extends 'Document';
-augment xml =>
- sub { title() . inner() . summary() };
-
-package TPSReport;
-extends 'Report';
-augment xml =>
- sub { tps_xml() . inner() };
-
-
Augment and Inner
-
-
- - When we call
$tps->xml ...
-
- Document->xmlReport->xmlTPSReport->xml
-
-
-
-
Augment and Inner Usage
-
-
- - Call
inner() to "fill in the blank"
- - Requires designing for subclassing
- - Call
inner() in the terminal class, just in case
-
-
Method Modifiers Summary
@@ -2522,21 +2396,7 @@ extends 'Report';
- not call the original method at all (or call a different method)
-
-
-
-
-
Method Modifiers Summary
-
-
- When using modifiers in a role, require the modified method
- - Use
augment and inner to invert the normal subclassing flow ...
-
- - Least- to most-specific (parents to children)
- - Build in "insertability" (stick more stuff in the "middle")
-
-
- - Always call
inner in the most specific subclass to allow for future extension
Bool
True
- 1
-924.1
-'true'
-{}
+ 1
False
0
-0.0
'0'
+''
undef
@@ -2748,7 +2606,7 @@ class_type 'DateTime';
-
subtype 'DateTime',
+subtype 'DateTime',
as 'Object',
where { $_->isa('DateTime') },
message { ... };
@@ -2758,12 +2616,12 @@ class_type 'DateTime';
Subtype Shortcuts - role_type
use Moose::Util::TypeConstraints;
-role_type 'Printable';
+role_type 'Printable';
subtype 'Printable',
- as 'Object',
+ as 'Object',
where
{ Moose::Util::does_role(
$_, 'Printable' ) },
@@ -2789,14 +2647,14 @@ duck_type Car => qw( run break_down );
Subtype Shortcuts - enum
use Moose::Util::TypeConstraints;
-enum Color => qw( red blue green ) );
+enum Color => qw( red blue green );
my %ok = map { $_ => 1 }
qw( red blue green );
-subtype 'Color'
+subtype 'Color'
as 'Str',
where { $ok{$_} },
message { ... };
@@ -2867,7 +2725,8 @@ coerce 'My::DateTime',
Coercion Examples
-
coerce 'ArrayRef[Int]',
+ # BAD CODE - DO NOT COPY
+coerce 'ArrayRef[Int]',
from 'Int',
via { [ $_ ] };
@@ -2912,6 +2771,19 @@ no Moose;
+
Questions So Far?
+
+
+
+
Exercises
+
+
# cd exercises
+# perl bin/prove -lv t/05-types.t
+
+Iterate til this passes all its tests
+
Typed Methods (Low-tech)
package Person;
@@ -2952,7 +2824,7 @@ sub work {
Digression: The Type Registry
- - Types are actually
Moose::Meta::TypeConstraints objects
+ - Types are actually
Moose::Meta::TypeConstraint objects
- Stored in an interpreter-global registry mapping names to objects
@@ -3042,9 +2914,9 @@ coerce ArrayOfInt
use MyApp::Types qw( ArrayOfInt );
-has transaction_history => (
- is => 'rw',
- isa => ArrayOfInt,
+has transaction_history => (
+ is => 'rw',
+ isa => ArrayOfInt,
);
@@ -3088,15 +2960,6 @@ has transaction_history => (
Questions?
-
-
Exercises
-
-
# cd exercises
-# perl bin/prove -lv t/05-types.t
-
-Iterate til this passes all its tests
-
Part 6: Advanced Attributes
@@ -3212,6 +3075,16 @@ $alice->friend($bob);
+
Trigger Arguments
+
+
+ $self$new_value$old_value - if one exists
+
Delegation
@@ -3227,7 +3100,7 @@ $alice->friend($bob);
has lungs => (
is => 'ro',
- isa => 'Lungs',
+ isa => 'Lungs',
handles => [ 'inhale', 'exhale' ],
);
@@ -3391,7 +3264,6 @@ has history => (
use Moose;
has _favorite_numbers => (
traits => [ 'Array' ],
- is => 'ro',
isa => 'ArrayRef[Int]',
default => sub { [] },
init_arg => undef,
@@ -3454,7 +3326,7 @@ has account => (
isa => 'BankAccount',
handles => {
receive_100 =>
- [ 'deposit', 100 ]
+ [ 'deposit', 100 ],
give_100 =>
[ 'withdraw', 100 ]
},
@@ -3552,6 +3424,7 @@ print Person->meta
- Use
weak_ref to avoid circular references
- Use trigger to do an action post-attribute write
- Use delegations to hide "internal" objects
+ - Use native delegations to treat Perl types as objects
- Traits and metaclasses let you extend Moose's core attribute features
@@ -3570,12 +3443,20 @@ print Person->meta
Iterate til this passes all its tests
-
-
Part 7: Introspection
+
+
CYOA
+
+
+ If there is time, keep going ...
+
+
+
+ Otherwise, jump to slide 269 ...
+
-
Part 8: A Brief Tour of MooseX
+ Bonus: A Brief Tour of MooseX
@@ -3583,7 +3464,7 @@ Iterate til this passes all its tests
- Not comprehensive
- - 152 MooseX distributions on CPAN as of 02/02/2010
+ - 188 MooseX distributions on CPAN as of 02/03/2011
- Some of them are crap
@@ -3604,7 +3485,7 @@ Iterate til this passes all its tests
MooseX::Declare
use MooseX::Declare;
-use 5.10.0; # for say
+use 5.12.0; # for say
class Person {
has greeting =>
@@ -3623,7 +3504,7 @@ class Person {
Still experimental-ish, but seeing more and more use
Not a source filter!
Hooks into the Perl parser rather than filtering all your code
- But not supported by PPI, perltidy, etc. (yet?)
+ But not supported by PPI, perltidy, etc. (yet?)
$ myapp-cli \
--file foo \
@@ -3769,12 +3650,21 @@ with HasCollection => { type => 'Int' };
Questions?
-
-
Part 9: Writing Moose Extensions
-
+
+
Moose-using Modules
-
-
The End
+
+ For further reading, a few modules which use Moose ...
+
+
+
@@ -3787,10 +3677,14 @@ with HasCollection => { type => 'Int' };
mailing list - moose@perl.org
Slides and exercises are in Moose's git repo:
- git://jules.scsys.co.uk/gitmo/moose-presentations
+
git://git.moose.perl.org/moose-presentations.git
+
+
The End
+
+