X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=moose-class%2Fslides%2Findex.html;h=e8302e4e73cbe636f765ed888232e74e28c1cd6d;hb=a88cc08084397dc7667e26dc315fb5492d8bf558;hp=c8c2e210d05de76de4944bdb8c3f6d2646e71758;hpb=92559e0f46b7f7bb4e3bae79f72b28ede8f9c4c3;p=gitmo%2Fmoose-presentations.git
diff --git a/moose-class/slides/index.html b/moose-class/slides/index.html
index c8c2e21..e8302e4 100644
--- a/moose-class/slides/index.html
+++ b/moose-class/slides/index.html
@@ -71,7 +71,7 @@ img#me05 {top: 43px;left: 36px;}
- Declarative OO sugar
- Introspectable
- - Extensible (188 MooseX::* on CPAN)
+ - Extensible (202 MooseX::* on CPAN)
- Community approved (1200+ downstream dependents on CPAN)
@@ -950,10 +950,10 @@ 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)
@@ -1032,7 +1032,7 @@ extends 'LWP';
- No
DEMOLISH()
- - But see
MooseX::NonMoose
for a workaround
+ - But
MooseX::NonMoose
fixes all of this
@@ -1155,8 +1155,8 @@ Person->can('extends');
Cleaning Up Moose Droppings
package Person;
-use namespace::autoclean;
use Moose;
+use namespace::autoclean;
...
@@ -1234,8 +1234,6 @@ use Moose;
# perl bin/prove -lv t/00-prereq.t
-# perl install-moose (if needed)
-
## Read the instructions in t/01-classes.t
# perl bin/prove -lv t/01-classes.t
@@ -1487,34 +1485,6 @@ Integer->does('Comparable'); # also true!
-
Name Conflicts Between Roles
-
-
package HasSubProcess;
-use Moose::Role;
-
-sub execute { ... }
-
-package Killer;
-use Moose::Role;
-
-with 'HasSubProcess';
-
-sub execute { ... }
-
-
-
-
Delayed Conflict
-
-
package SysadminAssassin;
-with 'Killer';
-
-
- SysadminAssassin
must implement its own execute
- - But loading the
Killer
role by itself does not cause an error
-
-
-
-
Roles as Interfaces
@@ -1725,6 +1695,15 @@ has 'is_ripped' => ( is => 'rw' );
+
Read-only vs Read-write
+
+
+ - Read-only is preferred
+ - Minimize state in your application
+
+
+
+
Required-ness
@@ -2036,16 +2015,8 @@ Person->new( shoes => Shoes->new );
Attribute Inheritance
- - By default, subclasses inherit attribute as-is
- - Can change some attribute parameters in subclasses
-
- - default
- - builder
- - required
- - lazy
- - others we've not yet covered
-
-
+ - By default, subclasses inherit attributes as-is
+ - Can change attribute parameters in subclasses
@@ -2421,9 +2392,9 @@ around run => sub {
alter parameters passed to the original method
alter the return value of the original method
not call the original method at all (or call a different method)
- When using modifiers in a role, require the modified method
+ When using modifiers in a role, require the modified method
@@ -2629,11 +2600,15 @@ 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 { ... };
@@ -2643,11 +2618,15 @@ class_type 'DateTime';
Subtype Shortcuts - role_type
use Moose::Util::TypeConstraints;
-role_type 'Printable';
+
+role_type 'Printable';
+
+
-subtype 'Printable',
+
+subtype 'Printable',
as 'Object',
where
{ Moose::Util::does_role(
@@ -2659,11 +2638,15 @@ role_type '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 ) },
@@ -2674,11 +2657,15 @@ 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 }
+
+my %ok = map { $_ => 1 }
qw( red blue green );
subtype 'Color'
@@ -2693,7 +2680,9 @@ subtype 'Color'
package Person;
my $posint =
- subtype as 'Int', where { $_ > 0 };
+ subtype
+ as 'Int',
+ where { $_ > 0 };
has size => (
is => 'ro',
@@ -2752,7 +2741,8 @@ coerce 'My::DateTime',
Coercion Examples
-
coerce 'ArrayRef[Int]',
+ # BAD CODE - DO NOT COPY
+coerce 'ArrayRef[Int]',
from 'Int',
via { [ $_ ] };
@@ -2850,7 +2840,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
@@ -2972,10 +2962,21 @@ has transaction_history => (
+
Specio
+
+
+ - My attempt to replace
MooseX::Types
and built-in types
+ - Third-system effect?
+ - Still alpha - needs some work
+
+
+
+
Recommendation
- - Use
MooseX::Types
+ - Use
MooseX::Types
for now
+ - Switch to
Specio
when it's ready?
- Compile time error catching and automatic namespacing are huge wins
- Docs from
Moose::Util::TypeConstraints
are 98% compatible with MooseX::Types
anyway
- A function exported by a type library works wherever a type name would
@@ -3137,6 +3138,25 @@ has lungs => (
+
Delegation Explained
+
+
package Person;
+
+has lungs => (
+ is => 'ro',
+ isa => 'Lungs',
+ handles => [ 'inhale', 'exhale' ],
+);
+
+sub inhale {
+ my $self = shift;
+ $self->lungs()->inhale();
+}
+
+sub exhale { ... }
+
+
+
Why Delegation?
@@ -3200,8 +3220,12 @@ has account => (
},
- $person->receive_money
= $person->account->deposit
- $person->give_money
= $person->account->withdraw
+ $person->receive_money
+
+ = $person->account->deposit
+ $person->give_money
+
+ = $person->account->withdraw
@@ -3289,8 +3313,7 @@ has history => (
package Person;
use Moose;
has _favorite_numbers => (
- traits => [ 'Array' ],
- is => 'bare',
+ traits => [ 'Array' ],
isa => 'ArrayRef[Int]',
default => sub { [] },
init_arg => undef,
@@ -3369,82 +3392,6 @@ $person->account->deposit(100);
-
Traits and Metaclasses
-
-
- - The ultimate in customization
- - Per attribute metaclasses
- - Per attribute roles applied to the attribute metaclass
- - Change the meta-level behavior
-
-
-
-
-
Traits and Metaclasses
-
-
- - The default metaclass is
Moose::Meta::Attribute
- - Controls accessor generation, defaults, delegation, etc.
- - Adding a role to this metaclass (or replacing it) allows for infinite customization
-
-
-
-
-
Traits and Metaclasses
-
-
- - Can add/alter/remove an attribute parameter (from
has
)
- - Can change behavior of created attribute
-
-
-
-
-
Simple Trait Example
-
-
package Person;
-use Moose;
-use MooseX::LabeledAttributes;
-
-has ssn => (
- traits => [ 'Labeled' ],
- is => 'ro',
- isa => 'Str',
- label => 'Social Security Number',
-);
-print Person->meta
- ->get_attribute('ssn')->label;
-
-
-
-
Simple Metaclass Example
-
-
package Person;
-use Moose;
-use MooseX::LabeledAttributes;
-
-has ssn => (
- metaclass =>
- 'MooseX::Meta::Attribute::Labeled',
- is => 'ro',
- isa => 'Str',
- label => 'Social Security Number',
-);
-print Person->meta
- ->get_attribute('ssn')->label;
-
-
-
-
Traits vs Metaclass
-
-
- - Can apply any mix of traits to an attribute
- - But just one metaclass
- - Traits (aka roles) can cooperate
- - Metaclasses require you to pick just one
-
-
-
-
Advanced Attributes Summary
@@ -3452,11 +3399,14 @@ print Person->meta
- 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
@@ -3508,7 +3458,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 =>
@@ -3681,12 +3631,13 @@ with HasCollection => { type => 'Int' };
@@ -3695,12 +3646,12 @@ with HasCollection => { type => 'Int' };
@@ -3714,7 +3665,7 @@ with HasCollection => { type => 'Int' };