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

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

Sponsored · SiteGround - Reliable hosting with speed, security, and support you can count on. →
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
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
720
tmux 入門 / Introduction to tmux
Avatar for Yusuke Miyazaki ymyzk
0
870
技術カンファレンスのススメ / Tech Conference
Avatar for Yusuke Miyazaki ymyzk
0
540
Proper Tail Calls - New Feature in ECMAScript 2015
Avatar for Yusuke Miyazaki ymyzk
1
520
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
430
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
Avatar for Yusuke Miyazaki ymyzk
0
290

Other Decks in Programming

See All in Programming
AI駆動開発を妨げる技術的負債の解消アプローチ / ai-refactoring-approach
Avatar for MinoDriven minodriven
12
6.2k
「なぜそう決めたのか」を残し続ける仕組み ― Notion AI カスタムエージェント × Slack連携による設計判断の自動記録 - NIKKEI Tech Talk #47
Avatar for ニフティ株式会社 niftycorp
PRO
0
230
依存関係から依存物へ―Dependencyという言葉の歴史をひも解く
Avatar for j_lee_inst j_lee
0
130
Agentic UI
Avatar for Manfred Steyer manfredsteyer
PRO
0
190
Language Server 使ってる？ 〜VSCode と Zed の場合〜 / Are you using a Language Server? ~For VS Code and Zed~
Avatar for NAGATA Hiroaki handlename
0
800
コンテキストの使い捨てをやめる — ビジネスルール駆動開発と miko —
Avatar for ioki ioki
0
230
Vite+ Unified Toolchain for the Web
Avatar for Naoki Haba naokihaba
0
340
Performance Engineering for Everyone
Avatar for Elena Tanasoiu elenatanasoiu
0
210
並列実装の現場、2ヶ月間実務でAIを使い倒したAIもPCも私も限界が近い
Avatar for ming ming_ayami
0
130
Observability in Practice：Grafana 與 Edge Device SRE 的那些事
Avatar for Blueswen blueswen
0
170
その問い、本当に正しいですか？AI時代のエンジニアに必要な哲学と認知科学 / ai-philosophy-cognitive-science
Avatar for MinoDriven minodriven
13
6.2k
The ROI of Quarkus for Spring Boot Applications
Avatar for Holly Cummins hollycummins
0
140

Featured

See All Featured
Heart Work Chapter 1 - Part 1
Avatar for Lake Fama lfama
PRO
7
36k
Discover your Explorer Soul
Avatar for Emna emna__ayadi
2
1.1k
Unsuck your backbone
Avatar for Amy Palamountain ammeep
672
58k
Building a Scalable Design System with Sketch
Avatar for Laura Van Doore lauravandoore
463
34k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
Avatar for Irina Nazarova irinanazarova
9
1.4k
SERP Conf. Vienna - Web Accessibility: Optimizing for Inclusivity and SEO
Avatar for Sara Fernández Carmona sarafernandez
2
1.5k
Navigating Algorithm Shifts & AI Overviews - #SMXNext
Avatar for Aleyda Solis aleyda
1
1.3k
<Decoding/> the Language of Devs - We Love SEO 2024
Avatar for Nikki Halliwell nikkihalliwell
1
250
WENDY [Excerpt]
Avatar for Tessa Abrams tessaabrams
11
38k
HDC tutorial
Avatar for Michiel Stock michielstock
2
720
コードの90%をAIが書く世界で何が待っているのか / What awaits us in a world where 90% of the code is written by AI
Avatar for r-kagaya rkaga
62
44k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
Avatar for Morgane Peng morganepeng
133
19k

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