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

漸進的型付け (Gradual Typing) について語る会 http://camphor.connpass.com/event/28692/ での発表資料です.

Transcript

1. 2016/3/20 @CAMPHOR- HOUSE
   ઴ਐతܕ෇͚ʹ͍ͭͯޠΔձ
   

   View Slide

2. ઴ਐతܕ෇͚(SBEVBM5ZQJOH
   w ͭͷϓϩάϥϜதͰ੩తܕ෇͚ͷ෦෼ͱಈతܕ
   ෇͚ͷ෦෼Λࠞࡏͤ͞Δ͜ͱ͕ग़དྷΔܕγεςϜ
   w +FSFNZ4JFL8BMJE5BIB
   w (SBEVBM5ZQJOHGPS'VODUJPOBM-BOHVBHFT
   w ೖ໳هࣄ8IBUJT(SBEVBM5ZQJOH ೔ຊޠ༁
   
   

   View Slide

3. ઴ਐతܕ෇͚
   w ཧ࿦༷ʑͳݚڀ͕ਐΜͰ͍Δ
   w ࢀߟ3FpOFE$SJUFSJBGPS(SBEVBM5ZQJOH
   w ࣮૷༷ʑͳݴޠ΍ॲཧܥ͕ӨڹΛड͚͍ͯΔ
   w ྫ%BSU 5ZQF4DSJQU )BDL $ 1ZUIPOʜ
   

   View Slide

4. ຊΠϕϯτͷ໨త
   w ઴ਐతܕ෇͚Λ࠾༻ͨ͠ ʹӨڹΛड͚ͨ
   
   )BDL΍5ZQF4DSJQUͳͲͷ࣮૷ؔ܎ʹ͍ͭͯͷ
   ৘ใΛڞ༗
   w ݴޠɾॲཧܥͳͲͷ঺հ
   w ࣮ࡍʹ࢖ͬͯΈͨɾ࡞ͬͯΈͨ
   w ͳͲʜ
   

   View Slide