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

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

Sponsored · SiteGround - Reliable hosting with speed, security, and support you can count on. →
Avatar for Yusuke Miyazaki Yusuke Miyazaki
March 20, 2016
Programming
0
600

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

漸進的型付け (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.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
700
tmux 入門 / Introduction to tmux
Avatar for Yusuke Miyazaki ymyzk
0
850
技術カンファレンスのススメ / Tech Conference
Avatar for Yusuke Miyazaki ymyzk
0
530
Proper Tail Calls - New Feature in ECMAScript 2015
Avatar for Yusuke Miyazaki ymyzk
1
480
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
280

Other Decks in Programming

See All in Programming
ふつうのRubyist、ちいさなデバイス、大きな一年 / Ordinary Rubyists, Tiny Devices, Big Year
Avatar for chobishiba chobishiba
1
430
20260228_JAWS_Beginner_Kansai
Avatar for Takuya Yonezawa takuyay0ne
5
470
GC言語のWasm化とComponent Modelサポートの実践と課題 - Scalaの場合
Avatar for Rikito Taniguchi tanishiking
0
100
Codexに役割を持たせる 他のAIエージェントと組み合わせる実務Tips
Avatar for o8n o8n
3
1.2k
New in Go 1.26 Implementing go fix in product development
Avatar for sunecosuri sunecosuri
0
420
PJのドキュメントを全部Git管理にしたら、一番喜んだのはAIだった
Avatar for oga_aiichiro nanaism
0
250
AWS Infrastructure as Code の新機能 2025 総まとめ 〜SA 4人による怒涛のデモ祭り〜
Avatar for Kenji Kono konokenj
10
3.3k
S3ストレージクラスの「見える」「ある」「使える」は全部違う ─ 体験から見た、仕様の深淵を覗く
Avatar for ya_ma23 ya_ma23
0
270
Railsの気持ちを考えながらコントローラとビューを整頓する/tidying-rails-controllers-and-views-as-rails-think
Avatar for MOROHASHI Kyosuke moro
5
390
Rで始めるML・LLM活用入門
Avatar for wakama1994 wakamatsu_takumu
0
170
エラーログのマスキングの仕組みづくりに役立ったASTの話
Avatar for Kenichi Shihota kumoichi
0
170
AIに任せる範囲を安全に広げるためにやっていること
Avatar for Masashi Fukuzawa fukucheee
0
130

Featured

See All Featured
Hiding What from Whom? A Critical Review of the History of Programming languages for Music
Avatar for Tomoya Matsuura tomoyanonymous
2
530
Digital Ethics as a Driver of Design Innovation
Avatar for Per Axbom axbom
PRO
1
210
Marketing Yourself as an Engineer | Alaka | Gurzu
Avatar for Gurzu gurzu
0
150
RailsConf 2023
Avatar for Aaron Patterson tenderlove
30
1.4k
The Illustrated Children's Guide to Kubernetes
Avatar for Chris Short chrisshort
51
52k
Code Review Best Practice
Avatar for Trisha Gee trishagee
74
20k
SEO for Brand Visibility & Recognition
Avatar for Aleyda Solis aleyda
0
4.3k
Mozcon NYC 2025: Stop Losing SEO Traffic
Avatar for Sam Torres samtorres
0
170
Building an army of robots
Avatar for Kyle Neath kneath
306
46k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
Avatar for Stéphanie Walter stephaniewalter
287
14k
How to train your dragon (web standard)
Avatar for Monica Dinculescu notwaldorf
97
6.5k
The agentic SEO stack - context over prompts
Avatar for schlessera schlessera
0
690

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