Ruby の静的型チェックの話

2020-07-22 社内ゆるいRuby LT会

Transcript

1. !SBWFMMM
   
   
   ࣾ಺ΏΔ͍3VCZ
   -5ձ 3VCZ
   ͷ੩తܕνΣοΫ
2. 3VCZ
    w 
   ϦϦʔε༧ఆ
   w 3VCZ
   Q
   ϦϦʔε͕
   
   w ͭͷϝΠϯΰʔϧ
   w +*5
   $PNQJMF
   $PODVSSFODZ
   ੩తղੳ
3. ੩తղੳ w 3VCZ
   ίʔυΛ੩తղੳ͠ɺಘͨ৘ใͰ։ൃମݧΛվળ
   w UZQF
   BOOPUBUJPO
   ͸෇༩͠ͳ͍
   w UZQF
   QSPpMFS
   w IUUQTHJUIVCDPNNBNFSVCZUZQFQSPpMFS
   w ίʔυΛந৅ղऍͯ͠ܕ৘ใΛநग़
   w ࣮ߦແ͠ʹΤϥʔͬΆ͍ՕॴΛఏࣔ
4. ܕ৘ใͷهड़
   3#4
   3VCZ
   4JHOBUVSF w 3VCZ
   ίʔυͱ͸ผʹܕΛهड़͢ΔϑΝΠϧʢ SCTʣ
   w 5ZQF4DSJQU
   ʹ͓͚Δ
   EUT
   ͷΑ͏ͳ΋ͷ
   w ඞਢͰ͸ͳ͍͠ɺᐆດͰ΋Α͍ʢ઴ਐతܕ෇͚ʣ
   w खॻ͖͢Δ͔
   UZQF
   QSPpMFS
   Λར༻ͯ͠ੜ੒
   w ੜ੒ͨ͠ܕఆٛ͸ᐆດͳఆٛΛؚΈಘΔ
   w ੩తղੳͷ݈શੑɾ׬શੑΑΓ΋
   3VCZ
   ͷهड़ੑɾैདྷͱͷޓ׵ੑɾ࣮༻ੑ Λ༏ઌ
5. 3#4
   ͷงғؾ IUUQTHJUIVCDPNTJEFSHPPEDIFDLCMPCSCTTJHHPPEDIFDLSCT
6. ܕݕࠪ w 3#4
   ͷهड़ͱίʔυͱͷဃ཭Λݕࠪ
   w ܕݕࠪث͸
   3VCZ
   ʹ͸ಉࠝ͞Εͳ͍
   w ܕݕࠪثͷ࣮૷ͱͯ͠
   4UFFQ
   4PSCFU
   ͳͲ͕͋Δ
   w IUUQTHJUIVCDPNTPVUBSPTUFFQ
   w IUUQTHJUIVCDPNTPSCFUTPSCFU
7. ͦͷଞͷ։ൃମݧͷվળ w ܕݕࠪΛར༻ͨ͠ίʔυೖྗࢧԉ
   w 4UFFQ
   ͕
   -BOHVBHF
   4FSWFS
   Λఏڙ͍ͯ͠Δ
   w 74$PEF
   ͸ϓϥάΠϯ΋
   w IUUQTHJUIVCDPNTPVUBSPTUFFQWTDPEF
8. ॴײ w զʑ͕ීஈॻ͘ΞϓϦέʔγϣϯίʔυ͸΄΅੩తܕ෇͚ɾܕݕࠪͰ͖ΔΑ͏ʹͳΔͷͰ͸
   w ܰ͘
   4UFFQ
   ΛૉৼΓͨ͠ײ͡ɺಈతʹఆٛ͞ΕΔϝιουʹ͍ͭͯ΋ݕࠪ͸Ͱ͖ͳ͍ͳ͕ ΒܕఆٛΛॻ͚Δ
   w ࣮ߦ࣌ʹੜ͑Δϝιουͷ͏ͪ
   TJHOBUVSF
   ΍໊લ͕໌Β͔ͳ΋ͷʢ3BJMT
   ͷ
   NPEFM
   ʹ ੜ͑Δϝιουͱ͔ʣʹ͍ͭͯɺݺͼग़͠ݩΛܕݕࠪͨ͠Γίʔυॻ͘ͱ͖ʹิ׬͕ޮ ͍ͨΓ͢ΔͷͰ͸ʢະ֬ೝʣ
   w ಈతʹఆٛ͞ΕΔϝιουͷ͏ͪ
   TJHOBUVSF
   ΍໊લ͕ࣗ༝౓ͷߴ͍ೖྗʹԠܾͯ͡·Δ΋ͷ ʹ͍ͭͯ͸ݱঢ়Ͳ͏ʹ΋ͳΒͳͦ͏ʁ
   w ΞϓϦέʔγϣϯॻ͘ͱ͖ʹ௚઀৮ΕΔ૚ʹͦ͏͍͏ίʔυ͋Δͷ͔ͳ
9. ϦϑΝϨϯε w IUUQTHJTUHJUIVCDPNSBWFMMM FGFFBBFDBDFD
   ʹ·ͱΊ·ͨ͠