Upgrade to Pro — share decks privately, control downloads, hide ads and more …
Sign up for free

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
こんなこともできる最近の Python の型ヒント
Avatar for Yusuke Miyazaki ymyzk
0
68
Adopting Kafka for the #1 job site in the world
Avatar for Yusuke Miyazaki ymyzk
1
8k
Python ウェブアプリケーションのためのプロファイラの実装 // Implementation of a profiler for Python web applications
Avatar for Yusuke Miyazaki ymyzk
2
5.9k
CAMPHOR- のスケジュール管理を支える技術 // Schedule Management in CAMPHOR-
Avatar for Yusuke Miyazaki ymyzk
1
730
tmux 入門 / Introduction to tmux
Avatar for Yusuke Miyazaki ymyzk
0
900
技術カンファレンスのススメ / Tech Conference
Avatar for Yusuke Miyazaki ymyzk
0
550
Proper Tail Calls - New Feature in ECMAScript 2015
Avatar for Yusuke Miyazaki ymyzk
1
540
Modern JavaScript - Introduction to ECMAScript 2015 & 2016
Avatar for Yusuke Miyazaki ymyzk
0
280
コンテナ型仮想化入門 / Introduction to container-based virtualization
Avatar for Yusuke Miyazaki ymyzk
0
440

Other Decks in Programming

See All in Programming
[Dev Group Paris Octobre 26] Agentforce, SIforce, Claudeforce, Slackbot… on s'y retrouve ?
Avatar for Nathan Abondance nabondance
0
110
Starting & Sustaining Code-Based E2E Testing for Non-Coding QA Teams( #jasstniigata )
Avatar for teyamagu teyamagu
PRO
1
1k
コードレビューのボトルネックを"する側"と"される側"の両面から解消する
Avatar for yub0n yub0n
2
1.6k
3回つくってわかった、
定期実行ジョブ基盤の本質情報
Avatar for Naoto Takai takai
0
490
AWS CDKのカスタムリソースでContinuum（旧Security Agent）を実装した話 | Implementing Continuum (formerly Security Agent) via AWS CDK Custom Resource
Avatar for アキキー | Akihisa Ikeda akihisaikeda
2
150
なぜCTOを降りてFDEを選んだのか？〜なぜプロダクト企業がFDEで顧客の現場に踏み込むのか〜
Avatar for ryuta sakamoto gonta
1
210
golang-bob.pdf
Avatar for Yura Iwatsuka iwatsukayura
0
130
ActionController meets Protocol Buffers
Avatar for Sorah Fukumori sorah
0
540
残高管理から台帳サービスへの進化
Avatar for kobaryo artoy
1
200
Simple Storage Service(S3) is not simple
Avatar for Yura Iwatsuka iwatsukayura
0
290
SalesForceを内製化！？ ~ HR事業を支える顧客管理基盤のインフラを大公開 ~
Avatar for Kobujee_53 oku053
0
180
RAG の “R” を Swift で覗いてみる 〜「意味から探す」検索の仕組み〜
Avatar for Nao-RandD nao_randd
0
160

Featured

See All Featured
Technical Leadership for Architectural Decision Making
Avatar for Kenny Baas-Schwegler baasie
3
600
Measuring & Analyzing Core Web Vitals
Avatar for Philip Tellis bluesmoon
9
1k
My Coaching Mixtape
Avatar for mlcsv mlcsv
0
360
Java REST API Framework Comparison - PWX 2021
Avatar for Matt Raible mraible
34
9.8k
svc-hook: hooking system calls on ARM64 by binary rewriting
Avatar for Akira Moroo retrage
2
630
Music & Morning Musume
Avatar for Bryan Veloso bryan
48
7.4k
The World Runs on Bad Software
Avatar for Brandon Keepers bkeepers
PRO
72
12k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
Avatar for mongodb mongodb
50
10k
AI in Enterprises - Java and Open Source to the Rescue
Avatar for ivargrimstad ivargrimstad
0
1.5k
Code Review Best Practice
Avatar for Trisha Gee trishagee
74
20k
Exploring the relationship between traditional SERPs and Gen AI search
Avatar for Ray Grieselhuber raygrieselhuber
PRO
4
4.4k
Statistics for Hackers
Avatar for Jake VanderPlas jakevdp
799
230k

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 ڵຯͷ͋Δ΋ͷ͸࣮ࡍʹࢼͯ͠Έͯ ৘ใΛൃ৴ ͢ΔͱΑ͍͔΋͠Ε·ͤΜ