Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Speaker Deck
PRO
Sign in
Sign up
for free
Gradual Typing のいろいろな実装 / Various Implementations of Gradual Typing
Yusuke Miyazaki
March 20, 2016
Programming
0
1k
Gradual Typing のいろいろな実装 / Various Implementations of Gradual Typing
漸進的型付け (Gradual Typing) について語る会
http://camphor.connpass.com/event/28692/
での発表資料です.
Yusuke Miyazaki
March 20, 2016
Tweet
Share
More Decks by Yusuke Miyazaki
See All by Yusuke Miyazaki
ymyzk
2
4.2k
ymyzk
1
240
ymyzk
0
340
ymyzk
0
210
ymyzk
1
270
ymyzk
0
160
ymyzk
0
200
ymyzk
0
120
ymyzk
0
270
Other Decks in Programming
See All in Programming
progate
2
460
n1215
1
450
patorash
0
120
drumato
1
230
nerocrux
3
710
ykpythemind
0
140
bkuhlmann
2
320
hkusu
0
270
mathetake
7
2.2k
hyodol2513
2
1.1k
shun_oshidari
6
2.8k
shiba6v
0
200
Featured
See All Featured
tenderlove
53
3.5k
mza
80
4.2k
schacon
147
6.7k
jmmastey
10
700
bermonpainter
343
26k
trishagee
24
3k
yeseniaperezcruz
302
31k
chriscoyier
498
130k
stephaniewalter
262
11k
productmarketing
6
770
robhawkes
52
2.9k
jnunemaker
PRO
40
4.7k
Transcript
ਐతܕ͚ʹ͍ͭͯޠΔձ :VTVLF.JZB[BLJ !$".1)03)064& (SBEVBM5ZQJOHͷ ͍Ζ͍Ζͳ࣮
͜ͷࢿྉʹ͍ͭͯ w ͜ͷࢿྉ(SBEVBM5ZQJOH ਐతܕ͚ Λ ࠾༻ͨ͠ຢӨڹΛड͚ͨͱ͞ΕΔ༷ʑͳݴޠ ॲཧܥͳͲʹ͍ͭͯ·ͱΊͨͷͰ͢ w ࣗࣗͰͬͨ͜ͱ͕ͳ͍ͷؚ·Ε͍ͯ ΔͷͰ
ޡΓ͋Ε༏͘͠ࢦఠͯ͠Լ͍͞
)BDL w छྨϓϩάϥϛϯάݴޠॲཧܥ))7. ։ൃऀ'BDFCPPL࣌ظʙ w 1)1ΛͱʹܕΞϊςʔγϣϯδΣωϦΫε ͳͲΛՃ
5ZQF4DSJQU w छྨϓϩάϥϛϯάݴޠ ॲཧܥ&$."4DSJQUͷτϥϯεύΠϥ ։ൃऀ.JDSPTPGU࣌ظʙ w &$."4DSJQUΛݩʹܕΞϊςʔγϣϯΛՃ
NZQZ w छྨܕνΣοΧॲཧܥ1ZUIPO ࣌ظʙ w 1ZUIPOͷؔΞϊςʔγϣϯΛͬͯܕΞϊ ςʔγϣϯΛهड़ w ܕΞϊςʔγϣϯΛͱʹ੩తܕνΣοΫ
1ZUIPO 1&1 w छྨ༷࣌ظʙ w NZQZͷه๏Λͱʹ1ZUIPOͰͷܕΞϊςʔ γϣϯͷهड़ํ๏ͷ༷Λࡦఆ w 1ZUIPO͔Βಋೖ
$ w छྨϓϩάϥϛϯάݴޠ։ൃऀ.JDSPTPGU ࣌ظʙ w $ ͰEZOBNJDΩʔϫʔυ͕ಋೖ w ಈతܕมΛఆٛͰ͖ΔΑ͏ʹ
$MPTVSF$PNQJMFS w छྨ+BWB4DSJQUͷτϥϯεύΠϥ ։ൃऀ(PPHMF w +4%PDܗࣜͰهड़ͨ͠ܕใΛͱʹ࠷దԽͱ ܕνΣοΫΛ࣮ߦ
'MPX w छྨܕνΣοΧ ։ൃऀ'BDFCPPL࣌ظࠒʙ w +BWB4DSJQUͷ੩తܕνΣοΧ
͜ΕҎ߱ษڧෆͰΑ͘ ͔͍ͬͯ·ͤΜ
1FSM w छྨϓϩάϥϛϯάݴޠ࣌ظʙ w ਐతܕ͚͕ಋೖ͞ΕͨΒ͍͠ w 1FSMJTDMBTTJpFEBTHSBEVBMMZUZQFEJU BMMPXTCPUITUBUJDBOEEZOBNJDUZQJOH
%BSU w छྨϓϩάϥϛϯάݴޠ ॲཧܥ%BSU7. +BWB4DSJQUͷτϥϯεύΠϥ ։ൃऀ(PPHMF࣌ظʙ w ৽͍͠ݴޠ w ಈతܕ͚
ܕऍ
5ZQFE3BDLFU w छྨϓϩάϥϛϯάݴޠ ϥΠϒϥϦ ॲཧܥ3BDLFU w 3BDLFU ੩తܕ͚ "OZܕΛؚΉ
w 3BDLFUͱ૬ޓݺͼग़͠Մೳ
5ZQFE$MPKVSF w छྨϓϩάϥϛϯάݴޠ ϥΠϒϥϦ ॲཧܥ$MPKVSF w $MPKVSF ܕΞϊςʔγϣϯ w
ܕνΣοΧ ࣮ߦ࣌νΣοΫ͠ͳ͍
͓ΘΓʹ w ਐతܕ͚ͷ࣮ʹؔͯ͠ͷใ͋·Γ ଟ͋͘Γ·ͤΜ w ڵຯͷ͋Δͷ࣮ࡍʹࢼͯ͠Έͯ ใΛൃ৴ ͢ΔͱΑ͍͔͠Ε·ͤΜ