SML#探検隊
@mzp
1

@mzp
2

おしらせ
3

おしらせ
3

名古屋におけるSML#熱の高
まり
元々はOCaml/Coqユー
ザが多かった
1年ぐらい前からSML#熱
が高まりつつある
4

スタートSML# 1
Text
5

スタートSML# 1
LT発表者
Text
5

スタートSML# 2
a.k.a. SML# Hackathon
6

名古屋SML読書会
2回で消滅
7

名古屋SML読書会
2回で消滅
主催者
7

考察
名古屋の人たち
8

考察
SML#
好き
名古屋の人たち
8

考察
SML#
好き
興味ない
名古屋の人たち
SML
8

SML#の特徴
マスコットがかわいい
9

SML#の特徴
多相レコード
# fun get_x x = #x x;
val get_x = fn : ['a#{x: 'b}, 'b.
'a -> 'b]
# get_x { x = 1, y = 2 };
val it = 1 : int
# get_x { x = 1, y = 2, z = 3 };
val it = 1 : int
10

SML#の特徴
Cが呼べる
# val puts = _import "puts" :
string -> int;
val puts = fn : string -> int
# puts "hello";
hello
val it = 10 : int
11

SML#の特徴
コンパイラがコンパクト
400000
300000
200000
100000
0
ghc OCaml SML#
12

魔改造SML#: cop
# op +;
val it = <fun> : (int, int) -> int
# cop +;
val it = <fun> : int -> int -> int
13

魔改造SML#: annot
型情報の表示
詳しくは後述
14

魔改造SML#:
LLVM(開発中)
↓開発中
@chunjp
15

Try SML#
http://proofcafe.org/trysmlsharp
16

SML#+annotの紹介
17

エディタの紹介
どのエディタが好きですか?
or
18

エディタの紹介
どのエディタが好きですか?
or
Emacs
18

エディタの紹介
どのエディタが好きですか?
or
Emacs Eclipse
18

エディタの紹介
どのエディタが好きですか?
or
Emacs Eclipse
@keita44_f4
18

Emacs v.s. Eclipse
19

Emacs v.s. Eclipse
19

Emacsだと型が分からない
fun fact n =
if n = 0 then
1
else
n * fact (n - 1)
20

Emacsだと型が分からない
fun fact n =
if n = 0 then
1 この型は?
else
n * fact (n - 1)
20

