Eine praktische Einleitung in the OO-Syntax von Perl 6 mit ein wenig Theorie

1. Perl 6 OOP

2. Was ist OOP ?
Larry
Wall

3. Du meinst OPP ?

4. Was ist OOP ?

5. Position

6. Out Of Position

7. OOP

8. Was ist OOP ?

9. Lies Das !

10. Lies Das !
Object-oriented
programming ... many
opinions, theories, and
even ideologies have
been formulated on the
subject. ... Most are
mutually inconsistent.

11. OOP
Klassen / Prototypen
(Multiple) Vererbung / Rollen
MMD + Delegation
Typen + Subtypen
Introspektion / Metaobj.

12. Seine Meinung

13. TIMTOWTDI

14. Alles da in Schönheit

15. Suche Perfektion

16. Klasse

17. Klasse
class

18. Klasse
class
instanzierbarer Namensraum

19. Klasse
class module package

20. Klasse
class Excalibur;
class Babylon;

21. Klasse
class
Instanzierbarer Namensraum

22. NR in Klammern
class Excalibur {
...
}

23. Objekt

24. Objekt
my $obj =
Klasse.new();

25. Objekt
my $obj =
Klasse.new();

26. Neu Erschaffen

27. Bestehendes Klonen

28. Objekt
my $obj =
$alt.clone();

29. Objekt
my $obj =
$alt.clone(...);

30. Positionale Paramter
clone($pos1, $pos2);

31. Benannte Parameter
clone( :key('value'),);

32. Mit Autoquoting
clone( :key<value>,);

33. Old School Geht Auch
clone( key=>'value',);

34. Objekt
new & clone
bless blieb

35. Attribute
+
Methoden

36. Klasse
class Spaceship {
has Int $.speed;
method stop {
$.speed = 0
}
}

37. Kann Ich auch !

38. In Perl 5
package Spaceship;
use Moose;
has 'speed' => (
is => 'ro';
isa => 'Int';
);
sub stop {
$self = shift;
$self->speed = 0;
}

39. In Perl 5
use MooseX::Declare;
class Spaceship {
has 'speed' => (
is => 'ro';
isa => 'Int';
);
method stop {
$self->speed = 0;
}
}

40. Klasse
class Spaceship {
has Int $.speed;
method stop {
$.speed = 0;
}
}

41. Attributbenutzung
P5 P6
$self->speed $.speed
shift->speed self.speed
$!speed

42. Twigil der
Accessoren
. öffentlich
! privat

43. Twigil der
Accessoren
. öffentlich
! privat
has $!speed; # privat

44. Twigil der
Accessoren
. öffentlich
! privat
has $speed; # auch privat

45. trusts

46. trusts
class Hund {
trusts Katze;
has $!Knochen;
}

47. trusts
my $carlo = Hund.new();
my $mine = Katze.new();
$mine!Knochen = 0;

48. Twigils
. öffentliche A.
! private A.
^ pos. auto para.
: ben. Auto para.
* globale
? compiler info
= POD
~ sublang

49. Sigils
$ Skalar
@ Array
% Hash

50. Sigils
has $.speed;
has @.shuttle;
has %.crew;

51. Keine Typ Hashref
has $.speed;
has @.shuttle;
has %.crew;

52. MooseX
use MooseX::Declare;
class Raumschiff {
has 'speed' => (
is => 'ro';
isa => 'Int';
);
method stop {
$self->speed = 0;
}
}

53. MooseX
use MooseX::Declare;
class Raumschiff {
has 'speed' => (
is => 'rw';
isa => 'Int';
);
method stop {
$self->speed = 0;
}
}

54. Perl 6
class Raumschiff {
has Int $.speed is rw;
method stop {
$.speed = 0;
}
}

55. Perl 6
class Raumschiff {
has Int $.speed is rw = 0;
method stop {
$.speed = 0;
}
}

56. MooseX
use MooseX::Declare;
class Raumschiff {
has 'speed' => (
is => 'rw';
isa => 'Int';
default => 0;
);
method stop {
$self->speed = 0;
}
}

57. Perl 6 Attribute
kein:
isa default (nur Syntax)
predicate required coerce
reader writer init_arg
clearer builder lazy_build

58. Hab ich mir ausgedacht!

59. Perl 6 & Moose
has is

60. Subtypen

61. Moose
subtype 'Slogan'
=> as 'Str'
=> where {length $_< 50};

62. Perl 6
my subset Slogan of Str
where {$_.chars < 50};

63. Delegation

64. Perl 6
class spaceship;
has DateTime $.clock;
$excalibur.clock.now;

65. Perl 6
class spaceship;
has DateTime $.clock
handles 'now';
$excalibur.clock.now;

66. Perl 6
class spaceship;
has DateTime $.clock
handles 'now';
$excalibur.clock.now; # ==
$excalibur.now;

67. Moose
has 'clock' => (
handles => 'now';
);

