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

漸進的型付けについて語る会 オープニング / Gradual Typing Opening

Sponsored · Ship Features Fearlessly Turn features on and off without deploys. Used by thousands of Ruby developers. →
Avatar for Yusuke Miyazaki Yusuke Miyazaki
March 20, 2016
Programming
610
0

漸進的型付けについて語る会 オープニング / Gradual Typing Opening

漸進的型付け (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.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
530
Proper Tail Calls - New Feature in ECMAScript 2015
Avatar for Yusuke Miyazaki ymyzk
1
510
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
430
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
Avatar for Yusuke Miyazaki ymyzk
0
290

Other Decks in Programming

See All in Programming
RTSPクライアントを自作してみた話
Avatar for simotin13 simotin13
0
370
TSKaigi2026-静的解析への投資がAI時代のコード品質を支える ── カスタムESLintルールの設計と運用
Avatar for HayatoKudou hayatokudou
7
1.3k
TypeScriptだけでAIエージェントを作る フロント・エージェント・インフラのフルスタック実践
Avatar for Har1101 har1101
6
1.2k
Signal Forms: Beyond the Basics @ngBaguette 2026 in Paris
Avatar for Manfred Steyer manfredsteyer
PRO
0
180
生成AI時代にこそ効くGo | Why Go Works in the Age of Generative AI
Avatar for mom0tomo mom0tomo
8
3k
AI時代のUIはどこへ行く？その2！
Avatar for Yusuke Wada yusukebe
5
2.2k
AIとRubyの静的型付け
Avatar for ukin0k0 ukin0k0
0
460
Java × distroless で 軽量なコンテナイメージを / Java on Distroless
Avatar for Daisuke Garaike contour_gara
0
420
柔軟なPDFレイアウトエディタを支える型システム設計 — Discriminated UnionとConditional Typeの実践
Avatar for minako-ph minako__ph
4
1.2k
技術記事、AIに書かせるか、自分で書くか？ 〜それでも私が自分の手で書く理由〜 / #QiitaConference
Avatar for Junichi Ito jnchito
2
1.2k
Composerを使ったサプライチェーン攻撃の様子を眺めてみる #phpstudy
Avatar for hideki kinjyo o0h
PRO
2
190
ふつうのFeature Flag実践入門
Avatar for irof irof
7
3.3k

Featured

See All Featured
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
Avatar for Joe Casabona jcasabona
34
2.8k
Bridging the Design Gap: How Collaborative Modelling removes blockers to flow between stakeholders and teams @FastFlow conf
Avatar for Kenny Baas-Schwegler baasie
0
570
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
Avatar for Dan Newman danielanewman
231
23k
Optimizing for Happiness
Avatar for Tom Preston-Werner mojombo
378
71k
Technical Leadership for Architectural Decision Making
Avatar for Kenny Baas-Schwegler baasie
3
380
Principles of Awesome APIs and How to Build Them.
Avatar for Keavy McMinn keavy
128
17k
How GitHub (no longer) Works
Avatar for Zach Holman holman
316
150k
The Art of Delivering Value - GDevCon NA Keynote
Avatar for David Neal reverentgeek
16
2k
A Tale of Four Properties
Avatar for Chris Coyier chriscoyier
163
24k
The Cult of Friendly URLs
Avatar for Andy Hume andyhume
79
6.9k
Building Flexible Design Systems
Avatar for Yesenia Perez-Cruz yeseniaperezcruz
330
40k
Testing 201, or: Great Expectations
Avatar for Joseph Mastey jmmastey
46
8.2k

Transcript

  1. 2016/3/20 @CAMPHOR- HOUSE ઴ਐతܕ෇͚ʹ͍ͭͯޠΔձ

  2. ઴ਐతܕ෇͚(SBEVBM5ZQJOH w ͭͷϓϩάϥϜதͰ੩తܕ෇͚ͷ෦෼ͱಈతܕ ෇͚ͷ෦෼Λࠞࡏͤ͞Δ͜ͱ͕ग़དྷΔܕγεςϜ w +FSFNZ4JFL8BMJE5BIB w (SBEVBM5ZQJOHGPS'VODUJPOBM-BOHVBHFT w ೖ໳هࣄ8IBUJT(SBEVBM5ZQJOH

    ೔ຊޠ༁

  3. ઴ਐతܕ෇͚ w ཧ࿦༷ʑͳݚڀ͕ਐΜͰ͍Δ w ࢀߟ3FpOFE$SJUFSJBGPS(SBEVBM5ZQJOH w ࣮૷༷ʑͳݴޠ΍ॲཧܥ͕ӨڹΛड͚͍ͯΔ w ྫ%BSU 5ZQF4DSJQU

    )BDL $ 1ZUIPOʜ

  4. ຊΠϕϯτͷ໨త w ઴ਐతܕ෇͚Λ࠾༻ͨ͠ ʹӨڹΛड͚ͨ  )BDL΍5ZQF4DSJQUͳͲͷ࣮૷ؔ܎ʹ͍ͭͯͷ ৘ใΛڞ༗ w ݴޠɾॲཧܥͳͲͷ঺հ w

    ࣮ࡍʹ࢖ͬͯΈͨɾ࡞ͬͯΈͨ w ͳͲʜ