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

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

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
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.8k
CAMPHOR- のスケジュール管理を支える技術 // Schedule Management in CAMPHOR-
Avatar for Yusuke Miyazaki ymyzk
1
710
tmux 入門 / Introduction to tmux
Avatar for Yusuke Miyazaki ymyzk
0
860
技術カンファレンスのススメ / Tech Conference
Avatar for Yusuke Miyazaki ymyzk
0
530
Proper Tail Calls - New Feature in ECMAScript 2015
Avatar for Yusuke Miyazaki ymyzk
1
500
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
420
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
Avatar for Yusuke Miyazaki ymyzk
0
290

Other Decks in Programming

See All in Programming
PicoRuby for IoT: Connecting to the Cloud with MQTT
Avatar for Y_uuu yuuu
2
640
🦞OpenClaw works with AWS
Avatar for matsukada licux
1
190
AWSコミュニティ活動は顧客のクラウド推進に効くのか / Do AWS community activities help customers adopt the cloud?
Avatar for shiro seike seike460
PRO
0
150
Kingdom of the Machine
Avatar for yui-knk yui_knk
2
750
AI-DLC Deep Dive
Avatar for yuukiyo yuukiyo
9
4.6k
年間50登壇、単著出版、雑誌寄稿、Podcast出演、YouTube、CM、カンファレンス主催……全部やってみたので面白さ等を比較してみよう / I’ve tried them all, so let’s compare how interesting they are.
Avatar for nrs nrslib
4
800
CDK Deployのための ”反響定位”
Avatar for watany watany
5
800
The Monolith Strikes Back: Why AI Agents ❤️ Rails Monoliths
Avatar for Rodrigo Serradura serradura
0
340
Angular Signal Forms
Avatar for Dhananjay Kumar debug_mode
0
110
GitHubCopilotCLIをはじめよう.pdf
Avatar for tkym htkym
0
210
AIと共に生きる技術選定 2026
Avatar for Sugar Sato sgash708
0
100
Don't Prompt Harder, Structure Better
Avatar for Yusuke Kita kitasuke
0
780

Featured

See All Featured
Building a Modern Day 
E-commerce SEO Strategy
Avatar for Aleyda Solis aleyda
45
9k
[SF Ruby Conf 2025] Rails X
Avatar for Vladimir Dementyev palkan
2
970
Digital Projects Gone Horribly Wrong (And the UX Pros Who Still Save the Day) - Dean Schuster
Avatar for UX Y'all uxyall
0
1.2k
The Web Performance Landscape in 2024 [PerfNow 2024]
Avatar for Tammy Everts tammyeverts
12
1.1k
Redefining SEO in the New Era of Traffic Generation
Avatar for Szymon Słowik szymonslowik
1
280
How to Build an AI Search Optimization Roadmap - Criteria and Steps to Take #SEOIRL
Avatar for Aleyda Solis aleyda
1
2k
Discover your Explorer Soul
Avatar for Emna emna__ayadi
2
1.1k
From Legacy to Launchpad: Building Startup-Ready Communities
Avatar for Dug Song dugsong
0
200
SEO for Brand Visibility & Recognition
Avatar for Aleyda Solis aleyda
0
4.5k
Making Projects Easy
Avatar for Brett Harned brettharned
120
6.6k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
Avatar for Joe Casabona jcasabona
34
2.7k
Everyday Curiosity
Avatar for Cassini Nazir cassininazir
0
200

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 ͳͲʜ