X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=moose-class%2Fslides%2Findex.html;h=adf159fe30bf349b099b01d6b87ecaad19794af6;hb=c030f6e8ffa441ca1cfa386722aa5a44b8c2a99a;hp=70bdfc651c96000d181fa3e1664ae8a5fe5a06b6;hpb=c1d605dbbaf56eed6436ec8821158c509b8210fe;p=gitmo%2Fmoose-presentations.git
diff --git a/moose-class/slides/index.html b/moose-class/slides/index.html
index 70bdfc6..adf159f 100644
--- a/moose-class/slides/index.html
+++ b/moose-class/slides/index.html
@@ -52,7 +52,7 @@ img#me05 {top: 43px;left: 36px;}
+
- Calls
Person->BUILDARGS(@_)
to turn @_
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
@@ -957,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
@@ -966,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
@@ -1029,6 +1042,7 @@ extends 'LWP';
override
is another method modifier
- An alternative to Perl's
SUPER::
+ - Declares your intent to override a method
@@ -1056,6 +1070,7 @@ use Moose;
- Mostly like
$self->SUPER::work(@_)
- But cannot change
@_
!
- Binds the parent's method at compile time
+ - Parent determined by checking
Child->meta()->superclasses()
@@ -1096,8 +1111,7 @@ has first_name => ( is => 'ro' );
my $person =
Person->new( first_name => 'Dave' );
-$person->first_name('Stevan');
-print $person->first_name; # Dave
+$person->first_name('Stevan'); # dies
@@ -1116,7 +1130,7 @@ print $person->first_name; # Dave
use Moose;
# true
-Person->can('extends');
+Person->can('extends');
- Not very hygienic
@@ -1131,17 +1145,31 @@ use Moose;
...
-no Moose;
+no Moose;
# false
-Person->can('extends');
+Person->can('extends');
+
+
+
+
Cleaning Up Moose Droppings
+
+
package Person;
+use namespace::autoclean;
+use Moose;
+
+...
+
+# false
+Person->can('extends');
No Moose
- no Moose
at the end of a package is a best practice
+ - Cleaning up is a best practice
+ - Say
no Moose
at the end of a package
- Or
use namespace::autoclean
at the top
- Just do it
@@ -1151,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;
@@ -1343,7 +1371,7 @@ sub print {
# or ...
-Person->meta->does('Printable')
+Person->meta->does_role('Printable')
@@ -1403,69 +1431,17 @@ use Moose;
-
Method Aliasing
-
-
package FragileDancer;
-use Moose;
-
-with 'IsFragile' =>
- { -alias =>
- { break => 'break_bone' } },
- 'CanBreakdance' =>
- { -alias =>
- { break => 'break_it_down' } };
-
-
- - 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
+
Conflicts Are a Smell
- - 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;
@@ -1474,7 +1450,7 @@ requires 'compare';
-
Hot Role-on-Role Action
+
Roles With Roles
package TestsEquality;
use Moose::Role;
@@ -1483,7 +1459,7 @@ with 'Comparable';
sub is_equal {
my $self = shift;
- return $self->compare(@_) == 0;
+ return $self->compare(@_) == 0;
}
@@ -1498,8 +1474,8 @@ with 'TestsEquality';
# Satisfies the Comparable role
sub compare { ... }
-Integer->does('TestsEquality'); # true
-Integer->does('Comparable'); # also true!
+Integer->does('TestsEquality'); # true
+Integer->does('Comparable'); # also true!
@@ -1521,11 +1497,11 @@ with 'HasSubProcess';
Delayed Conflict
-
package StateOfTexas;
+ package SysadminAssassin;
with 'Killer';
- StateOfTexas
must implement its own execute
+ SysadminAssassin
must implement its own execute
- But loading the
Killer
role by itself does not cause an error
@@ -1553,7 +1529,7 @@ use Moose;
with 'HasSize';
-has size => ( is => 'ro' );
+has size => ( is => 'ro' );
@@ -1567,7 +1543,7 @@ requires 'size';
package Shirt;
use Moose;
-has size => ( is => 'ro' );
+has size => ( is => 'ro' );
with 'HasSize';
@@ -1589,9 +1565,9 @@ with 'HasSize';
package Comparison;
use Moose;
-has [ 'left', 'right' ] => (
- is => 'ro',
- does => 'Comparable',
+has [ 'left', 'right' ] => (
+ is => 'ro',
+ does => 'Comparable',
);
@@ -1606,7 +1582,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' );
@@ -1762,8 +1738,8 @@ has first_name => (
required => 1,
);
-Person->new( first_name => undef ); # ok
-Person->new(); # kaboom
+Person->new( first_name => undef ); # ok
+Person->new(); # kaboom
@@ -1856,7 +1832,8 @@ has packages => (
use Moose;
my $highlander_bank =
- Bank->new( name => 'Spire FCU' );
+ Bank->new(
+ name => 'Clan MacLeod Trust' );
has bank => (
is => 'rw',
@@ -1868,7 +1845,8 @@ has bank => (
Builder
- - A method name which returns the default
+ - A method name
+ - When called, this method returns the default value
@@ -1886,7 +1864,7 @@ has bank => (
sub _build_bank {
my $self = shift;
return Bank->new(
- name => 'Spire FCU' );
+ name => 'Spire FCU' );
}
@@ -1942,7 +1920,8 @@ has bank => (
use Moose;
has shoe_size => (
- is => 'ro',
+ is => 'ro',
+ required => 1,
);
@@ -1952,7 +1931,7 @@ has shoe_size => (
has shoes => (
is => 'ro',
lazy => 1,
- builder => '_build_shoes',
+ builder => '_build_shoes',
);
sub _build_shoes {
@@ -2025,16 +2004,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;
@@ -2043,12 +2022,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 );
@@ -2195,6 +2174,13 @@ has first_name => (
- Attributes can have a
default
or builder
- Attributes with a default or builder can be
lazy
- Attributes can have a
clearer
and/or predicate
+
+
+
+
+
Basic Attributes Summary
+
+
- An attribute's constructor name can be changed with
init_arg
- A subclass can alter its parents' attributes
- Attribute accessor names can be changed
@@ -2224,18 +2210,18 @@ Iterate til this passes all its tests
- Apply to an existing method
- - ... from a parent class, the current class, or a role
+ - ... that comes from a parent class, the current class, or a role
- Roles can provide modifiers that are applied at composition time
-
What is a Method Modifier
+
What Are Method Modifiers For?
- "Inject" behavior
- Add behavior to generated methods (accessors, delegations)
- - Provide roles which modify existing behavior
+ - Added from a role, can modify existing behavior
@@ -2362,7 +2348,7 @@ after clear_password => sub {
$self->$orig(
$self->_munge_insert(@_) );
- $new_user->_assign_uri;
+ $new_user->_assign_uri;
return $new_user;
};
@@ -2426,6 +2412,7 @@ around run => sub {
- Inverted
super
- From least- to most-specific
+ - Like Mason's autohandler feature
- Grandparent to parent to child
- Not allowed in roles
@@ -2434,19 +2421,21 @@ around run => sub {
Augment and Inner
-
package Document;
+ package Document;
sub xml { '<doc>' . inner() . '</doc>' }
package Report;
extends 'Document';
augment xml =>
- sub { title() . inner() . summary() };
+ sub { my $self = shift;
+ $self->title() . inner() . $self->summary() };
package TPSReport;
extends 'Report';
augment xml =>
- sub { tps_xml() . inner() };
+ sub { my $self = shift;
+ $self->tps_xml() . inner() };
@@ -2568,11 +2557,11 @@ Item
Undef
Defined
Value
- Num
- Int
- Str
- ClassName
- RoleName
+ Str
+ Num
+ Int
+ ClassName
+ RoleName
@@ -2590,7 +2579,7 @@ Item
CodeRef
RegexpRef
GlobRef
- FileHandle
+ FileHandle
Object
@@ -2621,6 +2610,7 @@ undef
Value
is true when ! ref $thing
Value
and Str
are effectively the same, but Str
is more expressive
+ Num
is true when a $scalar
looks like a number
- An overloaded object which numifies does not pass the
Num
constraint!
- Perl 5's overloading is hopelessly broken
@@ -2721,9 +2711,11 @@ has start_date => (
Subtype Shortcuts - class_type
use Moose::Util::TypeConstraints;
-class_type 'DateTime';
+class_type 'DateTime';
+
+
-subtype 'DateTime',
+subtype 'DateTime',
as 'Object',
where { $_->isa('DateTime') },
message { ... };
@@ -2733,10 +2725,12 @@ subtype 'DateTime',
Subtype Shortcuts - role_type
use Moose::Util::TypeConstraints;
-role_type 'Printable';
+role_type 'Printable';
-subtype 'Printable',
- as 'Object',
+
+
+subtype 'Printable',
+ as 'Object',
where
{ Moose::Util::does_role(
$_, 'Printable' ) },
@@ -2747,9 +2741,11 @@ subtype 'Printable',
Subtype Shortcuts - duck_type
use Moose::Util::TypeConstraints;
-duck_type Car => qw( run break_down );
+duck_type Car => qw( run break_down );
-subtype 'Car',
+
+
+subtype 'Car',
as 'Object',
where { all { $_->can($_) }
qw( run break_down ) },
@@ -2760,12 +2756,14 @@ subtype 'Car',
Subtype Shortcuts - enum
use Moose::Util::TypeConstraints;
-enum Color => qw( red blue green ) );
+enum Color => qw( red blue green );
+
+
-my %ok = map { $_ => 1 }
+my %ok = map { $_ => 1 }
qw( red blue green );
-subtype 'Color'
+subtype 'Color'
as 'Str',
where { $ok{$_} },
message { ... };
@@ -2881,6 +2879,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;
@@ -3011,9 +3022,9 @@ coerce ArrayOfInt
use MyApp::Types qw( ArrayOfInt );
-has transaction_history => (
- is => 'rw',
- isa => ArrayOfInt,
+has transaction_history => (
+ is => 'rw',
+ isa => ArrayOfInt,
);
@@ -3023,7 +3034,7 @@ has transaction_history => (
- Type names are exported functions, catches typos early
- Types must be pre-declared
- - Types are stored with namespaces internally, but externally are short
+ - Types are stored with namespaces internally, but you use short names
- Import existing Moose types as functions from
MooseX::Types::Moose
- Still need string names for things like
ArrayRef['Email::Address']
@@ -3036,7 +3047,7 @@ has transaction_history => (
- Catches typos at compile time
- Automatic namespacing
- One more thing to install and learn
- - Every name gets types twice (declared and then defined)
+ - Every name is typed twice (declared and then defined)
- Still stuck with strings when referring to class or role names
- Coercion gotcha from earlier still applies to types exported from
MooseX::Types::Moose
@@ -3057,15 +3068,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
@@ -3163,7 +3165,7 @@ $alice->friend($bob);
after salary_level => {
my $self = shift;
- return unless @_;
+ return unless @_;
$self->clear_salary;
};
@@ -3175,11 +3177,22 @@ $alice->friend($bob);
has salary_level => (
is => 'rw',
- trigger => sub { $_[0]->clear_salary },
+ trigger =>
+ sub { $_[0]->clear_salary },
);
+
Trigger Arguments
+
+
+ $self
+ $new_value
+ $old_value
- if one exists
+
+
+
+
Delegation
@@ -3195,7 +3208,7 @@ $alice->friend($bob);
has lungs => (
is => 'ro',
- isa => 'Lungs',
+ isa => 'Lungs',
handles => [ 'inhale', 'exhale' ],
);
@@ -3236,6 +3249,7 @@ has lungs => (
Array Reference
+ - 1-to-1 mapping
- Takes each method name and creates a simple delegation from the delegating class to the delegatee attribute
@@ -3358,7 +3372,7 @@ has history => (
use Moose;
has _favorite_numbers => (
traits => [ 'Array' ],
- is => 'ro',
+ is => 'bare',
isa => 'ArrayRef[Int]',
default => sub { [] },
init_arg => undef,
@@ -3396,7 +3410,7 @@ print "$_\n"
- Bool -
set
, toggle
, ...
- Hash -
get
, set
, ...
- Array - already saw it
- - Code -
execute
, that's it
+ - Code -
execute
and execute_method
@@ -3429,6 +3443,14 @@ has account => (
+
Curried Delegation
+
+
$person->receive_100;
+# really is
+$person->account->deposit(100);
+
+
+
Traits and Metaclasses
@@ -3453,7 +3475,7 @@ has account => (
Traits and Metaclasses
- - Can add/alter/remove attribute parameter (from
has
)
+ - Can add/alter/remove an attribute parameter (from
has
)
- Can change behavior of created attribute
@@ -3511,15 +3533,12 @@ 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
-
Questions?
-
-
-
Exercises
# cd exercises
@@ -3529,20 +3548,28 @@ 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
-
Notable Moose Extensions on CPAN
+
Notable MX Modules on CPAN
- Not comprehensive
- - 128 MooseX distributions on CPAN as of 09/24/2009
+ - 152 MooseX distributions on CPAN as of 02/02/2010
- Some of them are crap
@@ -3551,11 +3578,11 @@ Iterate til this passes all its tests
Already Mentioned Several
- - MooseX::NonMoose - best solution for subclassing non-Moose parents
- - MooseX::Declare - real Perl 5 OO
- - MooseX::FollowPBP and MooseX::SemiAffordanceAccessor
- - MooseX::Params::Validate and MooseX::Method::Signatures
- - MooseX::Types
+ MooseX::NonMoose
- best solution for subclassing non-Moose parents
+ MooseX::Declare
- real Perl 5 OO
+ MooseX::FollowPBP
and MooseX::SemiAffordanceAccessor
+ MooseX::Params::Validate
and MooseX::Method::Signatures
+ MooseX::Types
@@ -3566,8 +3593,8 @@ Iterate til this passes all its tests
use 5.10.0; # for say
class Person {
- has greeting
- => ( is => 'ro', isa => 'Str' );
+ has greeting =>
+ ( is => 'ro', isa => 'Str' );
method speak {
say $self->greeting;
@@ -3582,6 +3609,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?)
@@ -3589,7 +3617,7 @@ class Person {
MooseX::StrictConstructor
- - By default, unknown constructor arguments are ignore
+ - By default, unknown constructor arguments are ignored
- MX::StrictConstructor turns these into an error
@@ -3651,7 +3679,7 @@ use Moose;
has file =>
( is => 'ro', required => 1 );
has filters =>
- ( is => 'ro', isa => 'Str' );
+ ( is => 'ro', isa => 'ArrayRef[Str]' );
sub run { ... }
@@ -3667,7 +3695,7 @@ sub run { ... }
use App::CLI;
-App::CLI->new_with_options()->run();
+App::CLI->new_with_options()->run();
$ myapp-cli \
--file foo \
@@ -3700,18 +3728,18 @@ my $clone = $person->clone;
MooseX::Role::Parameterized
package HasCollection;
-use MooseX::Role::Parameterized;
-
-parameter type => ( isa => 'Str',
- default => 'Item' );
-role {
+use MooseX::Role::Parameterized;
+parameter type => ( isa => 'Str',
+ default => 'Item' );
+role {
my $p = shift;
- my $type = 'ArrayRef[' . $p->type() . ']';
+ my $type =
+ 'ArrayRef[' . $p->type() . ']';
has collection =>
( is => 'ro',
isa => $type );
-};
+};
@@ -3727,12 +3755,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 ...
+
+
+
@@ -3745,10 +3782,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://jules.scsys.co.uk/gitmo/moose-presentations
+
+
The End
+
+