Python の型ヒントの FAQ / FAQ about Python Type Hints

漸進的型付け (Gradual Typing) について語る会 http://camphor.connpass.com/event/28692/ での発表資料です. 資料中の下線部はリンクになっています. リンク先にアクセスするためには PDF ファイルをダウンロードして下さい.

Transcript

1. ઴ਐతܕ෇͚ʹ͍ͭͯޠΔձ Yusuke Miyazaki 2016/3/20 @CAMPHOR- HOUSE 1ZUIPO
   ͷܕώϯτͷ
   '"2
2. 1ZUIPO
   ͷܕώϯτ w 1ZUIPO
   
   Ͱܕώϯτ
   5ZQF
   )JOUT
   ͕ಋೖ
   w 1ZUIPO
   
   ͷؔ਺Ξϊςʔγϣϯͷه๏Λར༻
   • def add(x: int, y: int) -> int: ...
3. ͜ͷࢿྉʹ͍ͭͯ w 1ZUIPO
   ͷܕώϯτʹ͍ͭͯΑ͘ฉ͔ΕΔٙ໰΍ ݸਓతͳٙ໰఺ʹ͍ͭͯ2"ܗࣜͰ঺հ͠·͢
   w 1ZUIPO
   ͷܕώϯτͷॻ͖ํ͸
   ͜ͷࢿྉͰઆ໌
 ͠·ͤΜ
4. ܕώϯτͷࢿྉ͸
5. ܕώϯτʹ͍ͭͯͷࢿྉ w 1&1
   
   Š
   5ZQF
   )JOUT
   w ܕώϯτͷॻ͖ํɾจ๏ͷఆٛͳͲ
   w 1&1
   
   Š
   5IF
   5IFPSZ
   PG
   5ZQF
   )JOUT
   w ܕώϯτͷཧ࿦తഎܠͳͲ
6. ܕώϯτʹ͍ͭͯͷࢿྉ w UZQJOH
   ϞδϡʔϧͷυΩϡϝϯςʔγϣϯ
   ༁
   w ܕώϯτͷهड़ʹ࢖༻͢Δ
   UZQJOH
   Ϟδϡʔϧʹ ͍ͭͯͷυΩϡϝϯςʔγϣϯ
   w ೔ຊޠ༁Λॻ͖·ͨ͠
   w UZQJOHQZ
   w UZQJOH
   Ϟδϡʔϧͷιʔείʔυ
   ϑΝΠϧͭ
7. ܕώϯτʹ͍ͭͯͷࢿྉ w 1ZUIPO
   ͱܕώϯτ
   5ZQF
   )JOUT
   w 1Z$PO
   +1
   
   Ͱൃද͞Εͨ΋ͷ
   w 3FWFOHF
   PG
   UIF
   5ZQFT
   ༁
   w ܕώϯτಋೖʹ౰ͨͬͯىͬͨٞ͜࿦ͷҰ෦
8. 1ZUIPO
   
   ҎલͰ
   ࢖͑·͔͢
9. όοΫϙʔτΛར༻Ͱ͖·͢ w ܕώϯτͷهड़ʹ͸
   UZQJOH
   ϞδϡʔϧΛར༻
   w UZQJOH
   ϞδϡʔϧͷόοΫϙʔτ͕ଘࡏ
   w QJQ
   JOTUBMM
   UZQJOH
10. 1ZUIPO
    
    Ͱ
    ࢖͑·͔͢
11. 1ZUIPO
    
    Ͱ΋࢖͑·͢ w 1ZUIPO
    
    Ͱؔ਺ΞϊςʔγϣϯΛ༻͍ͣʹ
 ܕώϯτΛهड़͢Δํ๏͕ఏҊ͞Ε͍ͯΔ
    w ࢀߟ
    1ZUIPO
    
    ͱܕώϯτ
    w ܕώϯτͷ৘ใΛελϒϑΝΠϧͱͯ͠ผͷ
 ϑΝΠϧʹهड़͢Δ͜ͱ΋Մೳ
12. ܕώϯτΛॻ͘
    ϝϦοτ͸
13. ੩తܕνΣοΧʔ w NZQZ
    ͳͲͷ੩తܕνΣοΧʔΛར༻ग़དྷΔ
    w ϓϩάϥϜͷ࣮ߦલʹܕΤϥʔΛݕग़ग़དྷΔ͔΋
14. *%&
    Ͱͷิ׬ w 1Z$IBSN
    Ͱ͸ܕώϯτͷ৘ใΛݩʹ
    w ิ׬ީิͷදࣔ
    w ܕΤϥʔͷࢦఠ
15. υΩϡϝϯςʔγϣϯ w Ҏલ͔ΒυΩϡϝϯςʔγϣϯͰܕͷ৘ใΛ
 هड़͢Δ͜ͱ͸͋ͬͨ
    w FH
    4QIJOY
    ͷ
    1ZUIPO
    υϝΠϯ
    w EPDTUSJOH
    Ͱ͸ͳ͘ܕώϯτͰॻ͚Δ
