Slide 1
Slide 1 text
Go Ͱͭ͘Δ൚༻ݴޠॲཧܥ
࣮ઓུ
General-purpose Programming Language
implemented with Go
@ Go Con 2017 Spring
Slide 2
Slide 2 text
@Linda_pp
@rhysd
Slide 3
Slide 3 text
ΞδΣϯμ
• ؔܕݴޠ GoCaml
• GoCaml ͷ࣮ with Go&LLVM
• Զݴޠͷ࣮ઓུ
Slide 4
Slide 4 text
ؔܕݴޠ GoCaml
Slide 5
Slide 5 text
GoCaml ͱ
• ϛχϚϧͳ OCaml ͷαϒηοτ
• ࣮4000ߦఔ
• ੩తܕ͚ɼܕਪ
• MinCaml (※) ͷ࣮ϕʔε
• https://github.com/rhysd/gocaml
˞IUUQTHJUIVCDPNFTVNJJNJODBNM
let rec gcd m n =
if m = 0 then n else
if m <= n then gcd m (n - m) else
gcd n (m - n) in
print_int (gcd 21600 337500)
Slide 6
Slide 6 text
GoCaml ͷจ๏ʢԋࢉʣ
• ϓϩάϥϜʢunit ܕʹධՁ͞ΕΔʣ1ͭͷࣜ
• γʔέϯεࣜɼԋࢉɼදࣔ
(* GoCaml: e1; e2 *)
1; 2; 3;
-(1 + 2) * 10;
3.14 *. 3.0 *. 3.0;
print_bool true;
()
/* Go */
func main() {
1; 2; 3
-(1 + 2) * 10
3.14 * 3.0 * 3.0
fmt.Printf("%v", true)
}
Slide 7
Slide 7 text
GoCaml ͷจ๏ʢมʣ
• มఆٛ
(* GoCaml: let e1 in e2 *)
let r = 9.0 in
let pi = 3.14 in
let area = r *. r *. pi in
print_float area;
(* ࠶ఆٛʢshadowingʣ OK
*)
let r = 4 in
let area = r * r in
print_int area
/* Go */
func main() {
r := 9.0
pi := 3.14
area := r * r * pi
fmt.Print(area)
{
r := 4
area := r * r
fmt.Print(area)
}
}
Slide 8
Slide 8 text
GoCaml ͷจ๏ʢؔʣ
(* GoCaml *)
(* ؔఆٛ & ద༻*)
let rec squre x = x *. x in
squre 3.0;
(* Ϋϩʔδϟ *)
let PI = 3.14 in
let rec f d = PI *. d *. d in
(* ؔͱͯ͑͠Δ *)
let rec compose f g =
let rec h x = f (g x) in h
in
let f =
compose squre squre
in
/* Go */
func squre(x float64) float64 {
return x * x
}
func main() {
squre(3.0)
PI := 3.14
circle := func(d float64) float64 {
return PI * d * d
}
type F func(f float64) float64
compose := func(f F, g F) F {
return func(x float64) float64 {
return g(f(x))
}
}
f := compose(squre, squre)
}
Slide 9
Slide 9 text
GoCaml ͷจ๏ʢtuple, arrayʣ
(* GoCaml *)
let arr = Array.make 4 42 in
print_int arr.(3) in
arr.(3) <- 99;
print_int arr.(3)
let tpl = 1, true, "aaa" in
let (i, b, s) = tpl in
print_int i;
print_int b;
print_int s;
/* Go */
func main() {
arr := make([]int, 4)
for i := range arr {
arr[i] = 42
}
fmt.Print(arr[3])
arr[3] = 99
fmt.Print(arr[3])
tpl := struct {
i int
b bool
s string
}{ 1, true, "aaa" }
i, b, s := tpl.i, tpl.b, tpl.s
fmt.Print(i)
fmt.Print(b)
fmt.Print(s)
}
Slide 10
Slide 10 text
GoCaml ͷͦͷଞͷݴޠػೳ
• C extension
• GC (Boehm GC)
• gdb ͰσόοάͰ͖Δ
• ϦϙδτϦͷ examples σΟϨΫτϦʹ͏গ͠ෳ
ࡶͳྫ͕͋Γ·͢
• brainfxxk, N-queens, Xorshift128+, …
Slide 11
Slide 11 text
GoCaml ͷ࣮
w/ Go & LLVM
Slide 12
Slide 12 text
ίϯύΠϥ࣮ͷجຊํ
ιʔείʔυจࣈྻ → ࣮ߦܗࣜόΠφϦ
ͷม
நɿେ → খ
Ұؾʹม͢Δͷ͍͠ͷͰɼঃʑʹநΛམͱͨ͠σʔλߏΛఆٛ͠ɼ
ঃʑʹநΛԼ͍͛ͯ͘
ιʔείʔυ → ߏจ → ܕ͖தؒදݱ → LLVM IR → ΞηϯϒϦ → ػցޠ
Slide 13
Slide 13 text
GoCaml ͷίϯύΠϥ࣮
ιʔε
ίʔυ
τʔΫ
ϯྻ
நߏ
จ
தؒද
ݱ
--7.
*3
Ξηϯ
ϒϦ T
ΦϒδΣ
Ϋτ P
࣮ߦϑΝ
Πϧ
ϥϯλ
ΠϜ P
ϥϯλ
ΠϜ D
Slide 14
Slide 14 text
GoCaml ͷίϯύΠϥ࣮
ιʔε
ίʔυ
τʔΫ
ϯྻ
நߏ
จ
தؒද
ݱ
--7.
*3
Ξηϯ
ϒϦ T
ΦϒδΣ
Ϋτ P
࣮ߦϑΝ
Πϧ
ϥϯλ
ΠϜ P
ϥϯλ
ΠϜ D
(PͰࣗલ࣮
--7.
$ίϯύΠϥ
ϦϯΧ
ࣈ۟ղੳ ߏจղੳ ͍Ζ͍Ζ
Slide 15
Slide 15 text
LLVM (http://llvm.org/) ͱ
• ίϯύΠϥͷόοΫΤϯυ෦ΛϞδϡʔϧԽͯ͠ఏ
ڙ͢ΔϥΠϒϥϦ܈
• GoCaml Ͱ LLVM IR ͱݺΕΔ LLVM ಠࣗͷதؒݴ
ޠ͔Β࠷దԽ&ωΠςΟϒίʔυΛੜ͢Δͷʹ͏
• ࣮ C++ Ͱ C ͔Β͑Δ API ͱɼ֤ݴޠ͔Β͑
ΔόΠϯσΟϯάʢެࣜʹ Python, OCaml, Goʣ͕
͋Δ
Slide 16
Slide 16 text
ࣈ۟ղੳ
• ྫ͑ “let a = 42 in a + b” Λ “let”, “a”, “=“, “42”, “in”, “a”, “+”, “b” ʹ
ղ͢Δॲཧ
• ݹయతʹɼจࣈྻΛ1จࣈͣͭݟ͍ͯͬͯରԠ͢ΔτʔΫϯΛੜ͢
Δ
• Lexer Goroutine Ͱ࣮ߦ͞ΕɼτʔΫϯ channel Λ௨ͯ͡ύʔα
ʹૹΒΕΔ
• Go ͷ text/template ͷ࣮Λࢀߟʹ
• https://github.com/golang/go/blob/master/src/text/template/parse/lex.go
ιʔε
ίʔυ
τʔΫ
ϯྻ
ࣈ۟ղੳ
Slide 17
Slide 17 text
ߏจղੳ
• τʔΫϯྻ͔ΒϓϩάϥϜΛߏͰද͢நߏจʹม͢Δ
• Go ެࣜπʔϧͷ goyacc Λͬͯ YACC ͰύʔαΛఆٛ͠ɼGo
ͷίʔυΛੜ͢Δ
• https://godoc.org/golang.org/x/tools/cmd/goyacc
• YACC ͷจ๏ΛֶͿͷ RHG ͷ͕͓͢͢Ί
• http://i.loveruby.net/ja/rhg/book/yacc.html
MFUBJOB
MFUB
JOU
WBSB JOU
τʔΫ
ϯྻ
நߏ
จ
ߏจղੳ
Slide 18
Slide 18 text
நߏจٛͷఆٛ
• ϊʔυͷΠϯλʔϑΣʔε Node ͱɼ֤ϊʔ
υͷ۩ମతͳܕΛߏମͰఆٛ
• go/ast ͱ΄΅ಉ͡ʢ https://golang.org/pkg/
go/ast/ ʣ
Slide 19
Slide 19 text
package main
import (
"github.com/rhysd/gocaml/ast"
"github.com/rhysd/gocaml/lexer"
"github.com/rhysd/gocaml/token"
"github.com/rhysd/gocaml/parser"
)
func (c *Compiler) Parse(src *Source) (*ast.AST, error) {
// ࣈ۟ղੳΛߦ͏ Lexer ͷΠϯελϯε
l := lexer.NewLexer(src)
// Τϥʔϋϯυϥ
l.Error = func(msg string, pos token.Position) {
panic("error")
}
// Goroutine Λ࣮ͬͯߦɼl.Tokens channel ʹτʔΫϯ͕ૹΒΕͯ͘Δ
go l.Lex()
// ύʔα channel ͝͠ʹτʔΫϯΛड͚औͬͯߏจΛͭ͘Δ
ast, err := parser.Parse(l.Tokens)
if err != nil {
return nil, err
}
return ast, nil
}
Slide 20
Slide 20 text
தؒදݱͷม
• ͕͜͜ࠓճͷ࣮ͷதͰҰ൪ॏ͍
• ߏจ͔ΒதؒݴޠͷมΪϟοϓ͕େ
͖͍ͷͰঃʑʹநΛམͱ͍ͯ͘͠
BEGIN: program
a$t1 = int 42 ; type=int
$k4 = int 10 ; type=int
$k5 = binary + a$t1 $k4 ; type=int
$k6 = appx print_int $k5 ; type=()
END: program
நߏ
จ
தؒද
ݱ
͍Ζ͍Ζ
MFUB
JOU
WBSB JOU
Slide 21
Slide 21 text
தؒදݱͷม
ߏจ Ћม
ܕਪ
ʢܕνΣοΫʣ
தؒදݱͷϑΥʔ
Ϛοτม
Ϋϩʔδϟ
ม
நߏ
จ
தؒද
ݱ
Slide 22
Slide 22 text
ߏจΛᢞΊΔʢvisitorʣ
• ߏจͷ֤ϊʔυΛ८ΔͨΊʹ visitor ύλʔϯΛ͏
ʢਂ͞༏ઌʣ
• visit ͷڍಈΛ੍ޚͰ͖ΔΑ͏ʹ͢Δʢvisit ΛଧͪΔ
ͳͲʣ
• ܕਪߏจͷղੳɼҙຯνΣοΫɼதؒݴޠͷ
ม͜ΕΛ༻͍Δ
• go/ast ͷ ast.Visit ͱಉ͡
Slide 23
Slide 23 text
ߏจΛᢞΊΔʢvisitorʣ
// Visitor ͷΠϯλʔϑΣʔεɽ͜ΕΛ࣮ͨ͠ܕߏจΛ traverse Ͱ͖Δ
type Visitor interface {
// ߏจͷϊʔυΛड͚औͬͯʮࢠͷ visit ʹ͏ visitorʯΛΓͰฦ͢
// nil ͳΒͦ͜Ͱ visit ऴྃ
Visit(n Node) Visitor
}
// Visitor Λߏจʹద༻
func Visit(v Visitor, n Node) {
if v = v.Visit(n); v == nil {
return
}
// ࢠʹ࠶ؼతʹద༻
switch n := n.(type) {
case *Add:
// ͠ࢉϊʔυͷͱ͖
Visit(v, n.Left)
Visit(v, n.Right)
case *If:
// ...
// શͯͷࢠ͕͋ΔϊʔυͷࢠΛ visit
}
}
Slide 24
Slide 24 text
αม
֤γϯϘϧʢ֎෦γϯϘϧҎ֎ʣʹ ID Λৼͬ
ͯม໊ΛҰҙʹ͢Δɽ͜ΕͰείʔϓΛج
ຊతʹؾʹ͠ͳͯ͘ྑ͘ͳΔ
ߏจ Ћม
// Go ٖࣅίʔυ
func do_something () {
x := 42
y := "aaa"
{
x := true
}
}
// Go ٖࣅίʔυ
func do_something$1 () {
x$2 := 42
y$3 := "aaa"
x$4 := true
}
Slide 25
Slide 25 text
ܕਪ
• γϯϓϧͳ Hindley-Mlner ܕਪΞϧΰϦζϜ
• ߏจͷ֤ϊʔυʹܕΛ͚͍ͭͯ͘
• visit ͨ࣌͠Ͱܕ͕ෆ໌ͳͱ͜ΖܕมΛಋೖ͠ɼʮݱ࣌Ͱෆ໌ʯͱͯ͠
͓͘ɽ࠷ऴతʹͦͷมͷ͕͔Ε OKɽ
• ܕมʹ͍ͭͯͷ࿈ཱํఔࣜΛཱͯͯͦΕΛղ͘ײ͡ʢʮղ͘ʯॲཧΛ
unification ͱ͍͏ʣ
• ྫ͑ྻΞΫηε e1.(e2) Ͱ͋Ε e1 ͷܕྻʢཁૉܕͷܕෆ໌ʣɼ
e2 ͷܕ intɼධՁ݁Ռ e1 ͷཁૉܕʢ͜ͷ࣌Ͱ۩ମతʹͦΕ͕Կ͔
͔Βͳ͍ʣͱ͍ͬͨ͜ͱ͕͔ΔͷͰɼͦΕΛίʔυʹམͱ͍ͯ͘͠
Ћม
ܕਪ
ʢܕνΣοΫʣ
Slide 26
Slide 26 text
// Go ٖࣅίʔυ
func lessFirst(a, b) {
x := a[0]
y := b[0]
return x < y
}
func main() {
p := []int{1}
lessFirst(p, p)
}
• lessFirst : ? -> ? -> ?
Slide 27
Slide 27 text
• lessFirst : (? array) -> ? -> ?
• x : ?
// Go ٖࣅίʔυ
func lessFirst(a, b) {
x := a[0]
y := b[0]
return x < y
}
func main() {
p := []int{1}
lessFirst(p, p)
}
Slide 28
Slide 28 text
• lessFirst : (? array) -> (? array)
-> ?
• x : ?
• y : ?
// Go ٖࣅίʔυ
func lessFirst(a, b) {
x := a[0]
y := b[0]
return x < y
}
func main() {
p := []int{1}
lessFirst(p, p)
}
Slide 29
Slide 29 text
• lessFirst : (? array) -> (? array)
-> bool
• x : int ͔ bool ͔ float
• y : int ͔ bool ͔ float
// Go ٖࣅίʔυ
func lessFirst(a, b) {
x := a[0]
y := b[0]
return x < y
}
func main() {
p := []int{1}
lessFirst(p, p)
}
Slide 30
Slide 30 text
• lessFirst : (? array) -> (? array)
-> bool
• x : int ͔ bool ͔ float
• y : int ͔ bool ͔ float
• main : () -> ?
• p : (int array)
// Go ٖࣅίʔυ
func lessFirst(a, b) {
x := a[0]
y := b[0]
return x < y
}
func main() {
p := []int{1}
lessFirst(p, p)
}
Slide 31
Slide 31 text
• lessFirst : (int array) -> (int
array) -> bool
• x : int ͔ bool ͔ float
• y : int ͔ bool ͔ float
• main : () -> ()
• p : (int array)
// Go ٖࣅίʔυ
func lessFirst(a, b) {
x := a[0]
y := b[0]
return x < y
}
func main() {
p := []int{1}
lessFirst(p, p)
}
Slide 32
Slide 32 text
ܕਪͷϝϦοτɾσϝϦοτ
• ܕ͕߹Θͳ͍ or ܕม͕ͬͯ͠·ͬͨ࣌ Τϥʔʹͳ
Δ
• ܕਪʹΑΓɼܕΛҰॻ͔ͳͯ͘ྑ͍ʢෳࡶͳؔͷγ
άωνϟͳͲʣ
• ܕ͕߹Θͳ͍Τϥʔ͕ग़ͨͱ͖ʹਓؒʹͱͬͯΘ͔ΓͮΒ
͍
• ࠶ؼతͳܕʢؔͷҾʹͦͷؔࣗΛ༩͑ͨ࣌ͳͲʣ
͕ਪͰ͖ͳ͍ͷͰ͕ඞཁ
Slide 33
Slide 33 text
தؒදݱͷఆٛ
ܕਪ
ʢܕνΣοΫʣ
தؒදݱͷϑΥʔ
Ϛοτม
CJOU
C
JG
#
#
C
C
BQIJ#
#
B
BQQQSJOU@JOU
let b = 1 in
let a =
if b > 0 then
b + 10 - 4
else
b - 10
in
print_int (a * 2)
# #
#
#
Slide 34
Slide 34 text
தؒදݱͷఆٛ
ܕਪ
ʢܕνΣοΫʣ
தؒදݱͷϑΥʔ
Ϛοτม
CJOU
C
JG
#
#
C
C
BQIJ#
#
B
BQQQSJOU@JOU
• ໋ྩ
• {register} = rhs
• ϨδελͷೖҰ
͖ΓʢSingle Static
Assignmentʣ
• ӈลʹ1ͭͷૢ࡞ͷΈ
͕هड़Ͱ͖Δʢਖ਼نܗʣ
# #
#
#
Slide 35
Slide 35 text
தؒදݱͷఆٛ
ܕਪ
ʢܕνΣοΫʣ
தؒදݱͷϑΥʔ
Ϛοτม
CJOU
C
JG
#
#
C
C
BQIJ#
#
B
BQQQSJOU@JOU
• جຊϒϩοΫ
• ໋ྩྻΛํϦε
τͱͯ࣋ͭ͠
• ଞͷϒϩοΫͱ༗
ඇ८ճάϥϑ (DAG)
Ͱͭͳ͕Δ
# #
#
#
Slide 36
Slide 36 text
• Visitor ͰߏจΛḷΓͳ͕Β໋ྩྻΛϊʔυ
͝ͱʹ࡞͍ͯ͘͠
• if ࣜͰͷذؔͷຊମͳͲͰ৽͍͠ϒϩο
ΫΛͭ͘Δ
தؒදݱϑΥʔϚοτ
ม ܕਪ
ʢܕνΣοΫʣ
தؒදݱͷϑΥʔ
Ϛοτม
Slide 37
Slide 37 text
Ϋϩʔδϟม
• தؒදݱʹมͨ͠ޙͰ·ͩؔఆٛࣜ
͕ωετ͍ͯ͠Δ͕ɼLLVM IR ΞηϯϒϦ
ؔΛͪΖΜωετͰ͖ͳ͍
• ωετͨؔ͠ΛτοϓϨϕϧʹҠಈ͢Δॲ
ཧ͕ඞཁ → Ϋϩʔδϟม
• ࣮Ұ൪େม
தؒදݱͷϑΥʔ
Ϛοτม
Ϋϩʔδϟ
ม
Slide 38
Slide 38 text
Ϋϩʔδϟม
தؒදݱͷϑΥʔ
Ϛοτม
Ϋϩʔδϟ
ม
// Go ٖࣅίʔυ
func main() {
func square(x int) int {
return x * x
}
square(10)
}
// ! square ΛτοϓϨϕϧʹҠಈ͢Δͷ؆୯
func square(x int) int {
return x * x
}
func main() {
square(10)
}
Slide 39
Slide 39 text
Ϋϩʔδϟม
தؒදݱͷϑΥʔ
Ϛοτม
Ϋϩʔδϟ
ม
// Go ٖࣅίʔυ
func main() {
PI := 3.14
func circle(x float64) float64 {
return x * x * PI
}
circle(3.0)
}
// ! ΫϩʔδϟͩͱͲ͏ͳΔʁ
// PI ΛͲ͏ʹ͔ୡ͢Δඞཁ͕͋Δ
func circle(x float64) float64 {
return x * x * PI
}
func main() {
PI := 3.14
circle(3.0)
}
Slide 40
Slide 40 text
Ϋϩʔδϟม
தؒදݱͷϑΥʔ
Ϛοτม
Ϋϩʔδϟ
ม
// Go ٖࣅίʔυ
func main() {
PI := 3.14
func circle(x float64) float64 {
return x * x * PI
}
circle(3.0)
}
// ! ؔʹΩϟϓνϟ͞ΕΔΛӅΕҾͱͯ͢͠ඞཁ͕͋Δ
type Captures struct { PI float64 }
func circle(cap Captures, x float64) float64 {
PI := cap.PI
return x * x * PI
}
func main() {
PI := 3.14
circle(Captures{PI}, 3.0)
}
Slide 41
Slide 41 text
• ໋ྩྻΛḷΓɼ࠶ؼతʹؔఆ͕ٛΩϟϓνϟʢ=ࣗ༝มʣΛ࣋ͭ
͔ௐΔ
• Ωϟϓνϟ͕͋ΕͦͷؔΫϩʔδϟͱͯ͠ݺͼग़͠ݩͰΩϟϓ
νϟΦϒδΣΫτΛ࡞
• ݺͼग़͕ͨؔ͢͠ͰʹΫϩʔδϟͰͳ͍ͱ͔͍ͬͯΔؔΩϟ
ϓνϟΦϒδΣΫτΛ࡞͠ͳ͍Α͏ʹ͢ΔʢKnown Function
Optimizationʣ
• ۩ମతͳ࣮ͱͯ͠ɼ͋Δ͕ؔ͋ͬͨͱ͖ʹ·ͣͦͷ͕ؔ Known Ͱ͋ΔͱԾఆͯ͠ body
Λ࠶ؼతʹḷΓɼ͠Ωϟϓνϟ͕ݟ͔ͭΕલఏ͕ؒҧ͍ͬͯͨͷͰঢ়ଶΛͯ͠࠶ḷΓ͢
Ϋϩʔδϟม
தؒදݱͷϑΥʔ
Ϛοτม
Ϋϩʔδϟ
ม
Slide 42
Slide 42 text
LLVM IR ͷੜ தؒද
ݱ
--7.
*3
• LLVM ͷ Go binding ϥΠϒϥϦΛͬͯதؒදݱ͔Β
LLVM IR Λੜ͢ΔɽجຊϒϩοΫͷதͷ໋ྩྻΛḷΓɼର
Ԡ͢Δ LLVM IR ͷ໋ྩΛ llvm.IRBuilder Λͬͯੜ͍ͯ͠
͘
• ͍ͭͰʹ LLVM IR ϨϕϧͰͷ࠷దԽΒͤΔɽΠϯϥΠ
ϯԽෆཁίʔυͷআڈͳͲ͔ͳΓͷ࠷దԽΛͯ͘͠ΕΔ
• ຊ࠷దԽͱίʔυੜ͕Ұ൪ॏ͍ͱ͜Ζ͕ͩɼ͋Δఔ
LLVM ʹͤΒΕΔ
Slide 43
Slide 43 text
LLVM IR ͷֶश
• LLVM C ͷ Go binding ʹ͍ͭͯΔʹ
• LLVM ΛόοΫΤϯυͱͨ͠ Go ίϯύΠϥ LLGO ͕ࢀߟʹͳΔɽgo/* Λͬ
ͯதؒදݱΛߏங͠ɼGo binding ͰόΠφϦʹམͱ͍ͯ͠ΔɽJIT Λͬͨ
REPL ͋Δ
• https://godoc.org/llvm.org/llvm/bindings/go/llvmʢLLVM ຊՈͷ Doxygen
ʹൺͯʣ͔ͳΓಡΈ͍͢ɽ͕ɼࡌͬͯͳ͍ͷ͋ΔͷͰҙ
• LLVM IR ʹ͍ͭͯΔʹ
• Clang ͷు͘ IR ΛோΊΔ: `clang -S -emit-llvm`
• ϦϑΝϨϯεϚχϡΞϧΛಡΉ http://llvm.org/docs/LangRef.html
Slide 44
Slide 44 text
Go Ͱॻ͍ͯΈͨײ
•
ࢥͬͨ΄Ͳॻ͖ʹ͘͘ͳ͍ɽଟগίϐϖతίʔυͰ Go ͔ͩΒ…ͱ
ཧੑΛࣺͯͯॻ͚Δʢ࣮ߦͰݟͯ OCaml ͷ2ഒఔʣ
• ֤ϑΣʔζͰ͔ͬ͠ΓςετΛॻ͍͍ͯ͘ͷ͕ॏཁͳͷͰɼGo ͷς
ετจԽྑ͍
• ஈ֊తʹม͍֤ͯ͘͠ϑΣʔζΛผύοέʔδʹ͢Δ͜ͱͰ͏͔ͬ
Γ૬ޓࢀরͯ͠͠·͏ͷΛ͛Δ
•
ύʔαδΣωϨʔλ LLVM ͷαϙʔτ͕ެࣜͰఏڙ͞Ε͍͍ͯͯΔ
• Ӭଓతσʔλߏ͕ແ͍ͷͰɼ࠶ؼతʹ visit ͯ͠ undo ͢ΔΈ͍ͨͳ
ॲཧ͕ॻ͖ʹ͍͘
Slide 45
Slide 45 text
Զݴޠͷ࣮ઓུ
Slide 46
Slide 46 text
GoCaml ࣮ͷܦҢ
Ҏલ C++ ͰίϯύΠϥΛॻ͍͍͕ͯͨ࠳ͯ͠͠·ͬͨ
https://github.com/rhysd/Dachs
ݪҼ
1. ߏจ͔ΒҰؾʹ IR ʹམͱͦ͏ͱͯ͠มॲཧ͕ෳࡶʹͳ
Γ͗ͨ͢
2. ߏจҥͳͲɼ࠷ॳ͔ΒػೳΛΓ͗ͨ͢
3. Ϗϧυ͕͍ʢ4Ҏ্ʣ
Slide 47
Slide 47 text
ԶݴޠʢDachsʣΛ෮׆ͤ͞Δ
1. தؒݴޠΛಋೖͨ͠ίϯύΠϥΛॻ͍ͯΈΔʢGoCamlʣ
2. GoCam ͷίʔυϕʔεΛͳΔ͘ྲྀ༻͠ͳ͕ΒϛχϚϧͳݴޠͱ
ͯ͠ Dachs Λͭ͘ΔʢجຊܕɼϙΠϯλͷڃͳૢ࡞ߏମఆ
ٛɼC ֦ுͳͲʣ
3. ྻϋογϡͳͲͷجຊతͳσʔλߏ Dachs ͷϥΠϒϥϦ
ͱͯ͠ॻ͘
4. ηϧϑϗετ͢Δ
5. ΑΓෳࡶͳݴޠػೳΛ࣮͍ͯ͘͠
Slide 48
Slide 48 text
͋ΔݴޠͰͦͷݴޠͷॲཧܥΛ࣮
͢Δʢηϧϑϗετʣͷརͱܽ
•
υοάϑʔσΟϯά
• ૣظ͔Β͕͍͍ࣗͨݴޠΛࣗͰͭͬͯࣗ͘Ͱ͑Δ
• શͯࣗલͰ࣮͠ͳ͚ΕͳΒͳ͍ʢςετϑϨʔϜϫʔΫɼσ
όοΨͳͲʣ
•
όά͕ग़ͨ࣌ͷσόοά͕͘͠ͳΔ͔ʢͦͷίʔυʹ͋Δͷ
͔ɼͦͷίʔυΛίϯύΠϧͨ͠ίϯύΠϥͷίʔυʹ͋Δͷ͔ɼͦ
ͷίʔυΛίϯύΠϧͨ͠ίϯύΠϥͷίʔυΛίϯύΠϧͨ͠ίʔ
υʹ͋Δͷ͔…ʣ
• جຊతʹ 1ͭͱ2ͭͷར͕࠷ߴͳͷͰηϧϑϗετ͍ͨ͠
Slide 49
Slide 49 text
Go Ͱηϧϑϗετ͢ΔίϯύΠ
ϥΛॻ͘ར
• ηϧϑϗετ͢Δࡍطଘͷ࣮ΛϗετݴޠΛࣗ
ࣗͰஔ͖͍͑ͯ͘
• ڧྗͳݴޠػೳ/ϥΠϒϥϦ͕͑ΔϗετݴޠͰ
࠷ॳʹ࣮͢Δͱɼஔ͖͑Δͷ͕͘͠ͳΔͣ
• Go ඇৗʹ؆ૉͳݴޠ༷Λ͍࣋ͬͯΔͷͰɼη
ϧϑϗετ͢Δࡍʹݴޠͷஔָ͖͕͑ʹͳΓͦ͏
Slide 50
Slide 50 text
·ͱΊ
• ίϯύΠϥஈ֊తͳσʔλͷมͰ͋Δ
• Go ͱ LLVM ͰίϯύΠϥΛॻ͍ͯΈͨݶΓͰ
ॻ͖͘͢ɼґଘগͳ͘Ͱ͖ͦ͏
• ૣظʹηϧϑϗετ͢ΔʹɼίϯύΠϥͷ
ॳظ࣮ Go Ͱॻ͍͓ͯ͘ͱྑͦ͞͏ʢ͜
Ε͔Βʣ
Slide 51
Slide 51 text
ʢऄʣൃදऀհ
• C++, Ruby, TypeScript, Vim script
• C++ ͰίϯύΠϥΛॻ͍͍ͯͨΓɼCrystal ͷॲཧܥΛ͍ͬͯ͡ΈͨΓ
• Electron + TypeScript + React ͰσεΫτοϓΞϓϦΛॻ͍ͨΓ
• Vim ϓϥάΠϯΛ60ݸ͙Β͍ॻ͍ͯͨΓ
• ࠷ۙ Go ͰίϯύΠϥΛॻ͍ͨΓͯ͠·͢
• ιϑτΣΞΛͭ͘Δͷָ͕͍͠
@Linda_pp
@rhysd