Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Sign up for free
Menu
Search
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Pricing
Search
Sign in
Sign up for free
漸進的型付けについて語る会 オープニング / Gradual Typing Opening
Search
Yusuke Miyazaki
March 20, 2016
Programming
640
0
Share
Embed
Copy iframe code
Copy JS code
Copy link
Start on current slide
漸進的型付けについて語る会 オープニング / Gradual Typing Opening
漸進的型付け (Gradual Typing) について語る会
http://camphor.connpass.com/event/28692/
での発表資料です.
Yusuke Miyazaki
March 20, 2016
More Decks by Yusuke Miyazaki
See All by Yusuke Miyazaki
こんなこともできる最近の Python の型ヒント
ymyzk
0
66
Adopting Kafka for the #1 job site in the world
ymyzk
1
8k
Python ウェブアプリケーションのためのプロファイラの実装 // Implementation of a profiler for Python web applications
ymyzk
2
5.9k
CAMPHOR- のスケジュール管理を支える技術 // Schedule Management in CAMPHOR-
ymyzk
1
730
tmux 入門 / Introduction to tmux
ymyzk
0
900
技術カンファレンスのススメ / Tech Conference
ymyzk
0
550
Proper Tail Calls - New Feature in ECMAScript 2015
ymyzk
1
540
Modern JavaScript - Introduction to ECMAScript 2015 & 2016
ymyzk
0
280
コンテナ型仮想化入門 / Introduction to container-based virtualization
ymyzk
0
440
Other Decks in Programming
See All in Programming
IBM Bob Dojo #1 仕様駆動開発入門
oniak3ibm
PRO
0
350
The Rails Doctrine Decade
koic
2
500
wkhtmltopdfの次どうするか問題2026
willnet
2
1.8k
カツオ、ご期待ください
suneo3476
0
150
手動確認はもう限界 〜XCUITestでCustom URL Schemeの遷移を起動種別ごとに自動テストする〜 / Testing Custom URL Schemes with XCUITest
otouto
0
390
大喜利で理解するLLM as a Judge / Understanding LLM-as-a-Judge through Ogiri
rockname
0
190
C#の現在地 進化の歴史と、AI時代の.NET Everywhere
neuecc
5
4.9k
半永久的に提供し続けられるプライベートクラウドを目指して ― 利用者の認知負荷を抑えるAPI抽象化とハードウェア世代交代の基盤設計
tomokon
0
440
20260914 AIエージェント時代のPlatform Engineering LLM基盤とプロダクトの責務境界線
kanfab1
7
2.4k
Agents on Rails - Rails at Scale 2026
irinanazarova
0
330
Java 27新機能 / Java 27 new features
kishida
2
200
モデルのリファクタリングが難しいと思ったら、そもそも複雑だったのはビジネス仕様だった ? / is-the-business-domain-the-real-complexity
hatsu38
0
450
Featured
See All Featured
Being A Developer After 40
akosma
91
590k
The Pragmatic Product Professional
lauravandoore
37
7.5k
The Invisible Side of Design
smashingmag
301
52k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
508
140k
Pawsitive SEO: Lessons from My Dog (and Many Mistakes) on Thriving as a Consultant in the Age of AI
davidcarrasco
0
250
Tips & Tricks on How to Get Your First Job In Tech
honzajavorek
1
790
Navigating Team Friction
lara
192
16k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
21
1.7k
Embracing the Ebb and Flow
colly
88
5.2k
Why Mistakes Are the Best Teachers: Turning Failure into a Pathway for Growth
auna
0
320
Jamie Indigo - Trashchat’s Guide to Black Boxes: Technical SEO Tactics for LLMs
techseoconnect
PRO
0
690
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
33
5.1k
Transcript
2016/3/20 @CAMPHOR- HOUSE ਐతܕ͚ʹ͍ͭͯޠΔձ
ਐతܕ͚(SBEVBM5ZQJOH w ͭͷϓϩάϥϜதͰ੩తܕ͚ͷ෦ͱಈతܕ ͚ͷ෦Λࠞࡏͤ͞Δ͜ͱ͕ग़དྷΔܕγεςϜ w +FSFNZ4JFL8BMJE5BIB w (SBEVBM5ZQJOHGPS'VODUJPOBM-BOHVBHFT w ೖهࣄ8IBUJT(SBEVBM5ZQJOH
ຊޠ༁
ਐతܕ͚ w ཧ༷ʑͳݚڀ͕ਐΜͰ͍Δ w ࢀߟ3FpOFE$SJUFSJBGPS(SBEVBM5ZQJOH w ࣮༷ʑͳݴޠॲཧܥ͕ӨڹΛड͚͍ͯΔ w ྫ%BSU 5ZQF4DSJQU
)BDL $ 1ZUIPOʜ
ຊΠϕϯτͷత w ਐతܕ͚Λ࠾༻ͨ͠ ʹӨڹΛड͚ͨ )BDL5ZQF4DSJQUͳͲͷ࣮ؔʹ͍ͭͯͷ ใΛڞ༗ w ݴޠɾॲཧܥͳͲͷհ w
࣮ࡍʹͬͯΈͨɾ࡞ͬͯΈͨ w ͳͲʜ