型システム入門以前

ひろしま学生IT勉強会 https://connpass.com/event/70401/ で発表した資料です

Transcript

1. ܕγεςϜೖ໳Ҏલ ޿ౡࢢཱେֶ৘ใՊֶ෦ ೥ Տ໺ ༤໵
2. ͷલʹ ࣗݾ঺հ
3. ͜ͷεϥΠυͷ໨ඪ w ʮܕʁ͋ʔ͋Εඒຯ͍͠ΑͶʙʯͳͲͷ൵ܶͷ๷ࢭ w ಈతܕ෇͚ͱ੩తܕ෇͚ͷҧ͍͕ͳΜͱͳ͘෼͔Δ w ʮܕγεςϜೖ໳ʯʢ௨শ5B1-ʣΛಡΉؾ࣋ͪʹͳΔ
4. ඵͰ෼͔Δ ܕγεςϜ
5. ඵͰ෼͔Δܕγες Ϝ w ϓϩάϥϜ͕ਖ਼͍͔͠Ͳ͏͔ςετ͢ΔγεςϜͷͭ w ಈతܕ෇͚ˠ࣮ߦ࣌ʹςετ͢Δ w ੩తܕ෇͚ˠ࣮ߦલʹςετ͢Δ w ͜ͷςετͷ͜ͱΛܕݕࠪͱݺͿ
6. ಈతܕ෇͚
7. ಈతܕ෇͚ w 3VCZɺ1ZUIPOɺ&SMBOHͳͲ w ࣮ࡍʹ࣮ߦͯ͠ΈͯɺμϝͩͬͨΒܕΤϥʔɺ ͏·͍ͬͨ͘Β࣍΋͏·͍͘͘ͱ͍͍Ͱ͢Ͷ w ܕΤϥʔΛॲཧ͢Δͷ͸ϓϩάϥϚͷ੹೚ w ྫ֎ॲཧΛॻ͍͓ͯ͘ɺಈతʹॲཧΛ௥Ճ͢ΔͳͲ w ࣮ߦՄೳͳΒͲΜͳϓϩάϥϜͰ΋ܕݕࠪΛύε͢Δ
8. ੩తܕ෇͚
9. ੩తܕ෇͚ w $ɺ+BWBɺ4DBMBͳͲ w ϓϩάϥϜΛᢞΊͯɺܕ͕߹͍ͬͯΕ͹จ۟ͳ͠ɺ ߹͍ͬͯͳ͚Ε͹ڭ͑ͯ͘ΕΔ w ܕݕࠪΛύεͨ͠ϓϩάϥϜ͸ɺগͳ͘ͱ΋ܕΤϥʔͰ ࢮ͵͜ͱ͸ͳ͍ʢ͸ͣʣ w ࣮ߦՄೳͰ΋ܕݕࠪΛύε͠ͳ͍͜ͱ͕͋Δ w ྫ
   JG
   USVF
   UIFO
   
   FMTF
   BOTXFS
   
   
10. εςοϓ࣮ߦͰൺֱ
11. ࢼ͢ͷ͸͜Ε int f(int a, int b) { return a + b; } f(19 + "23")を実⾏する この式は型エラーを起こす
12. ಈతܕݕࠪ f(19, "23") ੩తܕݕࠪ ࣮ࡍʹࢼͯ͠ΈΔ int f(int a, int b) { return a + b; } ؔ਺ఆٛΛܕݕࠪ͢Δ
13. ಈతܕݕࠪ ੩తܕݕࠪ 19 + "23" a :: int b :: int f :: int * int → int ͦͷ·· Λ࣮ߦͯ͠ΈΔ ؔ਺ఆ͔ٛΒɺม਺ͱܕͷࣙॻΛ࡞Δ
14. ಈతܕݕࠪ ੩తܕݕࠪ 19 + "23" ੔਺ͱจࣈྻ͸଍ͤͳ͍ ͱΤϥʔΛు͘ ੔਺ಉ࢜͸଍͠ࢉͰ͖Δ ؔ਺ఆٛ͸ܕݕࠪΛύε return a + b;
15. ಈతܕݕࠪ ੩తܕݕࠪ 19 + "23" Τϥʔॲཧ͕ແ͘ɺ ϓϩάϥϚ΋͍ͳ͍ɻ ϓϩάϥϜ͸ͦͷ··ࢮΜͩɻ ࠷ѱͷࣄଶ int a = 19 int b = "23" f(19, "23")
16. ಈతܕݕࠪ ੩తܕݕࠪ 19 + "23" Ͳ͏ͯ͜͠͏ͳͬͨ ੹೚ऀ͸୭ͩ int a = 19 int b = "23" G 
     ͸ਖ਼͍ࣜ͠Ͱ͸ͳ͍ ίϯύΠϧΤϥʔ f(19, "23")
17. ৭ʑͳܕγεςϜͷ ঺հ
18. ύϥϝʔλଟ૬ w +BWBʢδΣωϦΫεʣɺ$ ʢςϯϓϨʔτʣɺ 0$BNMʢMFUଟ૬ʣɺ4ZTUFN
    'ʢཧ࿦తഎܠɻЕܭࢉ 㱼ʣͳͲ w શশܕ 㱼 Λಋೖ w ৭ʑͳܕͷ஋ʹద༻Ͱ͖Δؔ਺Λఆٛ
