1. SML#探検隊
@mzp
1

2. @mzp
2

3. おしらせ
3

4. おしらせ
3

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

6. スタートSML# 1
Text
5

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

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

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

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

11. 考察
名古屋の人たち
8

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

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

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

15. 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

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

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

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

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

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

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

22. SML#+annotの紹介
17

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

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

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

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

27. Emacs v.s. Eclipse
19

28. Emacs v.s. Eclipse
19

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

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

31. 型が分からないと困る
.....
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

32. 型が分からないと困る
.....
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

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

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

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

36. 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

37. 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

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

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

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

41. 宣言の型
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

42. 宣言の型
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

43. 宣言の型
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

44. 式の型
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

45. 式の型
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

46. 式の型
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

47. 型の型・位置の型
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

48. 型情報のダンプ
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

49. | 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

50. | | 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, ...} =>

51. スイッチ
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

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

53. EmacsLisp
33

54. デモ
34

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

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

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

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

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

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

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