Higher order perl

高階Perl2/19 Hokkaido.pm #4

@havanaclub

2011年2月19日土曜日

早いもので #4


ところで


プログラマの生涯


プログラマの生涯•OOP期


プログラマの生涯•OOP期•クロージャ期


プログラマの生涯•OOP期•クロージャ期•メタプログラミング期


プログラマの生涯•OOP期•クロージャ期•メタプログラミング期• DSL期


プログラマの生涯•OOP期•クロージャ期•メタプログラミング期• DSL期•もうなんでもいいや……期


プログラマの生涯•OOP期


プログラマの生涯•OOP期•とにかくオブジェクトな感じ


プログラマの生涯•OOP期•とにかくオブジェクトな感じ• Smalltalkにかぶれた


プログラマの生涯•OOP期•とにかくオブジェクトな感じ• Smalltalkにかぶれた• GOF! Kent Beck! ふげふご


プログラマの生涯•OOP期の終焉


プログラマの生涯•OOP期の終焉•謎のクラスファイルの大伽藍


プログラマの生涯•OOP期の終焉•謎のクラスファイルの大伽藍•このファイルなんだっけ……


プログラマの生涯•OOP期の終焉•謎のクラスファイルの大伽藍•このファイルなんだっけ……•抽象化しすぎてなんか必要な手続きがかえって増えたような……


プログラマの生涯•クロージャ期


プログラマの生涯•クロージャ期•とにかくクロージャ


プログラマの生涯•クロージャ期•とにかくクロージャ• Paul Grahumにかぶれた


プログラマの生涯•クロージャ期•とにかくクロージャ• Paul Grahamにかぶれた•関数合成！部分適用！memoize！ふげふご


プログラマの生涯•クロージャ期の終焉


プログラマの生涯•クロージャ期の終焉•デバッグしにくい……


プログラマの生涯•クロージャ期の終焉•デバッグしにくい……•実行時に関数を作るのでスタックトレースに関数の名前が出てこない


プログラマの生涯•クロージャ期の終焉•デバッグしにくい……•実行時に関数を作るのでスタックトレースに関数の名前が出てこない

•まじきびしい


まとめ


There is no silver bullet


高階Perlの話は？


高階Perl• Higher Order Perl• Marks Jason Dominus, 2005• http://hop.perl.plover.com/book/


http://hop.perl.plover.com/book/

http://hop.perl.plover.com/book/

中身•ぶっちゃけSICPをPerlで書き直しただけ


関数型プログラミングっぽく


関数型プログラミング言語• 関数がfirst-class• first-class = 関数を変数に代入（束縛）したり関数の引数に出来る

• Perl：関数をfirst-classで扱えるので関数型っぽいことも容易


関数の代入？


Perlでのクロージャuse strict;# クロージャを作って変数に束縛my $add = sub { $_[0] + $_[1] };

# 呼び出し$add->(3, 4);# => 7

vsuse strict;

sub add { $_[0] + $_[1]; }

add(2,4);


変数のとじこみuse strict;my $c = 3my $add = sub { $_[0] + $c};

$add->(4);# => 7

変数$cをクロージャ内にとじ込んで後から参照できるようにする


変数の値をクロージャ内で更新すると？

use strict;my $c = 3my $proc = sub { $c++ };

$proc->();# 3$proc->();# 4$proc->();# 5

変数$cの内容が更新されている


普通の関数も変数に入れてみる

use strict;

sub add { $_[0] + $_[1]; }

my $func = ¥&add;$func->(3, 4);# => 7

¥&関数名で関数の参照をとれる


クロージャを作る関数

use strict;# 引数を足し算する関数を返すsub generate { my ($a, $b) = @_; sub { $a + $b };}

generate(3, 4)->();# => 7


クロージャを作る関数(2)use strict;use feature qw(say);

# 引数を足し算する関数を返すsub generate { my ($num) = @_; sub { $num++ };}

my $fun = generate(2);

say $fun->(); # => 2say $fun->(); # => 3

my $fun2 = generate(2);

say $fun2->(); # => 2say $fun2->(); # => 3


どういう役に立つの？


1.コールバック


ファイルの各行を処理

use strict;

sub each_line { my ($file, $proc) = @_; open my $fh “<$file” or return; while(my $line = <$fh>) { $proc->($line); } close($fh);}

each_line(‘aaa.txt’, sub { print $_[0] } );


呼び出し側のsubをなくす

use strict;

sub each_line (&@) { my ($proc, $file) = @_; open my $fh, "<$file" or return; while(my $line = <$fh>) { $proc->($line); } close($fh);}

each_line { print $_[0]; } ('lex.pl') ;


２.関数テーブル


dispatch table(switch代替)

use strict;

my $table = { ‘left’ => sub { print ‘left’ }, ‘right’ => sub { print ‘right’ },};sub dispatch { my ($mode) = @_; my $func = $table->{$mode}; $func && $func->();}dispatch(‘left’);


３.関数のカスタマイズ


ロガーのカスタマイズ

use strict;use Log::Dispatch;

my $logger = Log::Dispatch->new;sub generate_logger { my ($ip) = @_; sub { $logger->info(“$ip : $_[0]“) };}

$custom_logger = generate_logger(‘192.168.1.1’);

$custom_logger->(“msssssg”)# => “192.168.1.1 : msssssssg”


Partial Application(部分適用)

sub patial_add { my ($a) = @_;

sub { add( $a + $_[0] ) };}

sub add { $_[0] + $_[1];}

my $func = patial_add(2);$func->(5);# => 7


4.イテレータ


コンテナの要素を順繰りに取得

use strict;

package Collection;sub new { my $class = shift; bless {data => \@_}, $class; }sub iter { my $self = shift; my $counter = 0; sub { $self->{data}[$counter++] };}

package main;my $iter = Collection->new(1, 2)->iter;say $iter->(); # => 1say $iter->(); # => 2


５.遅延評価


無限リスト

use strict;use feature qw(say);

# 1 .. 無限の整数列を生成my $infinite_list = sub { my $c = 1; sub { $c++; } };

# 整数列の最初から100番目までを表示my $num_list = $infinite_list->();for my $i (0..100) { say $num_list->();}


閑話休題


変数scoping•レキシカルスコープ•my•ダイナミックスコープ• local


レキシカルスコープmy $var = 12;

sub func { say $var;}

sub test { my $var = 19; func();}

test(); # => 12 func(); # => 12

定義時の変数が使われる


ダイナミックスコーlocal $var = 12;

sub func { say $var;}

sub test { local $var = 19; func();}

test(); # => 19func(); # => 12

呼び出しスコープ内で直近の変数が使われる2011年2月19日土曜日

更なる深み


更なる深み•パーサコンビネータ


更なる深み•パーサコンビネータ•インタプリタ作り


更なる深み•パーサコンビネータ•インタプリタ作り•宣言型プログラミング


更なる深み•パーサコンビネータ•インタプリタ作り•宣言型プログラミング•ラムダ計算


更なる深み•パーサコンビネータ•インタプリタ作り•宣言型プログラミング•ラムダ計算


普通にSchemeとかでやった方が……

Scheme!Scheme!


まとめ


クロージャの用量用法を守って使いましょう


参考資料•Higher Order Perl• Structure and Interpretation of Computer Programming

•論理と計算の仕組み• Guy Steele’s Lambda papers（おすすめ）


おまけ

SICP読書会やりたい(hotさんも参加してくれそう)


Documents

Higher order perl