19. ύϥϝʔλଟ૬ ∀a id(a x) { return x; } id(-1) == -1 id(3.14) == 3.14 id("hello") == "hello" id(12) + "32"のような式は 型エラーになる
20. ΞυϗοΫଟ૬ w +BWBʢΠϯλʔϑΣʔεʣɺ$ ʢΦʔόʔϩʔυʣɺ )BTLFMMʢܕΫϥεʣɺ3VTUʢτϨΠτʣͳͲ w ܕ͝ͱʹҟͳΔৼΔ෣͍Λ͢Δؔ਺Λఆٛ w จࣈྻʹͰ͖Δܕɺ౳஋ൺֱͰ͖ΔܕͳͲͷ੍໿͕ॻ͚ Δ
21. ΞυϗοΫଟ૬ string show(int x) { int2str(x); } string show(int xs[]) { concat(map(int2str, xs)); } void println(Show x) { printf("%s¥n", show(x)); }
22. ܕਪ࿦ w +BWB  ɺ$ BVUP EFDMUZQF ɺ0$BNMɺ)BTLFMMͳͲ w ม਺ͷ࢖ΘΕํͳͲΛௐ΂ɺࣗಈͰܕΛ͸͖͡ग़͢ w ܕΛॻ͘ख͕ؒݮΔ w ڧྗͳ΋ͷʹͳΔͱɺ·ͬͨ͘ܕΛࢦఆ͠ͳͯ͘΋ ͢΂ͯ੩తʹܕΛ͸͖͡ग़ͤΔʢ0$BNMɺ)BTLFMMͳͲʣ w ܕγεςϜ͕ڧྗʹͳΔͱΘΓͱ͙͢ʹͭΒ͘ͳΔ
23. ܕਪ࿦ c_area(r) { return r * r * 3.14; } 上の宣⾔はコンパイル時に下の宣⾔に変換される double c_area(double r) { return r * r * 3.14; }
24. ෦෼ܕଟ૬ w ͍ΘΏΔΦϒδΣΫτࢦ޲ݴޠɺ4.-ͳͲ w \
    B
    
    
    C
    
    
    ^
    㱨
    \
    B
    
    JOU
    ^ w +BWBͳͲͰ͸͜ͷؔ܎Λ໌ه͢Δඞཁ͕͋Δʢܧঝʣ w ܕਪ࿦͕ΘΓͱͭΒ͍ w 4.-Ͱ͸͜ͷؔ܎Λਪ࿦Ͱ͖ΔɻεΰΠ
25. ܕԋࢉ w +BWBʢδΣωϦΫεʣɺ0$BNMɺ)BTLFMMͳͲ w -JTU
    *OU΍&JUIFS
    *OU
    4USJOHͳͲɺܕΛड͚औͬͯܕΛฦ ͢ܕίϯετϥΫλΛಋೖ w ܕίϯετϥΫλΛݕࠪ͢ΔͨΊܕͷܕͰ͋ΔΧΠϯυ Λಋೖ w 4ZTUFN
    'ʢύϥϝʔλଟ૬ʣͱ૊Έ߹ΘͤΔͱ 4ZTUFN
    'ТʹͳΔɻδΣωϦΫεͱ͔͸͜Εϕʔε
26. ґଘܕ w $PRɺ*ESJTͳͲ w ܕίϯετϥΫλΛ஋Λड͚औΕΔΑ͏ʹ֦ு͠ɺ ஋ʹґଘ͢ΔܕΛಋೖ w DPOT
    
    㱼B
    O/BU 
    B
    
    7FDUPS
    B
    O
    
    7FDUPS
    B
    O  Έ͍ͨͳࣄ͕Ͱ͖ Δ w 4ZTUFN
    'Тʹಋೖ͢Δͱ$BMDVMVT
    PG
    $POTUSVDUJPOTͱݺ͹ΕΔମܥʹͳ Δ w $PR͸$P$͕ϕʔεɻܕΛ໋୊ɺ࣮૷Λূ໌ͱղऍ͢Δ w ܕݕ͕ܾࠪఆՄೳੑ໰୊ΛؚΜͰ͍ΔͷͰɺखͰܕݕࠪΛαϙʔτ͢Δ ඞཁ͕͋Δ
27. %JBMZ[FS w &SMBOHͷ੩తιʔείʔυղੳπʔϧ w ௨ৗͷ੩తܕ෇͚ΑΓָ؍తʹܕਪ࿦ɺܕݕࠪΛ͢Δ͜ ͱͰɺಈతܕ෇͚ͷݴޠʹޙ෇Ͱ੩తܕݕࠪΛࡌ͍ͤͯ Δ w 3VCZɺ1ZUIPOͳͲ΋ɺ͍ۙ͏ͪʹ͜ͷྲྀΕʹ৐ΔͷͰ ͸ɺͱ΋ݴΘΕ͍ͯΔʢ.BU[͕ݴͬͯͨɺΒ͍͠ʣ w -JTQք۾Ͱ͸ੲ͔Βɺओʹ࠷దԽʹؔ͢ΔཁٻͷͨΊʹ ݚڀ͞Ε͖ͯͨ
28. ·ͱΊ
29. ·ͱΊ w ܕγεςϜˠϓϩάϥϜͷਖ਼͠͞Λςετ͢ΔγεςϜͷҰछ w ಈతܕ෇͚ˠ࣮ߦ࣌ʹςετɺϩʔίετϩʔϦλʔϯ w ੩తܕ෇͚ˠ࣮ߦલʹςετɺϋΠίετϋΠϦλʔϯ w ࠓճ͸੩తܕ෇͚دΓͰͨ͠ɻಈతܕ෇͚ͷར఺͸ɺྫ͑͹ IUUQCMPHQSBDUJDBMTDIFNFOFUTIJSPEZOBNJDUZQJOH ͕Α͘ߟ࡯͞Ε͍ͯ·͢ w ʮܕγεςϜೖ໳ʯ 5B1- ɺ͍͍ຊͰ͢ w ิ଍ɺగਖ਼͕͋Ε͹͓ئ͍͠·͢