1. OCamlによるプロダクト開発
∼ポータビリティを確保したミドルウェアの実現∼
合同会社フィールドワークス
梶田健史

2. 自己紹介 (1)
梶田健史（かじたけんじ）
仕事 合同会社フィールドワークス プログラマ兼代表
Blog http://field-notes.hatenablog.jp/
Twitter @field_works
同い年の有名人：
山本昌（中日ドラゴンズ）
小泉今日子（女優・歌手）
尾美としのり（俳優）
古田新太（俳優）

3. 自己紹介 (2)
合同会社フィールドワークス / Field Works, LLC.
設立 2007年5月
業務内容
PDF関連ソフトウェア製品の企画・開発・販売
PDFテンプレートエンジン「Field Reports」
クラウド帳票サービス「Field Reports for Cloud(β)」
ソフトウェア受託開発
URL http://www.field-works.co.jp/
所在地 愛知県春日井市

4. なぜOCamlか？

5. 製品コンセプト
ポータブルな帳票ツール（ミドルウェア）
⇒どんなシステムにも組み込んで利用できる！（稼働環境の変化にも強い）
マルチプラットフォーム
Linux，Windowsは必須
マルチプログラミング言語
いわゆるLL言語（Ruby, Python, PHP）とJVM, .NET
⇒どこでも／だれでも帳票設計ができる！
PDF自体をテンプレートとして利用
⇒特別なSDKや帳票エディタも不要（開発費削減にも貢献）
⇒Excel方眼紙を元にテンプレートが作成できる。

6. ポータビリティを実現するための実装言語は？
C++
常識的に考えれば最も適した言語
⇒でも，メモリ管理が大変（もう疲れたよ，パトラッシュ…）
.Net/JVM系言語
⇒できれば，C形式共有ライブラリとして提供したい。
Lisp / Scheme
Gambit, Bigloo, ChickenあたりはCコードを出力できるらしい。
⇒でも，スクラッチから開発するのは工数がかかりそう。
OCaml
C共有ライブラリを作れるのは良いけど，ちょっと構文が …
⇒しかし，CamlPDFという良さそうなPDFライブラリを発見！
⇒言語仕様というよりも処理系の実装に惹かれて採用を決定

7. 設計と実装

8. PDFテンプレート：静的要素を記述
レンダリングパラメータ：動的要素を記述
レンダリング機能：OCamlで実装
言語Bridge：各言語の拡張ライブラリとして実装
内部構成

9. 下絵となるPDFを作成する
オフィスソフト（Excel，Wordなど）
DTPソフト（Illustrator，InDesignなど）
PDFテンプレート(1)

10. Acrobatでフィールドを配置する
PDFに配置したフィールドをプレースフォルダとして利用
表形式に並べるのをサポートする機能もある。
PDFテンプレート(2)

11. テンプレートの構成とフィール
ドに設定する値を記述する。
フィールド値は（フィールド名，
値）の組で表現
できるだけI/Fの結合が疎にな
るように設計
言語Bridge内で，ネイティブ
データ構造をJSONに変換
レンダリングパラメータ

12. レンダリング機能（1）

13. レンダリング機能（2）
OCaml 3.12.1で開発
使用ライブラリ
CamlPDF（Coherent Graphics社製）
ExtLib，json-wheel，cryptokit（できるだけ軽いものを選択）
C共有ライブラリを生成
ocamlopt -output-obj で，C形式オブジェクトを出力
各ＯＳのリンカーで，共有ライブラリ・DLLを作成
⇒実際には，メモリ管理やエラー処理が難しいので，
薄いラップ層を介して言語Bridgeから利用する。

14. 言語Bridge
５つのAPIを用意するだけなので，実装は比較的容易
Python, Ruby, PHP, Perl
⇒拡張ライブラリとして実装
⇒ネイティブデータ構造→JSON変換を内包
JVM
⇒JNIライブラリとして実装
.NET
⇒アンマネージコードを呼び出すライブラリをC#で実装
⇒COMインターフェースも公開（Excelからでも呼び出せる！）
言語Bridgeのソースを添付
⇒マイナー言語への移植も可能

15. マルチプラットフォームの実現
Linux, Windows, Mac OS X対応
⇒32bit/64bit対応しているので，実質計６プラットフォームに対応
⇒基本的にOCamlがサポートしているアーキテクチャであれば対応可能
（以前はMac OSのPPCにも対応していたが，現在は廃止）

16. OCamlを使ってみての評価

17. OCamlの習得について
初期状態
関数型言語の実務経験なし
Lisp, Scheme, ML, OCamlの本を何冊か読んだ程度
⇒正直，関数型で実務コードが書ける気がしなかった。
1ヶ月目
OCamlPDFのソース解析から着手
ガチ関数型でなく，良い意味で肩の力の抜けたコード
⇒ちょっと，安心
3ヶ月目
普通にコーディングできるようになったかな？
⇒ただし，現在に至るもOCamlの基本的な機能しか使っていない

18. OCamlの記述性について
コードの生産性
プログラム規模：15,000行程度
⇒感覚的には，C#/Javaと比較して半分程度？
OCamlで書ききれなかった処理
プログラミング言語Bridge
Cライブラリ呼び出し
⇒libcurl連携，システムコール（ハードウェア情報取得など）
文字コード変換
⇒一部データで32bitが必要になったためCに置き換え
match式べんり！
PDFオブジェクトの型により分岐する処理が非常に書きやすい。
⇒OOPだと，Visitorパターンを多用し煩雑になりがち

19. パフォーマンス
測定結果
単ページの帳票 ⇒ 20枚/秒
10,000ページの帳票 ⇒ 45分
（Core 2 Quad 2.66GHz，メモリ4GB）
バイナリデータの処理
フォント，画像などバイナリデータの処理もOCamlで記述
⇒特にボトルネックにはなってなさそう。
※ただし，getByte的な関数を末尾再帰で回す力ずくの実装

20. 今後の課題
OCaml 4.0対応
OPAMのWindows対応を待っているが，無理？
テスト環境の拡充
単体テスト
⇒少ないです。すいません。
結合テスト
⇒テストパターンを自動生成。ただし，確認は目視
2.0版リリース遅れ
組版機能の確認に手間取っている。

21. ご清聴ありがとうございました。