型が分からないと困る
.....
struct
structure MLLex =
MLLexFun(structure Tokens = MLLrVals.Tokens)
structure ParserData =
MLLrVals.ParserData
val makeLexer =
fn s => fn arg =>
LrParser.Stream.streamify (MLLex.makeLexer s arg)
val LrParse = fn (lookahead,lexer,error,arg) =>
(fn (a,b) => (MLLrVals.ParserData.Actions.extract
a,b))
(LrParser.parse {table = ParserData.table,
lexer=lexer,
.....
21

型が分からないと困る
.....
struct
structure MLLex =
MLLexFun(structure Tokens = MLLrVals.Tokens)
??????
structure ParserData =
MLLrVals.ParserData
val makeLexer =
fn s => fn arg =>
LrParser.Stream.streamify (MLLex.makeLexer s arg)
val LrParse = fn (lookahead,lexer,error,arg) =>
(fn (a,b) => (MLLrVals.ParserData.Actions.extract
a,b))
(LrParser.parse {table = ParserData.table,
lexer=lexer,
.....
21

改造の方針
foo.sml SML#コンパイラ a.out
22

改造の方針
foo.sml SML#コンパイラ a.out
foo.annot
22

改造の方針
foo.sml SML#コンパイラ a.out
foo.annot
22

LoadFile DatatypeCompilati doBitmapANormal doRTLX86Emit
Elaboration doStaticAnalysis doClosureConversi doRTLX86AsmGen
VALRECOptimizati doInlining toYAANormal doRTLX86Assembl
FundeclElaboration doMVOptimization doYAANormalOpti
TypeInference doFunctionLocalize doStaticAllocation
UncurryOptimizatio doStaticAnalysis doAIGeneration2
PrinterGeneration doInlining doRTLX86Select
MatchCompilation doMVOptimization doRTLX86Stabilize
FFICompilation doFunctionLocalize doRTLRename
RecordCompilation doBitmapCompilati doRTLX86Coloring

LoadFile DatatypeCompilati doBitmapANormal doRTLX86Emit
Elaboration doStaticAnalysis doClosureConversi doRTLX86AsmGen
VALRECOptimizati doInlining toYAANormal doRTLX86Assembl
FundeclElaboration doMVOptimization doYAANormalOpti
TypeInference doFunctionLocalize doStaticAllocation
UncurryOptimizatio doStaticAnalysis doAIGeneration2
PrinterGeneration doInlining doRTLX86Select
MatchCompilation doMVOptimization doRTLX86Stabilize
FFICompilation doFunctionLocalize doRTLRename
RecordCompilation doBitmapCompilati doRTLX86Coloring

型推論直後を狙う
Elaboration
VALRECOptimization
FundeclElaboration
TypeInference
UncurryOptimization
24

型推論直後を狙う
Elaboration
VALRECOptimization
FundeclElaboration
TypeInference
UncurryOptimization
24

型推論直後を狙う
Elaboration
VALRECOptimization
FundeclElaboration
型情報のダンプを
TypeInference 追加する
UncurryOptimization
24

宣言の型
src/compiler/typedcalc/main/TypedCalc.ppg.smi
datatype tpdecl =
...
| TPFUNDECL of
{ argTyList:Types.ty list, bodyTy:Types.ty,
funVarInfo:Types.varInfo,
ruleList:{args:tppat list, body:tpexp} list} list
* Loc.loc
| TPPOLYFUNDECL of
Types.btvEnv
* { argTyList:Types.ty list, bodyTy:Types.ty,
funVarInfo:Types.varInfo,
ruleList:{args:tppat list, body:tpexp} list} list
* Loc.loc
| TPVAL of (Types.varInfo * tpexp) list * Loc.loc
25

宣言の型
src/compiler/typedcalc/main/TypedCalc.ppg.smi
datatype tpdecl =
...
型情報
| TPFUNDECL of
{ argTyList:Types.ty list, bodyTy:Types.ty,
funVarInfo:Types.varInfo,
ruleList:{args:tppat list, body:tpexp} list} list
* Loc.loc
| TPPOLYFUNDECL of
Types.btvEnv
* { argTyList:Types.ty list, bodyTy:Types.ty,
funVarInfo:Types.varInfo,
ruleList:{args:tppat list, body:tpexp} list} list
* Loc.loc
| TPVAL of (Types.varInfo * tpexp) list * Loc.loc
25

宣言の型
src/compiler/typedcalc/main/TypedCalc.ppg.smi
datatype tpdecl =
...
型情報
| TPFUNDECL of
{ argTyList:Types.ty list, bodyTy:Types.ty,
funVarInfo:Types.varInfo,
位置情報
ruleList:{args:tppat list, body:tpexp} list} list
* Loc.loc
| TPPOLYFUNDECL of
Types.btvEnv
* { argTyList:Types.ty list, bodyTy:Types.ty,
funVarInfo:Types.varInfo,
ruleList:{args:tppat list, body:tpexp} list} list
* Loc.loc
| TPVAL of (Types.varInfo * tpexp) list * Loc.loc
25

式の型
datatype tpexp =
...
| TPSQLSERVER of
{loc:Loc.loc, resultTy:Types.ty,
schema:Types.ty LabelEnv.map LabelEnv.map,
server:string}
| TPTAPP of
{exp:tpexp, expTy:Types.ty,
instTyList:Types.ty list,
loc:Loc.loc}
| TPVAR of Types.varInfo * Loc.loc
26

式の型
datatype tpexp =
...
| TPSQLSERVER of
{loc:Loc.loc, resultTy:Types.ty,
schema:Types.ty LabelEnv.map LabelEnv.map,
server:string}
| TPTAPP of
{exp:tpexp, expTy:Types.ty,
instTyList:Types.ty list,
loc:Loc.loc}
| TPVAR of Types.varInfo * Loc.loc
型情報
26

式の型
datatype tpexp =
...
| TPSQLSERVER of
{loc:Loc.loc, resultTy:Types.ty,
schema:Types.ty LabelEnv.map LabelEnv.map,
server:string}
| TPTAPP of
{exp:tpexp, expTy:Types.ty,
instTyList:Types.ty list,
loc:Loc.loc}
| TPVAR of Types.varInfo * Loc.loc
型情報 位置情報
26

型の型・位置の型
structure Types = struct
val tyToString : ty -> string
end
structure Loc = struct
...
val fileNameOfPos : pos -> string
val lineOfPos : pos -> int
val colOfPos : pos -> int
end
27

型情報のダンプ
fun outputExpr stream (e : tpexp) =
case e of
TPAPPM {funTy, loc, funExp, argExpList, ...} =>
(annot stream loc funTy;
outputExpr stream funExp;
List.app (outputExpr stream) argExpList)
| TPCASEM {ruleBodyTy, loc, expList, ruleList, ...} =>
(annot stream loc ruleBodyTy;
List.app (outputExpr stream) expList;
List.app (fn x => outputExpr stream (#body x)) ruleList)
| TPCAST (exp, ty, loc) =>
(annot stream loc ty;
outputExpr stream exp)
| TPCONSTANT {loc, ty, ...} =>
annot stream loc ty
| TPDATACONSTRUCT {loc, con, argExpOpt, ...} =>
(annot stream loc (#ty con);
case argExpOpt of
SOME x =>
outputExpr stream x 28

| TPERROR =>
()
| TPEXNCONSTRUCT {argExpOpt, exn,loc, ...} =>
(case exn of
EXEXN i =>
annot stream loc (#ty i)
| EXN i =>
annot stream loc (#ty i);
case argExpOpt of
SOME x =>
outputExpr stream x
| NONE =>
())
| TPEXN_CONSTRUCTOR {exnInfo, loc} =>
annot stream loc (#ty exnInfo)
| TPEXEXN_CONSTRUCTOR {exExnInfo, loc} =>
annot stream loc (#ty exExnInfo)
| TPEXVAR (info, loc) =>
annot stream loc (#ty info)
| TPFFIIMPORT {loc, ptrExp:tpexp, stubTy:Types.ty,...} =>
(annot stream loc stubTy;
outputExpr stream ptrExp)
29

| | TPFNM {bodyExp, bodyTy, loc, ...} =>
(annot stream loc bodyTy;
outputExpr stream bodyExp)
| TPGLOBALSYMBOL {loc, ty, ...} =>
annot stream loc ty
| TPHANDLE {exnVar, exp, handler, loc} =>
(annot stream loc (#ty exnVar);
outputExpr stream exp;
outputExpr stream handler)
| TPLET {body, decls, loc, tys} =>
(List.app (outputExpr stream) body;
List.app (outputDecl stream) decls
)
| TPMODIFY {elementExp , loc, recordExp, recordTy, ...} =>
(annot stream loc recordTy;
outputExpr stream elementExp;
outputExpr stream recordExp)
| TPMONOLET { binds, bodyExp, loc} =>
(List.app (fn (_,exp) =>
outputExpr stream exp) binds;
outputExpr stream bodyExp)
| TPOPRIMAPPLY {argExp, loc, oprimOp, ...} =>
(annot stream loc (#ty oprimOp);
outputExpr stream argExp)
| TPPOLY {exp, expTyWithoutTAbs, loc, ...} =>
(annot stream loc expTyWithoutTAbs;
outputExpr stream exp)
30
| TPPOLYFNM {bodyExp, bodyTy, loc, ...} =>

スイッチ
src/compiler/control/main/Control.ppg
val annot = ref false
val switchTable : switchTable =
[ ....
("annot", BoolSwitch annot)
]
src/compiler/toplevel2/main/Top.sml
if ! Control.annot then
Annot.dump tpcalc
else
()
31

使い方
$ ls
fact.sml
$ smlsharp -d annot=yes fact.sml
$ ls
a.out fact.sml fact.annot
32

EmacsLisp
33

デモ
34

今後の目標
変数の参照元ジャンプ
多相レコードの表示
35

開発Tips
--enable-fast-build
は意味がない
make -jは失敗する
36

開発Tips for Windows
Mingwでのビルドは無理
37

開発Tips for Windows
Mingwでのビルドは無理
Ubuntu(32bit)を使おう
37

開発Tips for MacOS X
64bitでのビルドは難しい
38

開発Tips for MacOS X
64bitでのビルドは難しい
Ubuntu(32bit)を使おう
38

まとめ
今、SML#がアツい
SML#を改造するの楽しい
型情報を表示する拡張をいれた
(Emacsのみ)
改造するときはLinuxでやろう
39