Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Gradual Typing のいろいろな実装 / Various Implementatio...

Avatar for Yusuke Miyazaki Yusuke Miyazaki
March 20, 2016
Programming
1.4k
0

Gradual Typing のいろいろな実装 / Various Implementations of Gradual Typing

漸進的型付け (Gradual Typing) について語る会 http://camphor.connpass.com/event/28692/ での発表資料です.

Avatar for Yusuke Miyazaki

Yusuke Miyazaki

March 20, 2016

More Decks by Yusuke Miyazaki

See All by Yusuke Miyazaki
Adopting Kafka for the #1 job site in the world
Avatar for Yusuke Miyazaki ymyzk
1
7.9k
Python ウェブアプリケーションのためのプロファイラの実装 // Implementation of a profiler for Python web applications
Avatar for Yusuke Miyazaki ymyzk
2
5.8k
CAMPHOR- のスケジュール管理を支える技術 // Schedule Management in CAMPHOR-
Avatar for Yusuke Miyazaki ymyzk
1
710
tmux 入門 / Introduction to tmux
Avatar for Yusuke Miyazaki ymyzk
0
860
技術カンファレンスのススメ / Tech Conference
Avatar for Yusuke Miyazaki ymyzk
0
530
Proper Tail Calls - New Feature in ECMAScript 2015
Avatar for Yusuke Miyazaki ymyzk
1
500
Modern JavaScript - Introduction to ECMAScript 2015 & 2016
Avatar for Yusuke Miyazaki ymyzk
0
270
コンテナ型仮想化入門 / Introduction to container-based virtualization
Avatar for Yusuke Miyazaki ymyzk
0
420
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
Avatar for Yusuke Miyazaki ymyzk
0
290

Other Decks in Programming

See All in Programming
The Monolith Strikes Back: Why AI Agents ❤️ Rails Monoliths
Avatar for Rodrigo Serradura serradura
0
340
JOAI2026 1st solution - heron0519 -
Avatar for heron0519 heron0519
0
140
iOS機能開発のAI環境と起きた変化
Avatar for Ryu-nakayama ryunakayama
0
190
Coding at the Speed of Thought: The New Era of Symfony Docker
Avatar for Kévin Dunglas dunglas
0
5k
JAWS-UG横浜 #100 祝・第100回スペシャル AWS は VPC レスの時代へ
Avatar for maroon1st maroon1st
0
160
AIと共に生きる技術選定 2026
Avatar for Sugar Sato sgash708
0
100
書籍「ユーザーストーリーマッピング」が私のバイブル
Avatar for asumikam asumikam
4
390
PCOVから学ぶコードカバレッジ #phpcon_odawara
Avatar for hideki kinjyo o0h
PRO
0
280
ソフトウェア設計の結合バランス #phperkaigi
Avatar for Takuma Kajikawa kajitack
0
140
レガシーPHP転生 〜父がドメインエキスパートだったのでDDD+Claude Codeでチート開発します〜
Avatar for panda_program panda_program
0
1k
年間50登壇、単著出版、雑誌寄稿、Podcast出演、YouTube、CM、カンファレンス主催……全部やってみたので面白さ等を比較してみよう / I’ve tried them all, so let’s compare how interesting they are.
Avatar for nrs nrslib
4
800
Back to the roots of date
Avatar for jinroq jinroq
0
320

Featured

See All Featured
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
Avatar for Tammy Everts tammyeverts
55
3.3k
Evolving SEO for Evolving Search Engines
Avatar for Ryan Jones ryanjones
0
180
Site-Speed That Sticks
Avatar for Harry Roberts csswizardry
13
1.2k
The Organizational Zoo: Understanding Human Behavior Agility Through Metaphoric Constructive Conversations (based on the works of Arthur Shelley, Ph.D)
Avatar for Dr. Kim W Petersen kimpetersen
PRO
0
320
Being A Developer After 40
Avatar for Adrian Kosmaczewski akosma
91
590k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
Avatar for Chris Coyier chriscoyier
508
140k
Why Your Marketing Sucks and What You Can Do About It - Sophie Logan
Avatar for Sophie Logan marketingsoph
0
130
The #1 spot is gone: here's how to win anyway
Avatar for Tamara Novitovic tamaranovitovic
2
1k
Stewardship and Sustainability of Urban and Community Forests
Avatar for Eric Wiseman pwiseman
0
180
Collaborative Software Design: How to facilitate domain modelling decisions
Avatar for Kenny Baas-Schwegler baasie
1
200
Put a Button on it: Removing Barriers to Going Fast.
Avatar for kastner kastner
60
4.2k
A better future with KSS
Avatar for Kyle Neath kneath
240
18k

