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

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

Sponsored · Ship Features Fearlessly Turn features on and off without deploys. Used by thousands of Ruby developers. →
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.7k
CAMPHOR- のスケジュール管理を支える技術 // Schedule Management in CAMPHOR-
Avatar for Yusuke Miyazaki ymyzk
1
700
tmux 入門 / Introduction to tmux
Avatar for Yusuke Miyazaki ymyzk
0
840
技術カンファレンスのススメ / Tech Conference
Avatar for Yusuke Miyazaki ymyzk
0
520
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
AtCoder Conference 2025
Avatar for shindannin shindannin
0
1.1k
izumin5210のプロポーザルのネタ探し #tskaigi_msup
Avatar for izumin5210 izumin5210
1
130
CSC307 Lecture 03
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
1
490
MUSUBIXとは
Avatar for Hisaho nahisaho
0
140
Vibe Coding - AI 驅動的軟體開發
Avatar for Micky Li mickyp100
0
180
Lambda のコードストレージ容量に気をつけましょう
Avatar for tatsuki-yamada tattwan718
0
130
Apache Iceberg V3 and migration to V3
Avatar for Tomohiro Tanaka tomtanaka
0
160
登壇資料を作る時に意識していること #登壇資料_findy
Avatar for konifar konifar
4
1.2k
それ、本当に安全？ ファイルアップロードで見落としがちなセキュリティリスクと対策
Avatar for ikechi penpeen
7
3.9k
CSC307 Lecture 08
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
670
疑似コードによるプロンプト記述、どのくらい正確に実行される？
Avatar for kokuyouwind kokuyouwind
0
390
AIエージェントのキホンから学ぶ「エージェンティックコーディング」実践入門
Avatar for Masahiro Nishimi masahiro_nishimi
5
470

Featured

See All Featured
Building a Scalable Design System with Sketch
Avatar for Laura Van Doore lauravandoore
463
34k
Jamie Indigo - Trashchat’s Guide to Black Boxes: Technical SEO Tactics for LLMs
Avatar for Tech SEO Connect techseoconnect
PRO
0
62
How to Grow Your eCommerce with AI & Automation
Avatar for Katarina Dahlin katarinadahlin
PRO
1
110
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
Avatar for Kevin Liebholz kevinliebholz
37
6.3k
Test your architecture with Archunit
Avatar for Yoan thirion
1
2.2k
The World Runs on Bad Software
Avatar for Brandon Keepers bkeepers
PRO
72
12k
Primal Persuasion: How to Engage the Brain for Learning That Lasts
Avatar for Mike Taylor tmiket
0
250
Getting science done with accelerated Python computing platforms
Avatar for Jacob Tomlinson jacobtomlinson
2
120
Navigating Team Friction
Avatar for Lara Hogan lara
192
16k
Public Speaking Without Barfing On Your Shoes - THAT 2023
Avatar for David Neal reverentgeek
1
310
The Cult of Friendly URLs
Avatar for Andy Hume andyhume
79
6.8k
Code Reviewing Like a Champion
Avatar for maltzj maltzj
527
40k

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