楽にコンパイラを書く話

Transcript

1. ָʹίϯύΠϥΛॻ͘࿩ ੕ʹΌʔΜʢ!UBLPFJHIUʣ
2. ϓϩάϥϛϯάݴޠ ࡞ͬͯ·͢
3. ࣗ࡞ݴޠ੎͋Δ͋Δ
 Α͋͘Δޡղฤ  ͘͢͝೉͍͜͠ͱΛ͍ͯ͠ΔͱࢥΘΕΔ
    ಄͕͓͔͍͠ਓͩͱࢥΘΕΔ
    3VCZ޷͖ͩͱࢥΘΕΔ
4. ࣗ࡞ݴޠ੎͋Δ͋Δ
 Α͋͘Δޡղฤ  ͘͢͝೉͍͜͠ͱΛ͍ͯ͠ΔͱࢥΘΕΔ
    ಄͕͓͔͍͠ਓͩͱࢥΘΕΔ
    3VCZ޷͖ͩͱࢥΘΕΔ ਖ਼͍͠ͷ͸͚ͩ
   ͘͢͝೉͍͠Θ͚Ͱ͸ͳ͍
5. ίϯύΠϥͱ͸ w ݴޠ"͔Βݴޠ#΁ͷม׵ϓϩάϥϜ
   w #ΞηϯϒϦݴޠ͸ωΠςΟϒίϯύΠϥ
   w "#ͷ΍ͭ΋͋Δɻ#BCFMͱ͔
   w ෳ਺ͷม׵ॲཧΛ࿈݁ͨ͠΋ͷ͕΄ͱΜͲ
   w ιʔείʔυΛந৅ߏจ໦ʹม׵
   w ந৅ߏจ໦Λதؒදݱʹม׵
   w தؒදݱΛ໨తίʔυʹม׵
6. ίϯύΠϥͷ೉͠͞ w ιʔείʔυͱ໨తίʔυͷΪϟοϓ͕େ͖͍΄Ͳ೉͍͠
   w $ ˠΞηϯϒϦݴޠ͸೉͍͠
   w ࠷దԽίϯύΠϥ͸೉͍͠
   w ߴڃݴޠ΁ͷίϯύΠϥ͸ΘΓͱ؆୯
7. ྫ w ύλʔϯϚον͕͋Δݴޠ͔Β$ʹม׵͢ΔίϯύΠϥ
   w $ʹม׵͢Ε͹ɺ࠷దԽͱ͔͸$ίϯύΠϥ͕ؤுͬͯ ͘ΕΔ
8. ύλʔϯϚονͬͯʁ type Result = Ok(int) | Err(string) match input { Ok(value) => return value, Err(_) => error("something bad happend"), } ͜Μͳͷɻ
 ༩͑ΒΕͨ஋ JOQVU ͷܗʹԠͯ͡෼ذ͢Δɻ
 3FTVMUͷఆٛ΋$ʹม׵͠ͳ͍ͱ͍͚ͳ͍ɻ
9. ࡞ઓ w ܕ͸λά෇͖ڞ༻ମʹม׵͢Δ
   w 0Lˠ
   &SSˠͰλά෇͚͢Δ
   w NBUDI͸NBUDI@UBHʹม׵͢Δ
10. ܕͷม׵ struct Result { int tag; union { int val_0; string val_1; }; } int Ok = 0; int Err = 1; ܕ͸$ʹม׵Ͱ͖ͨɻ
11. NBUDI@UBHʹม׵ match_tag (input, Ok) { value = input.val_0; return value; } else match_tag (input, Err) { _ = input.val_1; error("something bad happend"); } NBUDI@UBH͸ୈҰҾ਺ͷUBH͕ୈೋҾ਺ʹ౳͚͠Ε͹ଓ͘
 ϒϩοΫΛ࣮ߦ͢ΔɻJGͷѥछɻ
12. $ʹม׵ struct Result { int tag; union { int val_0; char* val_1; } }; int Ok = 0; int Err = 1; if (input.tag == Ok) { int value = input.val_0; return value; } else if (input.tag == Err) { error("something bad happened"); }
13. ·ͱΊ w ίϯύΠϥ͸ݴޠ"͔Βݴޠ#΁ͷม׵ϓϩάϥϜ
    w Ұؾʹ໨తݴޠʹม׵͢Δͱ೉͍͠ɻதؒදݱΛ͏·͘ ࢖͏ͱ͙ͬͱָʹͳΔ