Transcript

  1. ઴ਐతܕ෇͚ʹ͍ͭͯޠΔձ
 :VTVLF.JZB[BLJ
 !$".1)03)064& (SBEVBM5ZQJOHͷ ͍Ζ͍Ζͳ࣮૷

  2. ͜ͷࢿྉʹ͍ͭͯ w ͜ͷࢿྉ͸(SBEVBM5ZQJOH ઴ਐతܕ෇͚ Λ ࠾༻ͨ͠ຢ͸ӨڹΛड͚ͨͱ͞ΕΔ༷ʑͳݴޠ ΍ॲཧܥͳͲʹ͍ͭͯ·ͱΊͨ΋ͷͰ͢ w ࣗ෼ࣗ਎Ͱ࢖ͬͨ͜ͱ͕ͳ͍΋ͷ΋ؚ·Ε͍ͯ ΔͷͰ

    ޡΓ౳͋Ε͹༏͘͠ࢦఠͯ͠Լ͍͞

  3. )BDL w छྨϓϩάϥϛϯάݴޠॲཧܥ))7.
 ։ൃऀ'BDFCPPL࣌ظ೥ʙ w 1)1Λ΋ͱʹܕΞϊςʔγϣϯ΍δΣωϦΫε ͳͲΛ௥Ճ

  4. 5ZQF4DSJQU w छྨϓϩάϥϛϯάݴޠ
 ॲཧܥ&$."4DSJQU΁ͷτϥϯεύΠϥ
 ։ൃऀ.JDSPTPGU࣌ظ೥ʙ w &$."4DSJQUΛݩʹܕΞϊςʔγϣϯ౳Λ௥Ճ

  5. NZQZ w छྨܕνΣοΧॲཧܥ1ZUIPO
 ࣌ظ೥ʙ w 1ZUIPOͷؔ਺ΞϊςʔγϣϯΛ࢖ͬͯܕΞϊ ςʔγϣϯΛهड़ w ܕΞϊςʔγϣϯΛ΋ͱʹ੩తܕνΣοΫ

  6. 1ZUIPO 1&1 w छྨ࢓༷࣌ظ೥ʙ w NZQZͷه๏Λ΋ͱʹ1ZUIPOͰͷܕΞϊςʔ γϣϯͷهड़ํ๏ͷ࢓༷Λࡦఆ w 1ZUIPO͔Βಋೖ

  7. $ w छྨϓϩάϥϛϯάݴޠ։ൃऀ.JDSPTPGU
 ࣌ظ೥ʙ w $  ͰEZOBNJDΩʔϫʔυ͕ಋೖ w ಈతܕ෇ม਺ΛఆٛͰ͖ΔΑ͏ʹ

  8. $MPTVSF$PNQJMFS w छྨ+BWB4DSJQU΁ͷτϥϯεύΠϥ
 ։ൃऀ(PPHMF w +4%PDܗࣜͰهड़ͨ͠ܕ৘ใΛ΋ͱʹ࠷దԽͱ ܕνΣοΫΛ࣮ߦ

  9. 'MPX w छྨܕνΣοΧ
 ։ൃऀ'BDFCPPL࣌ظ೥ࠒʙ w +BWB4DSJQUͷ੩తܕνΣοΧ

  10. ͜ΕҎ߱͸ษڧෆ଍ͰΑ͘ ෼͔͍ͬͯ·ͤΜ

  11. 1FSM w छྨϓϩάϥϛϯάݴޠ࣌ظ೥ʙ w ઴ਐతܕ෇͚͕ಋೖ͞ΕͨΒ͍͠ w 1FSMJTDMBTTJpFEBTHSBEVBMMZUZQFEJU BMMPXTCPUITUBUJDBOEEZOBNJDUZQJOH

  12. %BSU w छྨϓϩάϥϛϯάݴޠ
 ॲཧܥ%BSU7.
 +BWB4DSJQU΁ͷτϥϯεύΠϥ
 ։ൃऀ(PPHMF࣌ظ೥ʙ w ৽͍͠ݴޠ w ಈతܕ෇͚

    ܕ஫ऍ

  13. 5ZQFE3BDLFU w छྨϓϩάϥϛϯάݴޠ ϥΠϒϥϦ 
 ॲཧܥ3BDLFU w 3BDLFU ੩తܕ෇͚ "OZܕΛؚΉ

     w 3BDLFUͱ૬ޓݺͼग़͠Մೳ

  14. 5ZQFE$MPKVSF w छྨϓϩάϥϛϯάݴޠ ϥΠϒϥϦ 
 ॲཧܥ$MPKVSF w $MPKVSF ܕΞϊςʔγϣϯ w

    ܕνΣοΧ ࣮ߦ࣌νΣοΫ͸͠ͳ͍

  15. ͓ΘΓʹ w ઴ਐతܕ෇͚ͷ࣮૷ʹؔͯ͠ͷ৘ใ͸͋·Γ
 ଟ͋͘Γ·ͤΜ w ڵຯͷ͋Δ΋ͷ͸࣮ࡍʹࢼͯ͠Έͯ ৘ใΛൃ৴ ͢ΔͱΑ͍͔΋͠Ε·ͤΜ