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
380
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
Avatar for Yusuke Miyazaki ymyzk
0
260

Other Decks in Programming

See All in Programming
Claude Codeで実装以外の開発フロー、どこまで自動化できるか？失敗と成功
Avatar for ndaDayo.Sugawawa ndadayo
2
1.3k
コーディングは技術者(エンジニア)の嗜みでして / Learning the System Development Mindset from Rock Lady
Avatar for mackey0225 mackey0225
2
570
TanStack DB ~状態管理の新しい考え方~
Avatar for じょうげん bmthd
2
330
Langfuseと歩む生成AI活用推進
Avatar for matsukada licux
3
300
コンテキストエンジニアリング Cursor編
Avatar for kinopee kinopeee
1
700
Flutterと Vibe Coding で個人開発！
Avatar for Hayami Shuhei hyshu
1
260
Kiroの仕様駆動開発から見えてきたAIコーディングとの正しい付き合い方
Avatar for clshinji clshinji
1
140
Understanding Ruby Grammar Through Conflicts
Avatar for yui-knk yui_knk
1
120
物語を動かす行動"量" #エンジニアニメ
Avatar for konifar konifar
14
5.4k
Oracle Database Technology Night 92 Database Connection control FAN-AC
Avatar for oracle4engineer oracle4engineer
PRO
1
180
画像コンペでのベースラインモデルの育て方
Avatar for tattaka tattaka
3
1.9k
あのころの iPod を どうにか再生させたい
Avatar for orumin orumin
2
2.5k

Featured

See All Featured
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
332
24k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
Avatar for Michelle Schulp Hunt marktimemedia
31
2.5k
Music & Morning Musume
Avatar for Bryan Veloso bryan
46
6.7k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
Avatar for Rebecca Miller-Webster rmw
34
3.1k
Building a Scalable Design System with Sketch
Avatar for Laura Van Doore lauravandoore
462
33k
Producing Creativity
Avatar for Steve Smith orderedlist
PRO
347
40k
The Cost Of JavaScript in 2023
Avatar for Addy Osmani addyosmani
53
8.8k
jQuery: Nuts, Bolts and Bling
Avatar for Doug Neiner dougneiner
64
7.9k
Building a Modern Day 
E-commerce SEO Strategy
Avatar for Aleyda Solis aleyda
43
7.5k
The Illustrated Children's Guide to Kubernetes
Avatar for Chris Short chrisshort
48
50k
KATA
Avatar for Megan Lloyd mclloyd
32
14k
[RailsConf 2023 Opening Keynote] The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
30
9.6k

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