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;} @@ -950,10 +950,10 @@ sub BUILD {

Object Construction a la Moose

-
Person->new(@_)
+
Person->new(@args)
    -
  1. Calls Person->BUILDARGS(@_) to turn @_ into a hashref
  2. +
  3. Calls Person->BUILDARGS(@args) to turn @args into a hashref
  4. Blesses a reference
  5. Populates attributes based on the hashref from #1
  6. Calls $new_object->BUILDALL($constructor_args) @@ -1032,7 +1032,7 @@ extends 'LWP';
  7. No DEMOLISH()
  8. -
  9. But see MooseX::NonMoose for a workaround
  10. +
  11. 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';
- - -
- -

Roles as Interfaces

+

Read-only vs Read-write

+ + +
+ +

Required-ness

@@ -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' };