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=4bf1c7b8a51d8b78c97c0b089a481ca67550f894;hpb=26973b3b954e508384165b56351a9f57041caf41;p=gitmo%2Fmoose-presentations.git diff --git a/moose-class/slides/index.html b/moose-class/slides/index.html index 4bf1c7b..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,8 +71,8 @@ img#me05 {top: 43px;left: 36px;}
@@ -155,7 +155,7 @@ img#me05 {top: 43px;left: 36px;} 
package Person;
 use Moose;
 
-has first_name => ( is => 'rw' );
+has first_name => ( is => 'ro' ); @@ -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. +
  2. Calls Person->BUILDARGS(@args) to turn @args into a hashref
  3. Blesses a reference
  4. Populates attributes based on the hashref from #1
  5. Calls $new_object->BUILDALL($constructor_args) @@ -1032,7 +1032,7 @@ extends 'LWP';
  6. No DEMOLISH()
    7. -
  7. But see MooseX::NonMoose for a workaround
    8. +
  8. But MooseX::NonMoose fixes all of this
@@ -1069,7 +1069,7 @@ use Moose; @@ -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
@@ -1309,23 +1307,25 @@ sub print {
   
package Person;
 use Moose;
 
-with 'HasPermissions';

+with 'Printable';

Classes Consume Roles

-
my $person = Person->new(
+
package Person;
+
+sub as_string { $_[0]->first_name() }
+
+...
+
+my $person = Person->new(
     first_name   => 'Kenichi',
     last_name    => 'Asai',
     access_level => 42,
 );
 
-print $person->full_name
-    . ' has '
-    . $person->can_access(42)
-        ? 'great power'
-        : 'little power';

+$person->print();
@@ -1342,7 +1342,9 @@ print $person->full_name 
package Person;
 use Moose;
 
-with 'Printable';
+with 'Printable'; + +sub as_string { $_[0]->first_name() }
@@ -1353,6 +1355,8 @@ use Moose; with 'Printable'; +sub as_string { $_[0]->first_name() } + has has_been_printed => ( is => 'rw' ); sub print { @@ -1481,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

-

What if I Want to Share?

- - 
package Person;
-use Moose;
-
-my $highlander_bank =
-    Bank->new(
-        name => 'Clan MacLeod Trust' );
-
-has bank => (
-    is      => 'rw',
-    default => sub { $highlander_bank },
-);
-
- -

Builder

@@ -2409,62 +2369,6 @@ around run => sub {
-

Augment and Inner

- - -
- -
-

Augment and Inner

- - 
package Document;
-
-sub xml { '<doc>' . inner() . '</doc>' }
-
-package Report;
-extends 'Document';
-augment xml =>
-    sub { my $self = shift;
-          $self->title() . inner() . $self->summary() };
-
-package TPSReport;
-extends 'Report';
-augment xml =>
-    sub { my $self = shift;
-          $self->tps_xml() . inner() };
-
- -
-

Augment and Inner

- - -
- -
-

Augment and Inner Usage

- - -
- -

Method Modifiers Summary

- -
- -
-

Method Modifiers Summary

- -
@@ -2710,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 { ... };

@@ -2724,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(
@@ -2740,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 ) },
@@ -2755,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'
@@ -2774,7 +2680,9 @@ subtype     'Color'
   
package Person;
 
 my $posint =
-    subtype as 'Int', where { $_ > 0 };
+    subtype
+        as 'Int',
+        where { $_ > 0 };
 
 has size => (
     is  => 'ro',
@@ -2833,7 +2741,8 @@ coerce 'My::DateTime',
 

   
Coercion Examples

 
-  
coerce 'ArrayRef[Int]',
+  
# BAD CODE - DO NOT COPY
+coerce 'ArrayRef[Int]',
     from 'Int',
     via  { [ $_ ] };

 
@@ -2931,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
    • 
   

 

@@ -3053,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
    • 
@@ -3281,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
    • 
   

 
 
@@ -3370,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,
@@ -3434,7 +3357,7 @@ has account => (
     isa     => 'BankAccount',
     handles => {
         receive_100 =>
-            [ 'deposit', 100 ]
+            [ 'deposit', 100 ],
         give_100    =>
             [ 'withdraw', 100 ]
     },
@@ -3450,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

 
   
    
@@ -3533,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
@@ -3568,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
    • 
   

 

@@ -3589,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 =>
@@ -3608,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?)
    • 
   
 
 
@@ -3762,12 +3612,13 @@ with HasCollection => { type => 'Int' };
    
   
    
 
   
 
 
@@ -3776,12 +3627,12 @@ with HasCollection => { type => 'Int' };
    @@ -3795,7 +3646,7 @@ with HasCollection => { type => 'Int' };