産総研でのトーク。 Makeは実は関数型プログラミング言語だった! という話。 (2003 8/1 増井)

AFSはUNIXファイルに(name=attrのような)属性の組を付加 させてバージョンコントロールやMakeに使おうというもの。 SCCS/RCSやMakeと同等の機能をもつツールを含む shapeツールキットで使われる。 属性情報はafs/というディレクトリ内におさめられる。 (この拡張がLampen_AFS2)

Makedependについて

Lampen_AFS1の拡張。 ヒストリ、ディレクトリ、バージョンなどを"Attributed Software Object"(ASO)という汎用のオブジェクトとして扱う。 オブジェクトには96ビットのidがついており、ファイル システムが移動しても追跡できる。ASOはAtFSのサブクラスで、 Attribute, User, SetなどもAtFSのサブクラスである。 このようにいろいろなものがオブジェクトになっており、 これを扱うシステム、言語が作られている(Mahler_ASO)

ちょっとたいそうな気がするが？UNIX上に作るのならあまり 頑張ってもしょうがないような気もするが... 分散OSでやった方がよいような？

Makeの開発者

★ CakeはMakeの以下のような問題点を解決する。 (1) 拡張子を使う規則しか書けない ・ a.c → a, a,v → a というような規則が書けない ・ ../src/a.c → a というような規則も書けない (2) 検索アルゴリズムが柔軟でない (.cが.yに依存し.oが.cに依存するとだけ規則に書いてあると .yから.oを作れない(.cがみつからないといわれる)ので このために.yから.oを作る規則がわざわざ書いてある) (3) 新しい規則を追加しにくい ★ これらの解決法は以下のとおり (1) 変数パタンを使った規則を書く %.o: %.c cc -c %.c (2) 途中のファイルが無い場合でも推論して続行する (3) CPPを通すようにして、#includeで規則を読みこむ。 ローカルな規則を簡単に導入できる ★ その他の拡張として ○ 動的規則がかける %.o: %.c ccincl %.c cc -c %.c ccinclは%.cの#includeをリストする ○ 条件式がかける %: RCS/%,v co -u %