X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=moose-class%2Fslides%2Findex.html;h=e1e33504393d994cac32ed05128268abcc81166c;hb=6b24100035035acc3bb86df2c45a2463d09bf3cf;hp=02cc02c93a47104107c05a912881d465ea7a1752;hpb=ee2e815e23c9f316581a25c7056c007938b26755;p=gitmo%2Fmoose-presentations.git
diff --git a/moose-class/slides/index.html b/moose-class/slides/index.html
index 02cc02c..e1e3350 100644
--- a/moose-class/slides/index.html
+++ b/moose-class/slides/index.html
@@ -40,7 +40,7 @@ img#me05 {top: 43px;left: 36px;}
@@ -262,7 +275,7 @@ has weight => (
);
# kaboom
-Person->new( weight => 'fat' );
+Person->new( weight => 'heavy' );
@@ -284,11 +297,11 @@ use Moose;
has blog_uri => (
is => 'rw',
isa => 'URI',
- handles => { 'blog_hostname' => 'host' },
+ handles => { 'blog_host' => 'host' },
);
-$person->blog_hostname;
-# really calls $person->blog_uri->host
+$person->blog_host;
+# really calls $person->blog_uri->host
+
- 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
-
The Object is Oqaque
+
The Object is Opaque
- Technically it's a hash reference
@@ -962,6 +984,8 @@ sub BUILD {
extends
is sugar for declaring parent classes
+ - Also ensures metaclass compatibility between parent and child
+ - Do not
use base
package Employee;
@@ -1029,7 +1053,8 @@ use Moose;
override work => sub {
my $self = shift;
- die "Pay me first" unless $self->got_paid;
+ die "Pay me first"
+ unless $self->got_paid;
super();
};
@@ -1041,6 +1066,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()
@@ -1101,7 +1127,7 @@ print $person->first_name; # Dave
use Moose;
# true
-Person->can('extends');
+Person->can('extends');
package Person;
use Moose;
-__PACKAGE__->meta->make_immutable;
+__PACKAGE__->meta->make_immutable;
@@ -1194,6 +1235,8 @@ use Moose;
# perl bin/prove -lv t/01-classes.t
+# edit lib/Person.pm and lib/Employee.pm
+
Iterate til this passes all its tests
@@ -1211,11 +1254,10 @@ Iterate til this passes all its tests
-
Roles Can Have State and Behavior
+
Roles - State and Behavior
package HasPermissions;
use Moose::Role;
-
# state
has access_level => ( is => 'rw' );
@@ -1224,7 +1266,8 @@ sub can_access {
my $self = shift;
my $required = shift;
- return $self->access_level >= $required;
+ return $self->access_level
+ >= $required;
}
@@ -1268,8 +1311,8 @@ with 'HasPermissions';
Classes Consume Roles
my $person = Person->new(
- first_name => 'Kenichi',
- last_name => 'Asai',
+ first_name => 'Kenichi',
+ last_name => 'Asai',
access_level => 42,
);
@@ -1325,7 +1368,7 @@ sub print {
# or ...
-if ( Person->meta->does('Printable') ) { ... }
+Person->meta->does_role('Printable')
@@ -1391,10 +1434,10 @@ use Moose;
use Moose;
with 'IsFragile' =>
- { alias =>
+ { -alias =>
{ break => 'break_bone' } },
'CanBreakdance' =>
- { alias =>
+ { -alias =>
{ break => 'break_it_down' } };
@@ -1410,13 +1453,13 @@ use Moose;
use Moose;
with 'IsFragile' =>
- { alias =>
+ { -alias =>
{ break => 'break_bone' },
- exclude => 'break' },
+ -excludes => 'break' },
'CanBreakdance' =>
- { alias =>
- { break => 'break_dance' },
- exclude => 'break' };
+ { -alias =>
+ { break => 'break_it_down' },
+ -excludes => 'break' };
@@ -1428,9 +1471,9 @@ use Moose;
sub break {
my $self = shift;
- $self->break_dance;
+ $self->break_it_down;
if ( rand(1) < 0.5 ) {
- $self->break_bone;
+ $self->break_bone;
}
}
@@ -1447,7 +1490,7 @@ sub break {
-
Hot Role-on-Role Action
+
Roles With Roles
package Comparable;
use Moose::Role;
@@ -1456,7 +1499,7 @@ requires 'compare';
-
Hot Role-on-Role Action
+
Roles With Roles
package TestsEquality;
use Moose::Role;
@@ -1465,7 +1508,7 @@ with 'Comparable';
sub is_equal {
my $self = shift;
- return $self->compare(@_) == 0;
+ return $self->compare(@_) == 0;
}
@@ -1480,8 +1523,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!
@@ -1503,11 +1546,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
@@ -1588,8 +1631,9 @@ has [ 'left', 'right' ] => (
use Moose::Util qw( apply_all_roles );
-my $fragile_person = Person->new( ... );
-apply_all_roles( $fragile_person, 'IsFragile' );
+my $fragile_person = Person->new( ... );
+apply_all_roles( $fragile_person,
+ 'IsFragile' );
- Does not change the
Person
class
@@ -1743,8 +1787,8 @@ has first_name => (
required => 1,
);
-Person->new( first_name => undef ); # ok
-Person->new(); # kaboom
+Person->new( first_name => undef ); # ok
+Person->new(); # kaboom
@@ -1752,7 +1796,7 @@ Person->new(); # kaboom
- Attributes can have defaults
- - Simple non-referecne scalars (number, string)
+ - Simple non-reference scalars (number, string)
- Subroutine reference
- A builder method
@@ -1793,7 +1837,7 @@ has bank => (
-
Default as a Subroutine Reference
+
Subroutine Reference Default
- Called as a method on the object
@@ -1837,7 +1881,8 @@ has packages => (
use Moose;
my $highlander_bank =
- Bank->new( name => 'Spire FCU' );
+ Bank->new(
+ name => 'Clan MacLeod Trust' );
has bank => (
is => 'rw',
@@ -1849,7 +1894,8 @@ has bank => (
Builder
- - A method name which returns the default
+ - A method name
+ - When called, this method returns the default value
@@ -1866,7 +1912,8 @@ has bank => (
sub _build_bank {
my $self = shift;
- return Bank->new( name => 'Spire FCU' );
+ return Bank->new(
+ name => 'Spire FCU' );
}
@@ -1905,7 +1952,7 @@ has bank => (
-
Lazy, Good for Nothing Attributes
+
Lazy, Good for Nothin' Attributes
- Normally, defaults are generated during object construction
@@ -1922,7 +1969,8 @@ has bank => (
use Moose;
has shoe_size => (
- is => 'ro',
+ is => 'ro',
+ required => 'ro',
);
@@ -2010,11 +2058,11 @@ has shoe_size => (
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;
@@ -2028,7 +2076,7 @@ has shoes => (
init_arg => undef,
);
-Person->new( shoes => Shoes->new );
+Person->new( shoes => Shoes->new );
@@ -2175,6 +2223,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
@@ -2189,7 +2244,8 @@ has first_name => (
Exercises
# cd exercises
-# perl bin/prove -lv t/03-basic-attributes.t
+# perl bin/prove -lv \
+ t/03-basic-attributes.t
Iterate til this passes all its tests
@@ -2203,18 +2259,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
@@ -2258,7 +2314,8 @@ before work => sub {
my $self = shift;
return unless $DEBUG;
- warn "Called work on ", $self->full_name,
+ warn "Called work on ",
+ $self->full_name,
"with the arguments: [@_]\n";
};
@@ -2290,19 +2347,17 @@ after work => sub {
-
Other Uses Example
+
More Modifier Examples
has password => (
is => 'rw',
clearer => 'clear_password',
);
-
has hashed_password => (
is => 'ro',
builder => '_build_hashed_password',
clearer => '_clear_hashed_password',
);
-
after clear_password => sub {
my $self = shift;
$self->_clear_hashed_password;
@@ -2342,8 +2397,7 @@ after clear_password => sub {
$self->$orig(
$self->_munge_insert(@_) );
- $new_user->_assign_uri;
-
+ $new_user->_assign_uri;
return $new_user;
};
@@ -2352,7 +2406,7 @@ after clear_password => sub {
Modifier Order
- - Before runs order from last to first
+ - Before runs in order from last to first
- After runs in order from first to last
- Around runs in order from last to first
@@ -2407,6 +2461,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
@@ -2421,13 +2476,11 @@ 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() };
@@ -2508,7 +2561,8 @@ extends 'Report';
Exercises
# cd exercises
-# perl bin/prove -lv t/04-method-modifiers.t
+# perl bin/prove -lv \
+ t/04-method-modifiers.t
Iterate til this passes all its tests
@@ -2550,11 +2604,11 @@ Item
Undef
Defined
Value
- Num
- Int
- Str
- ClassName
- RoleName
+ Str
+ Num
+ Int
+ ClassName
+ RoleName
@@ -2564,6 +2618,7 @@ Item
(Item)
(Defined)
+ (Value)
Ref
ScalarRef
ArrayRef[`a]
@@ -2571,7 +2626,7 @@ Item
CodeRef
RegexpRef
GlobRef
- FileHandle
+ FileHandle
Object
@@ -2602,6 +2657,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
@@ -2662,8 +2718,9 @@ undef
subtype 'PositiveInt',
as 'Int',
where { $_ > 0 },
- message { "The value you provided ($_)"
- . " was not a positive number." };
+ message
+ { "The value you provided ($_)"
+ . " was not a positive int." };
has size => (
is => 'ro',
@@ -2701,9 +2758,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 { ... };
@@ -2713,10 +2772,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' ) },
@@ -2727,9 +2788,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 ) },
@@ -2740,10 +2803,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 } qw( red blue green );
-subtype 'Color'
+my %ok = map { $_ => 1 }
+ qw( red blue green );
+
+subtype 'Color'
as 'Str',
where { $ok{$_} },
message { ... };
@@ -2774,9 +2841,13 @@ has size => (
subtype 'UCStr',
as 'Str',
- where { ! /[a-z]/ };
+ where { ! /[a-z]/ };
+
-coerce 'UCStr',
+
+
Coercions
+
+
coerce 'UCStr',
from 'Str',
via { uc };
@@ -2815,7 +2886,7 @@ coerce 'My::DateTime',
via { [ $_ ] };
- - Coerce instead of a union like
Int | ArrayRef[Int]
+ - Instead of union -
Int | ArrayRef[Int]
@@ -2824,8 +2895,6 @@ coerce 'My::DateTime',
package Person;
-use Moose::Util::TypeConstraints;
-
has height => (
is => 'rw',
isa => 'Num',
@@ -2842,7 +2911,7 @@ has favorite_numbers => (
More Droppings
- Moose::Util::TypeConstraint
also needs cleanup
+ Moose::Util::TypeConstraints
also needs cleanup
package Person;
@@ -2869,12 +2938,11 @@ sub work {
\@_,
tasks =>
{ isa => 'ArrayRef[Task]',
- coerce =>1 },
+ coerce => 1 },
can_rest =>
{ isa => 'Bool',
default => 0 },
);
-
...
}
@@ -2898,7 +2966,7 @@ sub work {
Digression: The Type Registry
- - Types are actually
Moose::Meta::TypeConstraint
objects
+ - Types are actually
Moose::Meta::TypeConstraints
objects
- Stored in an interpreter-global registry mapping names to objects
@@ -2927,7 +2995,6 @@ sub work {
Namespace Fix
use Moose::Util::TypeConstraints;
-
subtype 'MyApp::Type::DateTime',
as 'DateTime';
@@ -3001,7 +3068,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']
@@ -3014,7 +3081,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
@@ -3107,7 +3174,8 @@ $alice->friend($bob);
use Moose;
has name => ( is => 'ro' );
-has friend => ( is => 'rw', weak_ref => 1 );
+has friend => ( is => 'rw',
+ weak_ref => 1 );
my $alice = Person->new( name => 'Alice' );
my $bob = Person->new( name => 'Bob' );
@@ -3140,7 +3208,7 @@ $alice->friend($bob);
after salary_level => {
my $self = shift;
- return unless @_;
+ return unless @_;
$self->clear_salary;
};
@@ -3152,11 +3220,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
@@ -3213,6 +3292,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
@@ -3226,7 +3306,6 @@ has lungs => (
package Person;
use Moose;
-
has account => (
is => 'ro',
isa => 'BankAccount',
@@ -3274,7 +3353,6 @@ has name => (
package Auditor;
use Moose::Role;
-
sub record_change { ... }
sub change_history { ... }
@@ -3302,6 +3380,120 @@ has history => (
+
Native Delegation
+
+
+ - Delegate to unblessed Perl types
+ - Scalar, array or hash ref, etc
+ - Treat Perl types as objects
+ - Still uses
handles
+ - Pretend that native Perl types have methods
+
+
+
+
+
Native Delegation - Array(Ref)
+
+
+ - Methods include:
+
+ push
+ shift
+ elements
- returns all elements
+ count
+ is_empty
+ - quite a few more
+
+
+
+
+
+
+
Native Delegation - Array(Ref)
+
+
package Person;
+use Moose;
+has _favorite_numbers => (
+ traits => [ 'Array' ],
+ is => 'ro',
+ isa => 'ArrayRef[Int]',
+ default => sub { [] },
+ init_arg => undef,
+ handles =>
+ { favorite_numbers => 'elements',
+ add_favorite_number => 'push',
+ },
+);
+
+
+
+
Native Delegation - Array(Ref)
+
+
my $person = Person->new();
+
+$person->add_favorite_number(7);
+$person->add_favorite_number(42);
+
+print "$_\n"
+ for $person->favorite_numbers;
+
+# 7
+# 42
+
+
+
+
Native Delegation
+
+
+ - Native types are ...
+
+ - Number -
add
, mul
, ...
+ - String -
append
, chop
, ...
+ - Counter -
inc
, dec
, ...
+ - Bool -
set
, toggle
, ...
+ - Hash -
get
, set
, ...
+ - Array - already saw it
+ - Code -
execute
and execute_method
+
+
+
+
+
+
+
Curried Delegation
+
+
+ - A delegation with some preset arguments
+ - Works with object or Native delegation
+
+
+
+
+
Curried Delegation
+
+
package Person;
+use Moose;
+has account => (
+ is => 'ro',
+ isa => 'BankAccount',
+ handles => {
+ receive_100 =>
+ [ 'deposit', 100 ]
+ give_100 =>
+ [ 'withdraw', 100 ]
+ },
+);
+
+
+
+
Curried Delegation
+
+
$person->receive_100;
+# really is
+$person->account->deposit(100);
+
+
+
Traits and Metaclasses
@@ -3326,7 +3518,7 @@ has history => (
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
@@ -3344,7 +3536,6 @@ has ssn => (
isa => 'Str',
label => 'Social Security Number',
);
-
print Person->meta
->get_attribute('ssn')->label;
@@ -3363,7 +3554,6 @@ has ssn => (
isa => 'Str',
label => 'Social Security Number',
);
-
print Person->meta
->get_attribute('ssn')->label;
@@ -3398,7 +3588,8 @@ print Person->meta
Exercises
# cd exercises
-# perl bin/prove -lv t/06-advanced-attributes.t
+# perl bin/prove -lv \
+ t/06-advanced-attributes.t
Iterate til this passes all its tests
@@ -3408,9 +3599,200 @@ Iterate til this passes all its tests
-
Part 8: A Tour of MooseX
+ Part 8: A Brief Tour of MooseX
+
+
+
+
Notable MX Modules on CPAN
+
+
+ - Not comprehensive
+ - 152 MooseX distributions on CPAN as of 02/02/2010
+ - Some of them are crap
+
+
+
+
+
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::Declare
+
+
use MooseX::Declare;
+use 5.10.0; # for say
+
+class Person {
+ has greeting =>
+ ( is => 'ro', isa => 'Str' );
+
+ method speak {
+ say $self->greeting;
+ }
+}
+
+
+
+
MooseX::Declare
+
+
+ - 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?)
+
+
+
MooseX::StrictConstructor
+
+
+ - By default, unknown constructor arguments are ignored
+ - MX::StrictConstructor turns these into an error
+
+
+
+
+
MooseX::StrictConstructor
+
+
package Person;
+
+use Moose;
+use MooseX::StrictConstructor;
+
+has name => ( is => 'ro' );
+
+Person->new
+ ( nane => 'Ringo Shiina' ); # kaboom
+
+
+
+
MooseX::Traits
+
+
+ - Combines object construction and role application
+ - Makes it easy to create one-off customized objects
+
+
+
+
+
MooseX::Traits
+
+
package MyApp::Thingy;
+use Moose;
+
+with 'MooseX::Traits';
+
+my $thing =
+ MyApp::Thingy->new_with_traits
+ ( traits => [ 'Foo', 'Bar' ],
+ size => 42 );
+
+
+
+
MooseX::Getopt
+
+
+ - Makes command-line interface programs easy!
+ - Construct an object from CLI arguments
+
+
+
+
+
MooseX::Getopt
+
+
package App::CLI;
+use Moose;
+
+with 'MooseX::Getopt';
+
+has file =>
+ ( is => 'ro', required => 1 );
+has filters =>
+ ( is => 'ro', isa => 'ArrayRef[Str]' );
+
+sub run { ... }
+
+
+
+
MooseX::Getopt
+
+
+ - Then call it like this:
+
+
+
#!/usr/bin/perl
+
+use App::CLI;
+
+App::CLI->new_with_options()->run();
+
+
$ myapp-cli \
+ --file foo \
+ --filters compress \
+ --filters sanitize
+
+
+
+
MooseX::Clone
+
+
package Person;
+
+use Moose;
+with 'MooseX::Clone';
+
+my $person = Person->new;
+my $clone = $person->clone;
+
+
+
+
MooseX::NonMoose
+
+
+ - Highly recommended for subclassing non-Moose parents
+ - Gets all the little annoying details right
+
+
+
+
+
MooseX::Role::Parameterized
+
+
package HasCollection;
+use MooseX::Role::Parameterized;
+parameter type => ( isa => 'Str',
+ default => 'Item' );
+role {
+ my $p = shift;
+
+ my $type =
+ 'ArrayRef[' . $p->type() . ']';
+ has collection =>
+ ( is => 'ro',
+ isa => $type );
+};
+
+
+
+
MooseX::Role::Parameterized
+
+
package Person;
+
+use Moose;
+with HasCollection => { type => 'Int' };
+
+
+
+
Questions?
+
+
Part 9: Writing Moose Extensions
@@ -3429,7 +3811,7 @@ Iterate til this passes all its tests
- 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