Gradual Typing のいろいろな実装 / Various Implementations of Gradual Typing

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

Transcript

1. ઴ਐతܕ෇͚ʹ͍ͭͯޠΔձ
 :VTVLF
   .JZB[BLJ
 
   !$".1)03
   )064& (SBEVBM
   5ZQJOH
   ͷ
   ͍Ζ͍Ζͳ࣮૷
2. ͜ͷࢿྉʹ͍ͭͯ w ͜ͷࢿྉ͸
   (SBEVBM
   5ZQJOH
   ઴ਐతܕ෇͚
   Λ ࠾༻ͨ͠ຢ͸ӨڹΛड͚ͨͱ͞ΕΔ༷ʑͳݴޠ ΍ॲཧܥͳͲʹ͍ͭͯ·ͱΊͨ΋ͷͰ͢
   w ࣗ෼ࣗ਎Ͱ࢖ͬͨ͜ͱ͕ͳ͍΋ͷ΋ؚ·Ε͍ͯ ΔͷͰ
   ޡΓ౳͋Ε͹༏͘͠ࢦఠͯ͠Լ͍͞
3. )BDL w छྨ
   ϓϩάϥϛϯάݴޠ
   
   ॲཧܥ
   ))7.
 ։ൃऀ
   'BDFCPPL
   
   ࣌ظ
   ೥ʙ
   w 1)1
   Λ΋ͱʹܕΞϊςʔγϣϯ΍δΣωϦΫε ͳͲΛ௥Ճ
4. 5ZQF4DSJQU w छྨ
   ϓϩάϥϛϯάݴޠ
 ॲཧܥ
   &$."4DSJQU
   ΁ͷτϥϯεύΠϥ
 ։ൃऀ
   .JDSPTPGU
   
   ࣌ظ
   ೥ʙ
   w &$."4DSJQU
   ΛݩʹܕΞϊςʔγϣϯ౳Λ௥Ճ
5. NZQZ w छྨ
   ܕνΣοΧ
   
   ॲཧܥ
   1ZUIPO
 ࣌ظ
   ೥ʙ
   w 1ZUIPO
   
   ͷؔ਺ΞϊςʔγϣϯΛ࢖ͬͯܕΞϊ ςʔγϣϯΛهड़
   w ܕΞϊςʔγϣϯΛ΋ͱʹ੩తܕνΣοΫ
6. 1ZUIPO
   1&1
    w छྨ
   ࢓༷
   
   ࣌ظ
   ೥ʙ
   w NZQZ
   ͷه๏Λ΋ͱʹ
   1ZUIPO
   ͰͷܕΞϊςʔ γϣϯͷهड़ํ๏ͷ࢓༷Λࡦఆ
   w 1ZUIPO
   
   ͔Βಋೖ
7. $ w छྨ
   ϓϩάϥϛϯάݴޠ
   
   ։ൃऀ
   .JDSPTPGU
 ࣌ظ
   ೥ʙ
   w $
   
   
   Ͱ
   EZOBNJD
   Ωʔϫʔυ͕ಋೖ
   w ಈతܕ෇ม਺ΛఆٛͰ͖ΔΑ͏ʹ
8. $MPTVSF
   $PNQJMFS w छྨ
   +BWB4DSJQU
   ΁ͷτϥϯεύΠϥ
 ։ൃऀ
   (PPHMF
   w +4%PD
   ܗࣜͰهड़ͨ͠ܕ৘ใΛ΋ͱʹ࠷దԽͱ ܕνΣοΫΛ࣮ߦ
9. 'MPX w छྨ
   ܕνΣοΧ
 ։ൃऀ
   'BDFCPPL
   
   ࣌ظ
   ೥ࠒʙ
   w +BWB4DSJQU
   ͷ੩తܕνΣοΧ
10. ͜ΕҎ߱͸ษڧෆ଍ͰΑ͘ ෼͔͍ͬͯ·ͤΜ
    
11. 1FSM
     w छྨ
    ϓϩάϥϛϯάݴޠ
    
    ࣌ظ
    ೥ʙ
    w ઴ਐతܕ෇͚͕ಋೖ͞ΕͨΒ͍͠
    w 1FSM
    
    JT
    DMBTTJpFE
    BT
    HSBEVBMMZ
    UZQFE
    JU
    BMMPXT
    CPUI
    TUBUJD
    BOE
    EZOBNJD
    UZQJOH
12. %BSU w छྨ
    ϓϩάϥϛϯάݴޠ
 ॲཧܥ
    %BSU
    7.

    
    
    
    
    
    
    
    
    
    
    +BWB4DSJQU
    ΁ͷτϥϯεύΠϥ
 ։ൃऀ
    (PPHMF
    
    ࣌ظ
    ೥ʙ
    w ৽͍͠ݴޠ
    w ಈతܕ෇͚
    
    ܕ஫ऍ
13. 5ZQFE
    3BDLFU w छྨ
    ϓϩάϥϛϯάݴޠ
    ϥΠϒϥϦ 
 ॲཧܥ
    3BDLFU
    w 3BDLFU
    
    ੩తܕ෇͚
    "OZ
    ܕΛؚΉ
    w 3BDLFU
    ͱ૬ޓݺͼग़͠Մೳ
14. 5ZQFE
    $MPKVSF w छྨ
    ϓϩάϥϛϯάݴޠ
    ϥΠϒϥϦ 
 ॲཧܥ
    $MPKVSF
    w $MPKVSF
    
    ܕΞϊςʔγϣϯ
    w ܕνΣοΧ
    ࣮ߦ࣌νΣοΫ͸͠ͳ͍
15. ͓ΘΓʹ w ઴ਐతܕ෇͚ͷ࣮૷ʹؔͯ͠ͷ৘ใ͸͋·Γ
 ଟ͋͘Γ·ͤΜ
    w ڵຯͷ͋Δ΋ͷ͸࣮ࡍʹࢼͯ͠Έͯ
    ৘ใΛൃ৴ ͢ΔͱΑ͍͔΋͠Ε·ͤΜ