自己紹介

• Name : Takuto Wada
• github : @twada
• twitter : @t_wada
• hatena : id:t-wada

power-assert を作るきっかけ

• アサーション失敗時の情報量を大幅に増やすことができるPower Assertの系譜 - Togetterまとめ
• chai/should/expect.js 覚えること多くて煩わしい
• 自分で作ろうと思い立った(2013/01/08)

AST 変換

• power-assert は最初から AST 変換で実現しようと考えていた
• Groovy の Power Assert が AST 変換を行っているらしいことは何となく知っていた
• Groovy 1.7 Power Assert
• パワーアサート(Power Assert)の真の意味
• Groovy 1.7のキモはAST変換である
• 実装を見てはいないので、 Groovy の Power Assert が最近 AST 変換を行っていないらしいことは知らなかった…!

(少し遡って)東京Node学園祭2012

• 東京Node学園祭2012に参加
• 結果的にかなり影響を受けた
• isaacs, substack, mikeal
• Node.js の世界には Unix 哲学が受け継がれていることが分かった
• 同日に Constellation さんによる ECMAScript tools の発表もあった

コンストさんウエア

• ECMAScript AST といえば Constellation さん(通称コンストなんとかさん)
• コンストなんとかさんの発表後に質問して AST のことをいろいろ教えて貰う
• (そのときは C1 以上のカバレッジツールが作りたかった)
• ECMAScript tools - composable modules and transpiler infrastructure
• Escodegen and Esmangle: Using Mozilla JavaScript AST as an IR

やりたいことがつながった

• 実装の方針はおぼろげにわかる
• 道具としては esprima + escodegen がある
• あとはひたすら Mozilla Parser AST を動かして学ぶ
• SpiderMonkey Parser API: A Standard For Structured JS Representations
• 学びをテストとコードに落とす

開発第一期

• 2013/01/08 - 2013/01/14
• 最初のコミットは Togetter のつぶやきの二時間後(2013-01-08 18:52:26)
• 一日後にはテスト基盤ができあがっていた
• 三日間で131コミットして概ねできあがる
• しかし、その後しばらく放置
• 実は『SQLアンチパターン』出版直前でそれどころではなかった
• つまり 逃避駆動開発 だった

開発第二期

• 2013/02/05 - 2013/02/08
• 『SQLアンチパターン』出版を終えて開発再開
• 主に行ったことは formatter の切り出し
• この頃はまだ QUnit + QUnit-TAP で書いていた
• 概ねやりたいことはできているが、まだ納得感が足りない
• 本業が忙しくなり(年度末!)、またしばらく放置

開発第三期

• 2013/03/31 - 2013/04/18
• エイプリルフール前日に、明日ならジョークとして出せるのではと突然思った
• しかし弄っているうちにだんだん本気になり、きちんと公開しようと考え直す
• 二つの設計判断を行う
• Now empower.js takes JS AST
• Using Universal Module Definition (UMD) pattern
• アーキテクチャ的には迷走(内部で EventEmitter みたいなの作ったりとか)

アイデアを寝かせて練り直す

• Rich Hickey (Clojure 作者)の講演に指針を得る
• Keynote: Simplicity Matters - Rich Hickey - RailsConf 2012
• シンプルさの必要性(上記抄訳)
• simple と easy は異なる
• Hammock Driven Development - Rich Hickey - YouTube
• 正しい問いを解く。目的を問い直す。
• 「テストを書くためだけに覚えなければならないことを減らしたい」

開発第四期(1)

• 2013/07/17 - 2013/08/11
• 07/22: インターフェイスを assert 互換にすることをひらめく
• diff が一行になり、ようやく納得のいくインターフェイスにたどり着いたと確信
• 軸足が QUnit から Mocha に移る

    --- a/test/your_test.js
    +++ b/test/your_test.js
    @@ -1,4 +1,4 @@
    -var assert = require('assert');
    +var assert = require('power-assert');

開発第四期(2)

• 07/23: Eventベースのアーキテクチャを廃止
• 07/24: 自分で出力するのもやめてアサーションメッセージを作るライブラリに特化
• 東京Node学園 10時限目で公開を決意
• espower というモジュール名を思いつく(esナントカにしたかった)
• 08/09: substack pattern に従いモジュールを分割(espower, empower)
• 専用の Grunt タスク grunt-espower を開発

東京Node学園 10時限目で公開

• 講演資料: power-assert in JavaScript
• 講演動画: ▶ 新しいテストライブラリのご提案 #tng10 @t_wada - YouTube
• そして power-assert 0.1.0 を公開

AST 変換側アーキテクチャ

実行時アーキテクチャ

最近のこと(1)

• espower-loader: 禁断の果実、モジュールローダーに手を出す
• テストコードのロード時に透過的に power-assert 化を行う
• これで Node.js 上での power-assert 利用は AST 変換を意識しなくてよくなる
• intelli-espower-loader の登場でさらに一手減る

最近のこと(2)

• instrumentor を可能な限り薄くするアーキテクチャを進める
• easy さの層と simple さの層を分ける
• espower: AST to AST (simple)
• espower-source: Source to Source
• espower-source には SourceMap 対応も追加(ほとんど azu さんの功績 その1, その2)
• 各 instrumentor: ファイルパス to ファイルパス (easy)
• PhantomJS と戦った結果 espowerify が生まれる

最近のこと(3)

• ドキュメントが突然充実し始める(ほとんど azu さんの功績)
• power-assertの使い方 Node.js編 | Web scratch
• power-assertでJavaScriptのテストをする ブラウザ編 | Web scratch
• ブラウザ側のユースケースが充実する
• 結果としてユーザが増え始める

最近のこと(4)

• リリース 0.6.0: 実行時への情報の伝播
• Sendagaya.jsでコンストさん azu さんと長時間議論して着想を得る
• メタ AST (AST の AST を生成して AST に埋め込み)
• estraverse で実行時にツリー解析
• コンテキストの評価を遅延可能に
• コンテキスト diff に取り組めるようになった
• (乞うご期待)

ふりかえってみて

• Node.js が Unix 文化を重んじているという発見は大きかった
• Rich Hickey の講演に出会えたのも大きかった
• substack のやりかたも非常に参考になった
• アルファユーザかつエバンジェリストの azu さんにはただただ感謝

Special Thanks to

• isaacs, substack, mikeal
• Rich Hickey
• Constellation さん
• azu さん