X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=moose-class%2Fslides%2Findex.html;h=46ac36ab9225822fa1e8e023c01e5960fceb5602;hb=66b11069294324c31214650bd2e466fb75acd1f5;hp=e5124b08b236961ef1ade0405494618a0138ff58;hpb=7a6b3be97e92f349cc4525256a12d96000dc070a;p=gitmo%2Fmoose-presentations.git diff --git a/moose-class/slides/index.html b/moose-class/slides/index.html index e5124b0..46ac36a 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 +

Dave Rolsky

@@ -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
    • @@ -3200,8 +3201,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 +3294,7 @@ has history => (
    package Person;
     use Moose;
     has _favorite_numbers => (
    -    traits   => [ 'Array' ],
    -    is       => 'bare',
    +    traits   => [ 'Array' ],
         isa      => 'ArrayRef[Int]',
         default  => sub { [] },
         init_arg => undef,
    @@ -3353,7 +3357,7 @@ has account => (
         isa     => 'BankAccount',
         handles => {
             receive_100 =>
    -            [ 'deposit', 100 ]
    +            [ 'deposit', 100 ],
             give_100    =>
                 [ 'withdraw', 100 ]
         },
    @@ -3369,82 +3373,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 +3380,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
    @@ -3487,7 +3418,7 @@ Iterate til this passes all its tests
    • Not comprehensive
    • -
    • 177 MooseX distributions on CPAN as of 09/21/2010
    • +
    • 188 MooseX distributions on CPAN as of 02/03/2011
    • Some of them are crap
    @@ -3508,7 +3439,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 =>
    @@ -3527,7 +3458,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?)
  • @@ -3681,12 +3612,13 @@ with HasCollection => { type => 'Int' };

    @@ -3695,12 +3627,12 @@ with HasCollection => { type => 'Int' };
    @@ -3714,7 +3646,7 @@ with HasCollection => { type => 'Int' };