Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Gradual Typing のいろいろな実装 / Various Implementations of Gradual Typing
Search
Yusuke Miyazaki
March 20, 2016
Programming
0
1.2k
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
Adopting Kafka for the #1 job site in the world
ymyzk
1
7.5k
Python ウェブアプリケーションのためのプロファイラの実装 // Implementation of a profiler for Python web applications
ymyzk
2
5.1k
CAMPHOR- のスケジュール管理を支える技術 // Schedule Management in CAMPHOR-
ymyzk
1
520
tmux 入門 / Introduction to tmux
ymyzk
0
660
技術カンファレンスのススメ / Tech Conference
ymyzk
0
400
Proper Tail Calls - New Feature in ECMAScript 2015
ymyzk
1
350
Modern JavaScript - Introduction to ECMAScript 2015 & 2016
ymyzk
0
210
コンテナ型仮想化入門 / Introduction to container-based virtualization
ymyzk
0
300
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
ymyzk
0
220
Other Decks in Programming
See All in Programming
PostmanでAPIの動作確認が楽になった話
h455h1
0
160
Changed Rules: Architectures with Lightweight Stores
manfredsteyer
PRO
0
240
PHPの次期バージョンはこの時期どうなっているのか - Internalsの開発体制について - PHPカンファレンス小田原
youkidearitai
PRO
1
190
Behind VS Code Extensions for JavaScript / TypeScript Linnting and Formatting
unvalley
5
840
GraphQLサーバの構成要素を整理する #ハッカー鮨 #tsukijigraphql / graphql server technology selection
izumin5210
4
800
Prepare for Jakarta EE 11 - Performance and Developer Productivity
ivargrimstad
0
670
チーム力を高めるスクラム実践法:カンバン公開と課題攻略について - ニフティのスクラムトーク Vol. 2 - NIFTY Tech Talk #18
niftycorp
PRO
1
110
0→1と1→10の狭間で Javaという技術選定を振り返る/Reflecting on the Decision to Choose Java Between Scaling from 0 to 1 and 1 to 10
jaguar_imo
2
380
はてなにおける CSS Modules、及び CSS Modules に足りないもの / CSS Modules in Hatena, and CSS Modules missing parts
mizdra
6
880
VS Code をプロダクトにどう取り込むか
onomax
1
330
Folding Cheat Sheet #3
philipschwarz
PRO
0
120
ADRを一年運用してみた/adr_after_a_year
hanhan1978
7
2.3k
Featured
See All Featured
Docker and Python
trallard
33
2.7k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
243
20k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
13
1.5k
From Idea to $5000 a Month in 5 Months
shpigford
377
45k
Stop Working from a Prison Cell
hatefulcrawdad
266
19k
GitHub's CSS Performance
jonrohan
1024
450k
Atom: Resistance is Futile
akmur
258
25k
The World Runs on Bad Software
bkeepers
PRO
61
6.7k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
220
21k
Code Review Best Practice
trishagee
54
15k
Happy Clients
brianwarren
91
6.4k
Facilitating Awesome Meetings
lara
41
5.6k
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 ڵຯͷ͋Δͷ࣮ࡍʹࢼͯ͠Έͯ ใΛൃ৴ ͢ΔͱΑ͍͔͠Ε·ͤΜ