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 Implementatio...
Search
Yusuke Miyazaki
March 20, 2016
Programming
0
1.3k
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.8k
Python ウェブアプリケーションのためのプロファイラの実装 // Implementation of a profiler for Python web applications
ymyzk
2
5.5k
CAMPHOR- のスケジュール管理を支える技術 // Schedule Management in CAMPHOR-
ymyzk
1
660
tmux 入門 / Introduction to tmux
ymyzk
0
810
技術カンファレンスのススメ / Tech Conference
ymyzk
0
500
Proper Tail Calls - New Feature in ECMAScript 2015
ymyzk
1
420
Modern JavaScript - Introduction to ECMAScript 2015 & 2016
ymyzk
0
240
コンテナ型仮想化入門 / Introduction to container-based virtualization
ymyzk
0
360
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
ymyzk
0
260
Other Decks in Programming
See All in Programming
Blazing Fast UI Development with Compose Hot Reload (droidcon New York 2025)
zsmb
1
280
なんとなくわかった気になるブロックテーマ入門/contents.nagoya 2025 6.28
chiilog
1
250
Go1.25からのGOMAXPROCS
kuro_kurorrr
1
850
GoのGenericsによるslice操作との付き合い方
syumai
3
710
たった 1 枚の PHP ファイルで実装する MCP サーバ / MCP Server with Vanilla PHP
okashoi
1
220
都市をデータで見るってこういうこと PLATEAU属性情報入門
nokonoko1203
1
590
C++20 射影変換
faithandbrave
0
560
AIプログラマーDevinは PHPerの夢を見るか?
shinyasaita
1
180
A2A プロトコルを試してみる
azukiazusa1
2
1.3k
NPOでのDevinの活用
codeforeveryone
0
660
なぜ「共通化」を考え、失敗を繰り返すのか
rinchoku
1
620
PipeCDのプラグイン化で目指すところ
warashi
1
240
Featured
See All Featured
Distributed Sagas: A Protocol for Coordinating Microservices
caitiem20
331
22k
The Web Performance Landscape in 2024 [PerfNow 2024]
tammyeverts
8
680
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
34
5.9k
Side Projects
sachag
455
42k
Optimising Largest Contentful Paint
csswizardry
37
3.3k
Typedesign – Prime Four
hannesfritz
42
2.7k
StorybookのUI Testing Handbookを読んだ
zakiyama
30
5.9k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
229
22k
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
657
60k
Six Lessons from altMBA
skipperchong
28
3.9k
GraphQLとの向き合い方2022年版
quramy
49
14k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.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 ڵຯͷ͋Δͷ࣮ࡍʹࢼͯ͠Έͯ ใΛൃ৴ ͢ΔͱΑ͍͔͠Ε·ͤΜ