漸進的型付け (Gradual Typing) について語る会 http://camphor.connpass.com/event/28692/ での発表資料です.
2016/3/20 @CAMPHOR- HOUSEਐతܕ͚ʹ͍ͭͯޠΔձ
View Slide
ਐతܕ͚(SBEVBM5ZQJOHw ͭͷϓϩάϥϜதͰ੩తܕ͚ͷ෦ͱಈతܕ͚ͷ෦Λࠞࡏͤ͞Δ͜ͱ͕ग़དྷΔܕγεςϜw +FSFNZ4JFL8BMJE5BIBw (SBEVBM5ZQJOHGPS'VODUJPOBM-BOHVBHFTw ೖهࣄ8IBUJT(SBEVBM5ZQJOH ຊޠ༁
ਐతܕ͚w ཧ༷ʑͳݚڀ͕ਐΜͰ͍Δw ࢀߟ3FpOFE$SJUFSJBGPS(SBEVBM5ZQJOHw ࣮༷ʑͳݴޠॲཧܥ͕ӨڹΛड͚͍ͯΔw ྫ%BSU 5ZQF4DSJQU )BDL $ 1ZUIPOʜ
ຊΠϕϯτͷతw ਐతܕ͚Λ࠾༻ͨ͠ ʹӨڹΛड͚ͨ)BDL5ZQF4DSJQUͳͲͷ࣮ؔʹ͍ͭͯͷใΛڞ༗w ݴޠɾॲཧܥͳͲͷհw ࣮ࡍʹͬͯΈͨɾ࡞ͬͯΈͨw ͳͲʜ