Perlで継続

Perl 継続 lisp scheme

現在、『On Lisp』が３巡目の終盤に差し掛かっている。でも、いまいち継続を理解できていない。分かり易い解説を見つけたのでPerlに翻訳してみた。(本を読む FizzBuzzとGaucheで学ぶ継続の基礎)

use strict;
use warnings;

sub fizzbuzz {
  my ($next, ($n)) = @_;
  my $answer = $n % 15 == 0 ? "FizzBuzz"
             : $n %  3 == 0 ? "Fizz"
             : $n %  5 == 0 ? "Buzz"
             : $n;

  # $nextを挟んで再帰呼び出し
  $next->(\&fizzbuzz, ($n + 1, $answer));
}

sub continuation {
  my ($next, ($n, $answer)) = @_;

  # 状態を閉じ込めた状態で関数終了
  my $cc = sub {
    my ($fun) = @_;
    $fun->($answer) if (ref $fun eq 'CODE');
    $next->(\&continuation, ($n));
  };
}

# 1〜100のfizzbuzz継続を生成してリストに保存
my @restart = fizzbuzz(\&continuation, (1));
push @restart, $restart[$#restart]->() for 2..100;

# 1〜100のfizzbuzz継続を実行
$restart[$_]->( sub{ print @_, $_ != $#restart ? '|' : '' } ) for 0..$#restart;

100までのFizzBuzzが表示される。

続きを読む

副作用関数のユニットテスト

Perl テスト

ユニットテストの自動化で困るのが副作用を起こすコード。例えば、ファイルのI/Oを含む関数は自動テスト化に少し悩む。

# hoge.pl
use strict;
use warnings;

package HOGE;
use IO::File;

main(@ARGV) if ($0 eq __FILE__);

# テストしたい関数
sub main {
  my (@args) = @_;
  return 1 unless (@args >= 2);
  return 2 unless defined( my $io = IO::File->new($args[0], 'w') );
  unless ( defined $io->print($args[1]. "\n") ) {
    $io->close;
    return 3
  };
  return 4 unless defined $io->close;
  return 0;
}
1;

この場合、テストドライバから"use lib"でモジュール参照先を変更してIO::Fileを強制的にテストスタブにしてやれば良い。

続きを読む

Perlで遅延評価

Perl Haskell D言語

遅延評価とは、HaskellやD言語なんかにある「アレ」のことだ。

遅延評価（ちえんひょうか、lazy evaluation、delayed evaluation）とは、計算機科学におけるプログラムの評価手法の一つ。主に関数型言語で使用される。対義語は先行評価（eager evaluation、strict evaluation）。

評価しなければならない値が存在するとき、実際の計算を値が必要になるまで行わないことをいう。評価法が指示されているが実際の計算が行われていない中間状態の時それをプロミス (promise) や、計算の実体をさしてサンク (thunk) といい、プロミスを強制(force)することで値が計算される。一旦計算された値はキャッシュをすることが可能であり、遅延プロミスは最大で一度しか計算されないようにすることができる。ただし、Haskellの実装によっては、何度でも同じ計算を行う。

http://ja.wikipedia.org/wiki/%E9%81%85%E5%BB%B6%E8%A9%95%E4%BE%A1

要するに式の評価を結果が必要になる時点まで遅らせるテクニックである。
Perlでやってみた。定番のFizzBuzz。

続きを読む

Lispお勉強中

Lisp 雑文

　心に余裕が出てきたこともあってLispを再学習中。今は『実践Common Lisp』を読んでいる。やっと第12章が終わった。
　思い返すと腰を落ち着けてプログラミング言語の勉強をやってない。何とか使いこなしているのはＣ言語とPerlくらい。どちらも仕事で使っているおかげだ。他は書籍を斜め読みしてわかった気になっているだけ。実践が足りない。広く浅くは土地勘を養うためも重要だ。でも身につけるには狭く深く追求することが必要になる。

　興味がある言語はたくさんある。手始めにLispをマスターしたい。Lispといえばマクロ。マクロによる抽象化を習得できたらプログラミングの幅が広がると期待している。

　どうやって勉強しようか？まずは書籍を１冊に絞って繰り返し読む。そして、何か実装してみる。後は、ひたすらソースを読み書きする。

　余裕が大事と感じる今日この頃。今だから言えるけど、精神を壊すまで働くのはNG。人生は１度しかない。自分を大事にしたほうが良い。一度ダウンすると結構長引くし医療費もかさむ。

　ある程度のゆとりがないと生産性はあがらない。会社的にもマイナスになる。当たり前だと思うけど当たり前じゃない現実。

　愚痴ばかり・・・


Binary Hacks

本 Linux

『Binary Hacks ―ハッカー秘伝のテクニック100選』を読み終えた。

　本書はその名のとおりGNU/Linux依存のハックが満載だ。ダンプを読み読みしたり、プロセスの中からプロセス情報を読み読み・書き書きしたり、etc。
　抽象化には限界がある。移植性を完全に無視した内容には好感が持てる。とはいえ現実はデバッグやテスト、解析なんかに役立てるのが主だろう。
　というわけで、Linux系のOSで開発している人にオススメ。もちろん、他のOSを使っていても環境べったりの知識は有用なので読んで損は無い。


Ｃ言語でクロージャ

C言語 Lisp

クロージャって何だろう？

クロージャは関数と環境を一緒にしたものである。クロージャは、関数がレキシカル環境から何かを参照するときには暗黙に必ず作られている。
『ANSI Common Lisp』- 6.5 クロージャ より

どんな風に使うのだろう？

アキュムレータを生成する関数、すなわち、数nを取り、「数iを取ってnをiだけ増加させ、その増加した値を返す関数」を返す関数だ（「増加させる」に注意。ただ足すわけではない。アキュムレータ（蓄積器）だから蓄積されなければ）。
　Common Lispではこんなふうになるだろう。

(defun foo (n)
  (lambda (i) (incf n i))

『ハッカーと画家』- 第13章 付録 より

レキシカル環境を暗黙的でなく明示的に作るのとどう違うのだろうか？
というわけでＣ言語に翻訳してみた。

続きを読む