16. ʮܕΛॻ͖ͨ͘ͳ͍ʯ
17. ܕώϯτ͸ٛ຿Ͱ͸ͳ͍ w ॻ͖ͨ͘ͳ͍ͳΒແཧʹܕώϯτΛॻ͘ඞཁ͸ ͳ͍
    w ݱ࣌఺Ͱ͸ ແཧʹॻ͍ͯ΋ಘΒΕΔϝϦοτ ͸͋·Γଟ͘ͳͦ͞͏
    w ैདྷ͔Β͋Δؔ਺Ξϊςʔγϣϯͷར༻Λܕώϯ τͷΈʹݶఆ͢Δ΋ͷͰ͸ͳ͍
18. ܕνΣοΫͰ࣮ߦ͕
    ஗͘ͳΓ·ͤΜ͔
19. ஗͘ͳΓ·ͤΜ w ݱࡏͷ
    $1ZUIPO
    ͸࣮ߦ࣌ʹܕώϯτΛ༻͍ͨ ௥ՃͷνΣοΫΛߦ͏͜ͱ͸ͳ͍
    w ܕώϯτΛهड़͢Δ͜ͱʹΑΔΦʔόʔϔου ͸ຆͲͳ͍
20. ܕώϯτΛॻ͘ͱ
    ࣮ߦ͕଎͘ͳΓ·͔͢
21. ݱ࣌఺Ͱ͸ ଎͘ͳΓ·ͤΜ w ݱࡏͷ
    $1ZUIPO
    ͸ܕώϯτͷ৘ใΛ΋ͱʹ
 ࠷దԽ౳͸ߦΘͳ͍
    w ݱ࣌఺Ͱ͸ ܕώϯτΛهड़ͯ͠΋࣮ߦ͕଎͘ ͳΔ͜ͱ͸͋Γ·ͤΜ
22. ϥΠϒϥϦͷܕఆٛ͸
23. UZQFTIFE w UZQFTIFE
    ʹඪ४ϥΠϒϥϦͱαʔυύʔςΟʔ ͷϥΠϒϥϦͷܕఆٛͷελϒϑΝΠϧ͕·ͱ ·͍ͬͯΔ
    w ඪ४ϥΠϒϥϦ͸͍͍ͩͨἧ͍ͬͯΔ
    w αʔυύʔςΟʔͷϥΠϒϥϦ͸·ͩ·ͩ
    w DG
    %FpOJUFMZ5ZQFE
24. ݱ࣌఺Ͱ
    NZQZ
    ͸
    ࣮༻తͰ͔͢
25. Ұ౓࢖ͬͯΈ·͠ΐ͏ w ܕώϯτΛهड़͠ͳͯ͘΋ଟগ͸ਪ࿦͕ޮ͘
    w ϥΠϒϥϦͷܕώϯτ͕ෆ଍͍ͯ͠ΔͨΊ
    JNQPSU
    ઌͷελϒ͕ͳ͍ͱ͍͏Τϥʔ͕ग़Δ
    w T
    ΦϓγϣϯͰΤϥʔϝοηʔδΛ཈੍Ͱ͖Δ
    w Ұ౓૸ΒͤͯΈͯྑͦ͞͏ͳΒ࢖ͬͯΈ·͠ΐ͏
    w $*
    Ͱ࣮ߦ͢ΔͳͲ
26. কདྷੑ͸
27. େৎ෉ͦ͏ w 1ZUIPO
    ͷ
    #%'-
    ͷ
    (VJEP
    WBO
    3PTTVN
    
    ࢯ͕ ܕώϯτͷಋೖΛੵۃతʹਐΊͨ
    w ܕώϯτͷจ๏͕
    1&1
    Ͱݻ·͍ͬͯΔ
    w ه๏ͷཚཱΛ๷͙
    DG
    +BWB4DSJQU
    w কདྷΑΓྑ͍πʔϧ͕ొ৔ͨ͠ͱ͖ʹ؆୯ʹ Ҡߦग़དྷΔ
28. ·ͱΊ w ڵຯ͕͋Ε͹ܕώϯτΛॻ͘ͷ͕ྑͦ͞͏
    w ϥΠϒϥϦ։ൃऀ͸ॻ͘ͱت͹ΕΔ͔΋ʜ
    w UZQFTIFE
    Λॆ࣮ͤ͞·͠ΐ͏
    w (JU)VC
    Ͱ
    13
    ΛૹΔ͚ͩ
    w ܕώϯτΛ׆༻ͨ͠Կ͔Λ࡞ͬͯ΋͍͍͔΋
    w FH
    LPCJO
    CZ
    !DCBUB
    ࢯ