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
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
370
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
ymyzk
0
260
Other Decks in Programming
See All in Programming
AI Agent 時代のソフトウェア開発を支える AWS Cloud Development Kit (CDK)
konokenj
6
1k
構文解析器入門
ydah
7
1.9k
DMMを支える決済基盤の技術的負債にどう立ち向かうか / Addressing Technical Debt in Payment Infrastructure
yoshiyoshifujii
4
650
Workers を定期実行する方法は一つじゃない
rokuosan
0
130
テストから始めるAgentic Coding 〜Claude Codeと共に行うTDD〜 / Agentic Coding starts with testing
rkaga
17
6.2k
リッチエディターを安全に開発・運用するために
unachang113
1
270
CLI ツールを Go ライブラリ として再実装する理由 / Why reimplement a CLI tool as a Go library
ktr_0731
3
670
中級グラフィックス入門~効率的なメッシュレット描画~
projectasura
3
1.7k
可変性を制する設計: 構造と振る舞いから考える概念モデリングとその実装
a_suenami
7
1k
階層化自動テストで開発に機動力を
ickx
1
440
202507_ADKで始めるエージェント開発の基本 〜デモを通じて紹介〜(奥田りさ)The Basics of Agent Development with ADK — A Demo-Focused Introduction
risatube
PRO
5
1.2k
商品比較サービス「マイベスト」における パーソナライズレコメンドの第一歩
ucchiii43
0
220
Featured
See All Featured
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
656
60k
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
sstephenson
161
15k
Designing for humans not robots
tammielis
253
25k
The Art of Programming - Codeland 2020
erikaheidi
54
13k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
21
1.4k
Typedesign – Prime Four
hannesfritz
42
2.7k
Designing Experiences People Love
moore
142
24k
The Cost Of JavaScript in 2023
addyosmani
51
8.7k
Agile that works and the tools we love
rasmusluckow
329
21k
Six Lessons from altMBA
skipperchong
28
3.9k
Learning to Love Humans: Emotional Interface Design
aarron
273
40k
YesSQL, Process and Tooling at Scale
rocio
173
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 ڵຯͷ͋Δͷ࣮ࡍʹࢼͯ͠Έͯ ใΛൃ৴ ͢ΔͱΑ͍͔͠Ε·ͤΜ