第2回 関数型言語勉強会 大阪の発表資料です。

1. OCamlでpfffを拡張した話
2012.11.24
nakyau

2. 自己紹介
twitter : @nakau
職業 : webプログラマー
活動： IT系勉強会、ビール
関数型言語 : 趣味でF#,Scalaなど勉強中

3. 祝 !!
第２回関数型言語勉強会 大阪
http://www.flickr.com/photos/sjliew/1286367571

4. OCamlで
pfffを拡張した話

5. pfff
ぷふ

6. コード解析ツール

7. https://github.com/
facebook/pfff/

8. 構文grep/patch
$ sgrep -e ‘foo()’ ./
.//tests/php/sgrep/foo.php:3
foo();
.//tests/php/sgrep/foo.php:6
foo( ); // これもfoo();と同じ

10. 対応言語
PHP / Javascript / C / C++
Erlang / Python / Java
C# / Lisp / Scheme
Haskell / ml / Opa
HTML / CSS / SQL / Tex

11. 対応言語
PHP / Javascript / C / C++
Erlang / Python / Java
C# / Lisp / Scheme
Haskell / ml / Opa
HTML / CSS / SQL / Tex

12. 構文grep/patch
$ sgrep -e ‘foo()’ ./
.//tests/php/sgrep/foo.php:3
foo();
.//tests/php/sgrep/foo.php:6
foo( ); // これもfoo();と同じ

14. 拡張する言語

15. PIC
（図形生成用DSL）

16. はじめてのOCaml

17. 構文わからない
ググレカス
生没不詳

18. set -e; for i in ; do make -C $i all || exit 1; done
make[2]: Nothing to be done for `all'.
set -e; for i in ; do make -C $i all || exit 1; done
ocamlc -g -dtypes -thread -w +9 -w -21 -warn-error +a -
I ../../commons -I ../../commons/ocamlextra -I ../../
commons/lib-sexp -I ../../commons/lib-json -I ../../globals
-I ../../h_program-lang -c test_parsing_pic.ml
File "test_parsing_pic.ml", line 15, characters 17-35:
コンパイル通らない
Error: This pattern matches values of type
File_type.file_type
but a pattern was expected which matches values of
type
File_type.pl_type
make[2]: *** [test_parsing_pic.cmo] Error 2
make[1]: *** [rec] Error 1
make: *** [all] Error 2

20. 成果

21. lexer_pic.ml

22. $ ./pfff -help
Usage: pfff [options] <file or dir>
Options are:
...
-layer_stat <file>
-tokens_ml <file>
-parse_ml <files or dirs>
-dump_ml <file>
-refactor_grammar <subst_file> <file>
-parse_php <file or dir>
-tokens_php <file>
-parse_pic
-tokens_pic
<file>
<file>
←追加できた！

23. $ ./pfff -tokens_pic tests/pic/foo.pic
Tag4 ((".PS", (((".PS", 0, 1, 0, "tests/pic/foo.pic")), 0,
0)))
Tag2 (((("n", 3, 1, 3, "tests/pic/foo.pic")), 0, 0))
Tag4 (("ellipse", ((("ellipse", 4, 2, 0, "tests/pic/
foo.pic")), 0, 0)))
Tag1 ((((" ", 11, 2, 7, "tests/pic/foo.pic")), 0, 0))
Tag5 (("document", (((""document"", 12, 2, 8, "tests/pic/
foo.pic")), 0, 0)))
((((";", 22, 2, 18, "tests/pic/foo.pic")), 0, 0))
Tag2 (((("n", 23, 2, 19, "tests/pic/foo.pic")), 0, 0))
Tag4 (("arrow;", ((("arrow;", 24, 3, 0, "tests/pic/
foo.pic")), 0, 0)))
Tag2 (((("n", 30, 3, 6, "tests/pic/foo.pic")), 0, 0))
Tag4 (("box", ((("box", 31, 4, 0, "tests/pic/foo.pic")), 0,
0)))
Tag1 ((((" ", 34, 4, 3, "tests/pic/foo.pic")), 0, 0))
Tag5 (("fIgpicfP(1)", (((""fIgpicfP(1)"", 35, 4,
4, "tests/pic/foo.pic")), 0, 0)))

24. まだ開発途中

25. 感想 ＆ まとめ

26. プロジェクトに
乗っかると
勉強しやすい

27. トイプログラム
からの脱却

28. プロジェクト参加推奨

29. pull requestしなければ
どうということはない

30. エア参加

31. 免責事項

32. pfff 動かない

33. おしまい

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