X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=moose-class%2Fslides%2Findex.html;h=e0aad3c86fc910da2be7af6f72553ebabc864507;hb=dcb205461b086b1108115e8bf26950f685530047;hp=adf159fe30bf349b099b01d6b87ecaad19794af6;hpb=c030f6e8ffa441ca1cfa386722aa5a44b8c2a99a;p=gitmo%2Fmoose-presentations.git
diff --git a/moose-class/slides/index.html b/moose-class/slides/index.html
index adf159f..e0aad3c 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;}
- Declarative OO sugar
- Introspectable
- - Extensible (177 MooseX::* on CPAN)
- - Community approved (1222 downstream dependents on CPAN)
+ - Extensible (202 MooseX::* on CPAN)
+ - Community approved (1200+ downstream dependents on CPAN)
@@ -155,7 +155,7 @@ img#me05 {top: 43px;left: 36px;}
package Person;
use Moose;
-has first_name => ( is => 'rw' );
+has first_name => ( is => 'ro' );
@@ -1054,13 +1054,13 @@ use Moose;
extends 'Person';
-override work => sub {
+override work => sub {
my $self = shift;
die "Pay me first"
unless $self->got_paid;
- super();
-};
+ super();
+};
@@ -1069,7 +1069,7 @@ use Moose;
- Mostly like
$self->SUPER::work(@_)
- But cannot change
@_
!
- - Binds the parent's method at compile time
+ - Binds the parent's method correctly at compile time
- Parent determined by checking
Child->meta()->superclasses()
@@ -1155,8 +1155,8 @@ Person->can('extends');
Cleaning Up Moose Droppings
package Person;
-use namespace::autoclean;
use Moose;
+use namespace::autoclean;
...
@@ -1236,6 +1236,8 @@ use Moose;
# perl install-moose (if needed)
+## Read the instructions in t/01-classes.t
+
# perl bin/prove -lv t/01-classes.t
# edit lib/Person.pm and lib/Employee.pm
@@ -1307,23 +1309,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();
@@ -1340,7 +1344,9 @@ print $person->full_name
package Person;
use Moose;
-with 'Printable';
+
with 'Printable';
+
+sub as_string { $_[0]->first_name() }
@@ -1351,6 +1357,8 @@ use Moose;
with 'Printable';
+sub as_string { $_[0]->first_name() }
+
has has_been_printed => ( is => 'rw' );
sub print {
@@ -1479,34 +1487,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
@@ -1656,8 +1636,6 @@ requires 'compare';
Real Examples
- - Column and ColumnAlias both do ColumnLike
- - ColumnLike things can be used in certain parts of queries
- All queries do HasWhereClause
- Select does Comparable and Selectable (for subselects)
- A where clause requires its components to do Comparable
@@ -1719,6 +1697,15 @@ has 'is_ripped' => ( is => 'rw' );
+
Read-only vs Read-write
+
+
+ - Read-only is preferred
+ - Minimize state in your application
+
+
+
+
Required-ness
@@ -1804,6 +1791,7 @@ use Moose;
has bank => (
is => 'rw',
+ # THIS WILL NOT WORK
default => Bank->new(
name => 'Spire FCU' ),
);
@@ -1826,22 +1814,6 @@ has packages => (
-
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
@@ -2046,15 +2018,7 @@ Person->new( shoes => Shoes->new );
- By default, subclasses inherit attribute as-is
- - Can change some attribute parameters in subclasses
-
- - default
- - builder
- - required
- - lazy
- - others we've not yet covered
-
-
+ - Can change attribute parameters in subclasses
@@ -2407,62 +2371,6 @@ around run => sub {
-
Augment and Inner
-
-
- - Inverted
super
- - From least- to most-specific
- - Like Mason's autohandler feature
- - Grandparent to parent to child
- - Not allowed in roles
-
-
-
-
-
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
-
-
- - When we call
$tps->xml
...
-
- Document->xml
- Report->xml
- TPSReport->xml
-
-
-
-
-
-
-
Augment and Inner Usage
-
-
- - Call
inner()
to "fill in the blank"
- - Requires designing for subclassing
- - Call
inner()
in the terminal class, just in case
-
-
-
-
Method Modifiers Summary
@@ -2488,21 +2396,7 @@ extends 'Report';
- not call the original method at all (or call a different method)
-
-
-
-
-
Method Modifiers Summary
-
-
- When using modifiers in a role, require the modified method
- - Use
augment
and inner
to invert the normal subclassing flow ...
-
- - Least- to most-specific (parents to children)
- - Build in "insertability" (stick more stuff in the "middle")
-
-
- - Always call
inner
in the most specific subclass to allow for future extension
@@ -2588,15 +2482,12 @@ Item
Bool
True
- 1
-924.1
-'true'
-{}
+ 1
False
0
-0.0
'0'
+''
undef
@@ -2725,7 +2616,7 @@ class_type 'DateTime';
Subtype Shortcuts - role_type
use Moose::Util::TypeConstraints;
-role_type 'Printable';
+role_type 'Printable';
@@ -2834,7 +2725,8 @@ coerce 'My::DateTime',
Coercion Examples
-
coerce 'ArrayRef[Int]',
+ # BAD CODE - DO NOT COPY
+coerce 'ArrayRef[Int]',
from 'Int',
via { [ $_ ] };
@@ -2932,7 +2824,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
@@ -3372,7 +3264,6 @@ has history => (
use Moose;
has _favorite_numbers => (
traits => [ 'Array' ],
- is => 'bare',
isa => 'ArrayRef[Int]',
default => sub { [] },
init_arg => undef,
@@ -3435,7 +3326,7 @@ has account => (
isa => 'BankAccount',
handles => {
receive_100 =>
- [ 'deposit', 100 ]
+ [ 'deposit', 100 ],
give_100 =>
[ 'withdraw', 100 ]
},
@@ -3539,6 +3430,10 @@ print Person->meta
+
Questions?
+
+
+
Exercises
# cd exercises
@@ -3569,7 +3464,7 @@ Iterate til this passes all its tests
- Not comprehensive
- - 152 MooseX distributions on CPAN as of 02/02/2010
+ - 188 MooseX distributions on CPAN as of 02/03/2011
- Some of them are crap
@@ -3590,7 +3485,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 =>
@@ -3609,7 +3504,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?)
@@ -3782,7 +3677,7 @@ with HasCollection => { type => 'Int' };
mailing list - moose@perl.org
Slides and exercises are in Moose's git repo:
- git://jules.scsys.co.uk/gitmo/moose-presentations
+ git://git.moose.perl.org/moose-presentations.git