68. Moose++, Nicht P6
has 'clock' => (
handles => {
now => 'time'
};
);

69. Methoden

70. Methode
class Spaceship;
method stop { … }

71. Private Methode
method !stop { … }

72. Methoden
method !stop { … }
submethod go { … }

73. Methoden
# wird vererbt
method !stop { … }
# nicht erbbar
submethod go { … }

74. MMD
?

75. MMD
Multi
Method
Dispatch

76. Schlüsselworte
only
multi
proto

77. Schlüsselworte
only #sowieso default
multi # anschaun !
proto # später

78. MMD
multi method go
(Coord $place) {}
multi method go
(Str $cmd) {};

79. MMD
$excalibur.go('back');

80. MMD
only #sowieso default
multi # MMD
proto # selber regeln

81. Vererbung

82. Vererbung
Moose P6
extends => is

83. MooseX::Declare
class WhiteStar
extends Spaceship;

84. Perl 6
class WhiteStar
is Spaceship;

85. Mehrfachvererbung
class WhiteStar
is Spaceship is Membari;

86. Vererbung später
Moose P6
extends => also is

87. MooseX::Declare
class WhiteStar;
...
extends Spaceship;

88. Perl 6
class WhiteStar {
...
also is Spaceship;

89. Rollen

90. Klassenhierarchie

91. Wo kommt die Neue rein?

92. Rollen
werden nicht vererbt !
geht nur ins Objekt
& zur Laufzeit raus

93. Rollen
werden vererbt !
wenn in eine Klasse
gemischt

94. Rollen
Konflikte werfen Ausnahme

95. Rollen
Konflikte werfen Ausnahme
Überschreiben nicht global
wie Ruby Mixins

96. Rollen
Konflikte werfen Ausnahme
Rollen > Mehrfachvererbung
(dort bleiben Konflikte auch
unbemerkt)

97. Rollen
Konflikte werfen Ausnahme
außer wenn Methode leer

98. Rollen
Konflikte werfen Ausnahme
außer wenn Methode leer
dann muß überschrieben
werden (Interface)

99. Rollen
role Spaceship {
has Int $.speed;
method stop {
$.speed = 0
}
}

100. Rollen
role Clock {
has DateTime $.time;
method alarm {
...
}
}

101. Rollen anwenden
Moose P6
with => does

102. Moose
class WhiteStar
extends Spaceship
with Clock;

103. Perl 6
class WhiteStar
is Spaceship
does Clock;

104. Perl 6
class WhiteStar
is Spaceship;
also does Clock;

105. Perl 6
class WhiteStar
is Spaceship;
also does Clock
does PlasmaGun;

106. Laufzeiteinbindung
$excalibur does Clock;

107. Introspektion

108. Methoden jedes Objektes
WHAT short name
WHICH object ID (type)
WHO package, long name in str context
WHERE memory address
HOW object of meta class
WHEN (reserved for events?)
WHY (reserved for documentation)
WHENCE autovivification of closures

109. Interessanteste
WHAT short name
WHICH object ID (type)
WHO package, long name in str context
WHERE memory address
HOW object of meta class
WHEN (reserved for events?)
WHY (reserved for documentation)
WHENCE autovivification of closures

110. Introspektion
Class.HOW.methods($obj)
Class.^methods()

111. Metaobjektmethoden
identifier
name authority version author
description subject language
licensed parents roles

112. Immer tiefer
$obj.^methods()[$which].signature

113. Introspektion
Alles is ein Objekt

114. Introspektion
Alles is ein Objekt
„Objekte sind doof“.uc
(wie in Ruby)

115. Introspektion
Alles is ein Objekt
Befehle sind Methoden

116. Introspektion
Alles is ein Objekt
Befehle sind Methoden
(Operatoren auch)

117. Introspektion
Alles is ein Objekt
Befehle sind Methoden
(Operatoren auch)
MMD ist überall

118. Introspektion
Alles is ein Objekt
Befehle sind Methoden
(Operatoren auch)
MMD ist überall
Auch in den Regex

119. Namenräume
package module
class

120. Auch 'ne Art Klasse
package module
class grammar

121. Grammatiken
grammar {
token { … }
rule { … }
regex { … }
}

122. Grammatiken
Klassen deren
Methoden Regex
anwenden und
Matchobjekte
zurückgeben

123. Grammatiken
grammar + MMD
= Perl 6 Interna

124. Lern Mehr
S12: Objekte,S14: Rollen
perl6.org/documentation
http://perlcabal.org/syn/
opt. Präzision & Umfang

125. Lern Mehr
Perl 6 Docs
doc.perl6.org/language/objects
optimiert: Kürze & Genauigkeit

126. Lern Mehr
Perl 6 Tablets
tablets.perl6.org
opt.: Hypertext & Umfang

127. Wann Kommt Perl 6 ?

128. Thank You