Upgrade to Pro — share decks privately, control downloads, hide ads and more …

型を使うと便利な開発

Tessei Yoshida
November 04, 2016

 型を使うと便利な開発

Tessei Yoshida

November 04, 2016
Tweet

More Decks by Tessei Yoshida

Other Decks in Technology

Transcript

  1. ͦͷࠒͷ։ൃ؀ڥ w 8JOEPXT91 w &N&EJUPS w *& w 'JSFGPY w

    QSPUPUZQFKT w +BWB4DSJQU w 'JEEMFS w σόοά͸BMFSU
  2. ։ൃํ๏ w %0.࿔Γ·͘Γ w QSPUPUZQF͸࢖ͬͪΌͩΊ w ͩΕͩ"SSBZʹมͳͷੜ΍ͨ͠ͷʂʂ w $74ͬͯͳΜͰ͔͢ʁ w

    ͜ͷGVODUJPOߦӽͯ͠ΔΜͰ͚͢Ͳ w Ͳ͕͜Τϥʔ͔Θ͔Βͳ͍ w ͜ͷσόοάBMFSUແݶϧʔϓͰऴΘΒͳ͍ΜͰ͕͢
  3. ͦͷࠒͷ։ൃ؀ڥ w .BD049 w FNBDTWJN w *& w 'JSFGPY w

    $ISPNF w K2VFSZ w CBDLCPOF w $IBSMFT w '։ൃऀπʔϧ
  4. "-5+4ͷ୆಄ w $P⒎FFTDSJQU w )BYF w +49 w %BSU w

    4DBMBKT w 5ZQF4DSJQU w 'MPX ͳͲͳͲ
  5. 5ZQF4DSJQUͷొ৔ 5ZQF4DSJQU͸ϚΠΫϩιϑτʹΑͬͯ։ൃ͞Εɺϝϯςφϯε͞Ε͍ͯΔϑϦʔͰΦʔϓϯιʔεͷϓϩάϥϛϯάݴޠͰ͋ Δɻ5ZQF4DSJQU͸+BWB4DSJQUʹରͯ͠ɺলུ΋Մೳͳ੩తܕ෇͚ͱΫϥεϕʔεΦϒδΣΫτࢦ޲ΛՃ͑ͨݫີͳεʔύʔ ηοτͱͳ͍ͬͯΔɻ$ͷϦʔυΞʔΩςΫτͰ͋Γɺ%FMQIJͱ5VSCP1BTDBMͷ։ൃऀͰ΋͋ΔΞϯμʔεɾϔϧεόʔά ͕5ZQF4DSJQUͷ։ൃʹؔΘ͍ͬͯΔɻ<><><><>ɻ5ZQF4DSJQU͸ΫϥΠΞϯταΠυɺ͋Δ͍͸αʔόαΠυ /PEFKTʣ Ͱ࣮ߦ͞ΕΔ+BWB4DSJQUΞϓϦέʔγϣϯͷ։ൃʹར༻Ͱ͖Δɻ 5ZQF4DSJQU͸+BWB4DSJQUΛѻ͍΍͘͢͢ΔͨΊͷϥούʔݴޠͰ͋Γɺେن໛ͳΞϓϦέʔγϣϯͷ։ൃͷͨΊʹઃܭ͞Ε ͓ͯΓɺίϯύΠϧ͢Δͱ+BWB4DSJQUͷιʔείʔυΛग़ྗ͢Δɻ<>ɻ5ZQF4DSJQU͸+BWB4DSJQUͷεʔύʔηοτͰ͋Δͨ Ίɺطଘͷ+BWB4DSJQUϓϩάϥϜ͸ɺશͯ༗ޮͳ5ZQF4DSJQUϓϩάϥϜͱͳΔɻ

    5ZQF4DSJQU͸ܕఆٛϑΝΠϧΛαϙʔτ͓ͯ͠Γɺطଘͷ+BWB4DSJQUϥΠϒϥϦʹܕ৘ใΛ෇༩ͯ͠ར༻Ͱ͖ΔɻطଘͷΦ ϒδΣΫτϑΝΠϧͷߏ଄Λهड़Ͱ͖Δ$$ ͷϔομϑΝΠϧͱΑ͘ࣅͨ࢓૊ΈͰ͋Δɻ͜ΕʹΑͬͯɺͦͷܕఆٛϑΝΠ ϧ಺Ͱఆٛ͞Εͨ஋ΛɺଞͷϓϩάϥϜ͕͔͋ͨ΋੩తʹܕ෇͚͞Εͨ5ZQF4DSJQUΤϯςΟςΟͰ͋Δ͔ͷΑ͏ʹར༻͢Δ͜ ͱ͕Ͱ͖ΔΑ͏ʹͳΔɻK2VFSZ .POHP%# %KTͷΑ͏ͳਓؾͷ͋ΔϥΠϒϥϦͷͨΊͷɺαʔυύʔςΟʔͷϔομϑΝΠ ϧ͕͋Δɻ/PEFKTϕʔγοΫɾϞδϡʔϧͷͨΊͷϔομ΋ೖखՄೳͰɺ/PEFKTϓϩάϥϜͷ։ൃ΋5ZQF4DSJQUͷதͰߦ͑ Δ<>ɻ 5ZQF4DSJQUͷίϯύΠϥ͸ͦΕࣗମ͕5ZQF4DSJQUͰॻ͔Ε͍ͯΔɻ͜Ε͸+BWB4DSJQU΁ͷτϥϯείϯύΠϥͰ͋Γɺ "QBDIF-JDFOTFͷԼͰϥΠηϯε͞Ε͍ͯΔɻ 5ZQF4DSJQU͸.JDSPTPGU7JTVBM4UVEJP6QEBUFҎ߱ͰpSTUDMBTTϓϩάϥϛϯάݴޠͱͯ͠ɺ$΍ͦͷଞͷ .JDSPTPGUݴޠ܈ͱͱ΋ʹؚ·ΕΔΑ͏ʹͳͬͨɻ<>ɻެࣜͷ֦ுύοΫʹΑΓ7JTVBM7JTVBM4UVEJPͰ΋ 5ZQF4DSJQUΛαϙʔτՄೳͰ͋Δ<>ɻ ग़యɿXJLJQFEJB