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.6k
CAMPHOR- のスケジュール管理を支える技術 // Schedule Management in CAMPHOR-
ymyzk
1
670
tmux 入門 / Introduction to tmux
ymyzk
0
820
技術カンファレンスのススメ / Tech Conference
ymyzk
0
510
Proper Tail Calls - New Feature in ECMAScript 2015
ymyzk
1
430
Modern JavaScript - Introduction to ECMAScript 2015 & 2016
ymyzk
0
250
コンテナ型仮想化入門 / Introduction to container-based virtualization
ymyzk
0
380
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
ymyzk
0
270
Other Decks in Programming
See All in Programming
Vue・React マルチプロダクト開発を支える Vite
andpad
0
110
詳解!defer panic recover のしくみ / Understanding defer, panic, and recover
convto
0
230
The state patternの実践 個人開発で培ったpractice集
miyanokomiya
0
160
旅行プランAIエージェント開発の裏側
ippo012
2
860
Updates on MLS on Ruby (and maybe more)
sylph01
1
180
The Past, Present, and Future of Enterprise Java
ivargrimstad
0
360
RDoc meets YARD
okuramasafumi
4
160
AI Coding Agentのセキュリティリスク:PRの自己承認とメルカリの対策
s3h
0
110
MCPでVibe Working。そして、結局はContext Eng(略)/ Working with Vibe on MCP And Context Eng
rkaga
5
2k
DockerからECSへ 〜 AWSの海に出る前に知っておきたいこと 〜
ota1022
5
1.9k
為你自己學 Python - 冷知識篇
eddie
1
340
実用的なGOCACHEPROG実装をするために / golang.tokyo #40
mazrean
1
230
Featured
See All Featured
We Have a Design System, Now What?
morganepeng
53
7.8k
What's in a price? How to price your products and services
michaelherold
246
12k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
231
53k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
12
1.1k
How to Think Like a Performance Engineer
csswizardry
26
1.9k
BBQ
matthewcrist
89
9.8k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
367
27k
Build your cross-platform service in a week with App Engine
jlugia
231
18k
How GitHub (no longer) Works
holman
315
140k
RailsConf 2023
tenderlove
30
1.2k
Unsuck your backbone
ammeep
671
58k
GraphQLとの向き合い方2022年版
quramy
49
14k
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 ڵຯͷ͋Δͷ࣮ࡍʹࢼͯ͠Έͯ ใΛൃ৴ ͢ΔͱΑ͍͔͠Ε·ͤΜ