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
0
1.3k

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

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

Avatar for Yusuke Miyazaki

Yusuke Miyazaki

March 20, 2016
Tweet

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.8k
Python ウェブアプリケーションのためのプロファイラの実装 // Implementation of a profiler for Python web applications
Avatar for Yusuke Miyazaki ymyzk
2
5.6k
CAMPHOR- のスケジュール管理を支える技術 // Schedule Management in CAMPHOR-
Avatar for Yusuke Miyazaki ymyzk
1
670
tmux 入門 / Introduction to tmux
Avatar for Yusuke Miyazaki ymyzk
0
820
技術カンファレンスのススメ / Tech Conference
Avatar for Yusuke Miyazaki ymyzk
0
510
Proper Tail Calls - New Feature in ECMAScript 2015
Avatar for Yusuke Miyazaki ymyzk
1
430
Modern JavaScript - Introduction to ECMAScript 2015 & 2016
Avatar for Yusuke Miyazaki ymyzk
0
250
コンテナ型仮想化入門 / Introduction to container-based virtualization
Avatar for Yusuke Miyazaki ymyzk
0
390
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
Avatar for Yusuke Miyazaki ymyzk
0
270

Other Decks in Programming

See All in Programming
NetworkXとGNNで学ぶグラフデータ分析入門〜複雑な関係性を解き明かすPythonの力〜
Avatar for みずほリサーチ&テクノロジーズ株式会社 先端技術研究部 mhrtech
3
1k
Local Peer-to-Peer APIはどのように使われていくのか？
Avatar for Hal hal_spidernight
2
450
overlayPreferenceValue で実現する ピュア SwiftUI な AdMob ネイティブ広告
Avatar for Takashi uhucream
0
110
Goで実践するドメイン駆動開発 AIと歩み始めた新規プロダクト開発の現在地
Avatar for imkaoru imkaoru
4
690
育てるアーキテクチャ：戦い抜くPythonマイクロサービスの設計と進化戦略
Avatar for fujidomoe fujidomoe
1
150
ИИ-Агенты в каждый дом – Алексей Порядин, PythoNN
Avatar for Sobolev Nikita sobolevn
0
150
Pythonスレッドとは結局何なのか？ CPython実装から見るNoGIL時代の変化
Avatar for curekoshimizu curekoshimizu
5
1.4k
Web技術を最大限活用してRAW画像を現像する / Developing RAW Images on the Web
Avatar for TOMIKAWA Sotaro ssssota
2
1.2k
CSC305 Lecture 03
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
240
ネイティブ製ガントチャートUIを作って学ぶUICollectionViewLayoutの威力
Avatar for Yusaku Nishi jrsaruo
0
130
CI_CD「健康診断」のススメ。現場でのボトルネック特定から、健康診断を通じた組織的な改善手法
Avatar for teamLab teamlab
PRO
0
180
非同期jobをtransaction内で 呼ぶなよ！絶対に呼ぶなよ！
Avatar for Yuto Urushima alstrocrack
0
550

Featured

See All Featured
Keith and Marios Guide to Fast Websites
Avatar for Keith Pitt keithpitt
411
22k
Understanding Cognitive Biases in Performance Measurement
Avatar for Philip Tellis bluesmoon
29
2.6k
Build The Right Thing And Hit Your Dates
Avatar for Maggie C. maggiecrowley
37
2.9k
Reflections from 52 weeks, 52 projects
Avatar for Jefferson Lam jeffersonlam
352
21k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
36
2.5k
A Modern Web Designer's Workflow
Avatar for Chris Coyier chriscoyier
697
190k
Performance Is Good for Brains [We Love Speed 2024]
Avatar for Tammy Everts tammyeverts
12
1.2k
What’s in a name? Adding method to the madness
Avatar for Product Marketing Alliance productmarketing
PRO
23
3.7k
Principles of Awesome APIs and How to Build Them.
Avatar for Keavy McMinn keavy
127
17k
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
332
24k
The World Runs on Bad Software
Avatar for Brandon Keepers bkeepers
PRO
71
11k
BBQ
Avatar for Matthew Crist matthewcrist
89
9.8k

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