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
630
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
8k
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
730
tmux 入門 / Introduction to tmux
Avatar for Yusuke Miyazaki ymyzk
0
880
技術カンファレンスのススメ / Tech Conference
Avatar for Yusuke Miyazaki ymyzk
0
550
Proper Tail Calls - New Feature in ECMAScript 2015
Avatar for Yusuke Miyazaki ymyzk
1
530
Modern JavaScript - Introduction to ECMAScript 2015 & 2016
Avatar for Yusuke Miyazaki ymyzk
0
280
コンテナ型仮想化入門 / Introduction to container-based virtualization
Avatar for Yusuke Miyazaki ymyzk
0
440
計算機科学実験及び演習のための Git / Git for Hardware and Software Laboratory Project
Avatar for Yusuke Miyazaki ymyzk
0
300

Other Decks in Programming

See All in Programming
Go を使い始めて 2 ヶ月の学び / My first two months with Go
Avatar for Daisuke Garaike contour_gara
0
390
不幸な GC
Avatar for Chen chencmd
0
810
使いながら育てる Claude Code — 開発フローの1コマンド化 × 繰り返し指摘の自動仕組み化
Avatar for endo shiki shiki_kakaku
1
2k
異なる設計思想のフレームワークを経験して得た学び
Avatar for amekuhideki amekuhideki
1
830
仕様駆動開発へのトライを機に チームに適合する手法を模索し続けている話
Avatar for freee freee
PRO
0
650
レビュー履歴をAIに食わせて、 Compose移行を加速するs
Avatar for Yuki Shiho shihochan
0
230
関東Kaggler会_NVIDIA_Nemotron_コンペ_振り返り
Avatar for rick rick_ds
0
730
思考垂れ流し開発　～音声入力 × AIエージェント × 開発ハーネスによる試行錯誤～
Avatar for NPOS npostring
0
400
Loosening the Reins: Go Generics Get More Flexible
Avatar for kuro kuro_kurorrr
0
350
Discordを用いたラボオートメーション関連情報収集の自動化
Avatar for noguhiro2002 noguhiro2002
0
460
komatsuna「分散システムにおけるバグ分析手法」
Avatar for こまつな komatsunaqa
0
280
ドリフトを絶対に許さない（？）CDK運用 / CDK Ops with Zero Tolerance for Drifts (?)
Avatar for アキキー | Akihisa Ikeda akihisaikeda
1
240

Featured

See All Featured
The Mindset for Success: Future Career Progression
Avatar for Greg Gifford greggifford
PRO
0
480
A brief & incomplete history of 
UX Design for the World Wide Web: 1989–2019
Avatar for Jason CranfordTeague jct
2
490
Are puppies a ranking factor?
Avatar for Jono Alderson jonoalderson
2
3.8k
4 Signs Your Business is Dying
Avatar for Josh Pigford shpigford
187
23k
How to Get Subject Matter Experts Bought In and Actively Contributing to SEO & PR Initiatives.
Avatar for Liv Day livdayseo
0
180
Facilitating Awesome Meetings
Avatar for Lara Hogan lara
57
7.1k
Color Theory Basics | Prateek | Gurzu
Avatar for Gurzu gurzu
0
440
GitHub's CSS Performance
Avatar for Jon Rohan jonrohan
1033
470k
Leading Effective Engineering Teams in the AI Era
Avatar for Addy Osmani addyosmani
9
2.4k
Context Engineering - Making Every Token Count
Avatar for Addy Osmani addyosmani
9
1.1k
Exploring the relationship between traditional SERPs and Gen AI search
Avatar for Ray Grieselhuber raygrieselhuber
PRO
2
4.3k
How to optimise 3,500 product descriptions for ecommerce in one day using ChatGPT
Avatar for Katarina Dahlin katarinadahlin
PRO
2
3.8k

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