Sml#探検隊

名古屋における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だと型が分からない

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

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

宣言の型
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,
* Loc.loc
| TPVAL of (Types.varInfo * tpexp) list * Loc.loc

25

宣言の型
datatype tpdecl =
...
型情報
| TPFUNDECL of
* Loc.loc
| TPPOLYFUNDECL of
Types.btvEnv
* Loc.loc

25

宣言の型
datatype tpdecl =
...
型情報
| TPFUNDECL of
位置情報
* Loc.loc
| TPPOLYFUNDECL of
Types.btvEnv
* 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
server:string}
| TPTAPP of
loc:Loc.loc}

型情報

26

式の型
datatype tpexp =
...
| TPSQLSERVER of
server:string}
| TPTAPP of
loc: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

今後の目標
変数の参照元ジャンプ

多相レコードの表示

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

Sml#探検隊

More Related Content

What's hot

Viewers also liked

Similar to Sml#探検隊

More from Hiroki Mizuno

Sml#探検隊

Editor's Notes