1. Goでプログラミング言語
（の途中まで）を
作ろう
esehara shigeo

2. お前
誰だ

3. esehara shigeo
ただのWeb系プログラマー
(Python使い)

4. Webプログラマーに
ありがちな中二病

5. Lisp
※皆様がいるカンファレンスはGo Conです。安心してください。

6. Lispが持つ病
1. 関数型言語カッコイイ！
2. 関数型言語の元祖といえばLisp！カッ
コイイ！（括弧なだけに）
3. コンピューターサイエンス、Artifact
Intelligenceの分野でも活躍！
Awesome！
4. Lispが使いこなせると構文木も自由自
在！

7. Lispは
もっとも美しい
言語
※皆様がいるカンファレンスはGo Conです。安心してください。

8. 全ての言語は
S式を
信じられない
人間によって作ら
れる

9. 「Lispはエリート向けの言語」

11. LL系プログラマーに
ありがちな中二病

12. C言語
※皆様がいるカンファレンスはGo Conです。安心してください。

13. C言語が持つ病
1. 「Lightweight Languageって所詮富豪
プログラミングだよねー」
2. 「Lightweight Languageって所詮ポイ
ンタとかメモリアドレスとか知らないんで
しょ」
3. 「Lightweight Languageってコンパイル
のこととか所詮わからないんでしょ」

14. 屈辱ッ！

15. でもC言語は
つらぽよ……

16. そんな貴方の
ための！！

18. Go
※皆様がいるカンファレンスはGo Conです。安心してください。

19. 前置きは
ここまで

20. そもそもプログラミング言語
処理ってなに？

21. How to Create Your Own
Programming Language
http://createyourproglang.com/

22. “The book I want to read.”

23. プログラミング言語処理の流れ
『Create your own language』より

24. 字句解析(Tokenize)
とは？

25. 文字のカタマリ
によって
その文字が
何に属するのか
を分析する

26. 例: Haskell 2010 Language Report
literal -> integer | float | char | string
digit -> ascDigit | uniDigit
ascDigit -> 0 | 1 | … | 9
uniDigit -> any Unicode descimal decit
decimal -> digit{digit}
integer -> decimal

27. Goで
字句解析器を作ろう

28. packageに
あるよ！
＞
Tips: 困ったら公式のGoのpackageのソースを読みましょう

29. go/scanner

30. 使える
http://www.oki-osk.jp/esc/golang/lisp.html

31. とはいえ、
このSourceを入れ替えて
使うのはつらいので

32. 自動
生成

33. Ragel :: State Machine Compiler

34. Ragel compiles executable
finite state machines from
regular languages. Ragel
targets C, C++, ObjectiveC, C#, D, Java, Ruby,
OCaml and
Go.

35. そして

37. Rust班も頑張ってる（まだ非公式）

38. Ragelの書きかた
# ---- Literal ---string = ("'" . (any - "'")* . "'")
|('"' . (any - '"')* . '"');
integer = digit+;
atom = (alpha (alpha | digit)* );
# ---- Operator ---operator = "+" | "-" | "*" | "/";
main := |*
atom => {
material := Ore{
Token: ATOM,
Value: data[ts:te],
}
material.Research()
ores = append(ores, material)
};
String => {
material := Ore{
Token: STRING,
Value: data[ts:te],
}
material.Research()
ores = append(ores, material)
};
….

39. 二つの流れ
どの文字の規則を
トークンとして定義するか？
トークンをどのように
管理するか？

40. 文字の規則とトークン
# ---- Literal ---string = ("'" . (any - "'")* . "'")
|('"' . (any - '"')* . '"');
integer = digit+;
atom = (alpha (alpha | digit)* );
# ---- Operator ---operator = "+" | "-" | "*" | "/";

41. Ragelによる図式化

42. トークンの処理
main := |*
atom => {
material := Ore{
Token: ATOM,
Value: data[ts:te],
}
material.Research()
ores = append(ores, material)
};

43. トークンの管理方法
type Ore struct {
Token Token // int
Name string
}

44. トークンの定義
const(
//Special Token
ILLEGAL Token = iota
EOF
COMMENT
begin_define_literal
ATOM
STRING
INTEGER
end_define_literal
………
)
参考: go/token

45. このように作った
トークンの順序を
構文解析する

46. Goで
構文解析器を作ろう

47. toolに
あるよ！
＞

48. go tool yacc
Yacc is a version of yacc for Go.
It is written in Go and generates parsers written in Go.
(公式より)

49. yaccとは？
Yet Another
Compiler Compiler

50. go yaccの書きかた
%type <val> ATOM, STRING, OPERATOR, BINDER, DEFINE
%type <val> ARG
%type <val> action, Expression
%type <values> StringExpression, AtomExpression
%%
%{
package casting
import (
"fmt"
"..
/miner"
)
%}
%union {
tok int
val interface{}
values Val
box Box
}
%token ATOM STRING
%token ARG
%token OPERATOR BINDER DEFINE
%token ROUNDPAREN_O ROUNDPAREN_C
action:
ATOM {
var v Value
v = Box{Type: ATOM, Value: $1,}
yylex.(*lex).NewBox(v)
}
| Expression {
if val, ok := $1.(Val); ok {
yylex.(*lex).root = val
}
}
...

51. 何してるの？
トークンの順序を
解釈しやすいように再構築

52. 利用するトークンの定義
%token ATOM STRING
%token ARG
%token OPERATOR
%token BINDER DEFINE
%token ROUNDPAREN_O
ROUNDPAREN_C

53. ここで一つ
問題が

54. Ragelで宣言したトークンと
go yaccで宣言したトークンは
お互いどういう対応に
なってるかを知らない

55. 対応させましょう
var oretokens = [...]int {
miner.ATOM: ATOM,
miner.STRING: STRING,
miner.OPERATOR: OPERATOR,
miner.BINDER: BINDER,
miner.ROUNDPAREN_O: ROUNDPAREN_O,
miner.ROUNDPAREN_C: ROUNDPAREN_C,
}
func toToken(ore miner.Ore) int {
return oretokens[ore.Token]
}

56. もう一つ
問題が

57. Go yaccで宣言したトークンが
どのような型になってるべきか
を教えてないといけない

58. トークンの型定義
%union {
tok int
val interface{}
values Val
box Box
}
%type <val> ATOM, STRING, OPERATOR, BINDER,
DEFINE
%type <val> ARG
%type <val> action, Expression
%type <values> StringExpression, AtomExpression

59. あとは
抽象構文木を
作成しよう

60. 抽象構文木とは
http://en.wikipedia.org/wiki/Abstract_syntax_tree

61. 抽象構文木 =
Node =
配列の入れ子

62. 例

63. Goで
抽象構文木を歩こう

64. packageに
あるよ！
＞
Tips: 困ったら公式のGoのpackageのソースを読みましょう

65. go/ast
Package ast declares the types used to represent
syntax trees for Go packages. (公式より)
※実はPythonにも標準パッケージとしてあります

66. ネタが尽
きました

67. おまけ

68. 関数宣言の
管理

69. 関数宣言の管理とGlobal Environment
http://www-inst.eecs.berkeley.edu/~cs61a/sp12/book/

70. Global
Environment
は一つ

71. シングルトン
だ！

72. トークンの型定義
type Env interface{}
type envs []Env
var environment envs
type EnvValue struct {
Name string
Val Env
}
func AccessEnv() *envs {
return &environment
}

73. DEMO

74. Go languageで大切なこと

75. 標準Package
の
ソースは
宝の山

76. さしずめこんな感じ

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

79. https://github.com/
esehara/Perid