Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
漸進的型付けについて語る会 オープニング / Gradual Typing Opening
Search
Yusuke Miyazaki
March 20, 2016
Programming
610
0
Share
漸進的型付けについて語る会 オープニング / 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
Adopting Kafka for the #1 job site in the world
ymyzk
1
7.9k
Python ウェブアプリケーションのためのプロファイラの実装 // Implementation of a profiler for Python web applications
ymyzk
2
5.8k
CAMPHOR- のスケジュール管理を支える技術 // Schedule Management in CAMPHOR-
ymyzk
1
710
tmux 入門 / Introduction to tmux
ymyzk
0
860
技術カンファレンスのススメ / Tech Conference
ymyzk
0
530
Proper Tail Calls - New Feature in ECMAScript 2015
ymyzk
1
500
Modern JavaScript - Introduction to ECMAScript 2015 & 2016
ymyzk
0
270
コンテナ型仮想化入門 / Introduction to container-based virtualization
ymyzk
0
430
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
ymyzk
0
290
Other Decks in Programming
See All in Programming
実践ハーネスエンジニアリング:ステアリングループを実例から読み解く / Practical Harness Engineering: Understanding Steering Loops Through Real-World Examples
nrslib
5
5.5k
Programming with a DJ Controller — not vibe coding
m_seki
3
860
実用!Hono RPC2026
yodaka
2
310
2026年のソフトウェア開発を考える(2026/05版) / Software Engineering Scrum Fest Niigata 2026 Edition
twada
PRO
23
13k
(Re)make Regexp in Ruby: Democratizing internals for the JIT
makenowjust
3
1.1k
When benchmarks go bad - what I learned from measuring performance wrong
hollycummins
0
390
サプライチェーン攻撃対策「層を重ねて落ちない壁」を10日間で組み上げた話 #TechLeadConf2026
kashewnuts
1
280
20260514_its_the_context_window_stupid.pdf
heita
0
1k
AI Agent と正しく分析するための環境作り
yoshyum
2
500
Agentic Elixir
whatyouhide
0
450
Kubernetesを使わない環境にもCloud Nativeなデプロイを実現する / Enabling Cloud Native deployments without the complexity of Kubernetes
linyows
3
400
ついに来た!本格的なマルチクラウド時代の Google Cloud
maroon1st
0
440
Featured
See All Featured
Taking LLMs out of the black box: A practical guide to human-in-the-loop distillation
inesmontani
PRO
3
2.2k
Scaling GitHub
holman
464
140k
The Psychology of Web Performance [Beyond Tellerrand 2023]
tammyeverts
49
3.4k
Faster Mobile Websites
deanohume
310
31k
Groundhog Day: Seeking Process in Gaming for Health
codingconduct
0
180
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
231
23k
[SF Ruby Conf 2025] Rails X
palkan
2
1k
Future Trends and Review - Lecture 12 - Web Technologies (1019888BNR)
signer
PRO
0
3.5k
Un-Boring Meetings
codingconduct
0
290
Accessibility Awareness
sabderemane
1
120
How To Speak Unicorn (iThemes Webinar)
marktimemedia
1
460
JAMstack: Web Apps at Ludicrous Speed - All Things Open 2022
reverentgeek
1
440
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 ͳͲʜ