自作言語にモジュールを実装した話

第33回 #hiro_it で発表したスライド
https://github.com/takoeight0821/kagami

Transcript

1. ࣗ࡞ݴޠʹϞδϡʔϧΛ
   ࣮૷ͨ͠࿩ ੕ʹΌʔΜʢ!UBLPFJHIUʣ
2. ࣗ࡞ݴޠ(SJ f module HelloImport = { import Prelude; main = { putStr (String# "hello"#); putStrLn |> { f -> f (String# " world"#) }; }; } ੺͍ͱ͜ΖΛ࡞ͬͨ
3. ݴޠ࢓༷ͷઃܭ
4. จ๏ ϞδϡʔϧΛѻ͏จ๏ʹ͸͍͔ͭ͘ͷύλʔϯ͕͋Δ
   #include <stdio.h>ɹϓϦϓϩηοαϨϕϧͰѻ͏ package com.example.hello;ɹτοϓϨϕϧͷએݴͱͯ͠ѻ͏ 
 import java.util.Calendar;ɹͱΓ͋͑ͣ͜ΕΛ࣮૷͢Δͷ͕໨ඪ structure Alist = structɹʢಛผͳҙຯΛ࣋ͭʣ஋ͱͯ͠ѻ͏ 
 open List 
 end
5. จ๏ͷઃܭ w ࣮૷͕େมͳͷͰɺ࣍ͷػೳ͸ޙճ͠
   w Ϟδϡʔϧʹผ໊Λ͚ͭΔ
   w ϞδϡʔϧΛ֊૚Խ͢Δ
   w ಛఆͷؔ਺ΛΤΫεϙʔτɾΠϯϙʔτ͢Δ͔ΛϓϩάϥϚ͕બͿ
   $ͷΑ͏ʹɺΠϯϙʔτͨ͠ϞδϡʔϧͰએݴ͞Εͨ͢΂ͯͷܕ΍ؔ਺ ΛࢀরͰ͖Δɻʢ໊લۭؒʹʮͿͪ·͚Δʯʣ
6. จ๏ʢϞδϡʔϧͷએݴʣ ϞδϡʔϧΛୈҰڃͷ஋ͱͯ͠ѻ͑ͨΒ৭ʑخ͍͕͠ɺ࣮૷͕େม 
 ݟͨ໨͸஋ͬΆ͍͚ͲɺΩπ੍͍໿Λઃ͚Δ͜ͱʹ͢Δ 
 
 module <Ϟδϡʔϧ໊> = { 
 <֤छએݴ>; 
 } 
 
 Λ̍ϑΝΠϧʹ͖͚ͭ̍ͭͩॻ͚Δ
7. จ๏ʢϞδϡʔϧͷར༻ʣ import Prelude; Prelude.grfͷத਎Λ͢΂ͯಡΈࠐΉ import Prelude as P; ΍ import Prelude.Int; ͸Ͱ͖ͳ͍
8. (SJ f f ͷϞδϡʔϧͷจ๏ module Hello = { -- ϞδϡʔϧHelloͷએݴ import Prelude; -- ϞδϡʔϧPreludeͷΠϯϙʔτ main = { putStr (String# "hello"#); putStrLn |> { f -> f (String# " world"#) }; }; }
9. ॲཧܥͷ࣮૷
10. ࣮૷ͷํ਑ w Ϟδϡʔϧͷ࣮૷ʹ͸େ͖͘Θ͚ͯ̎ͭͷύλʔϯ͕͋Δ
     ιʔείʔυΛ̍ͭʹͭͳ͛Δ 
 ࣮૷͸؆୯͕ͩɺιʔείʔυͷαΠζ͕രൃ͔͠Ͷͳ͍
     ϦϯΫ࣌·Ͱ֤ϞδϡʔϧΛόϥόϥʹѻ͏ 
 ࣮૷͸େม͕ͩɺ෼ׂίϯύΠϧͰ͖ͯੑೳతʹ༗ར
    w ࠓճ͸Λ࣮૷ʢ͸$ίϯύΠϥΛ࡞ͬͨͱ͖ʹ΍ͬͨͷͰʣ
11. ࣮૷ͷ࡞ઓʢ̍ʣ w ࿩Λ؆୯ʹ͢ΔͨΊɺ࣍ͷΑ͏ͳιʔείʔυΛߟ͑Δ 
 
 NPEVMF
    $IJME
    
    \ 

    
    JNQPSU
    1BSFOU 
 ^ 
 
 $IJME͕1BSFOUΛΠϯϙʔτ͍ͯ͠Δ
12. ࣮૷ͷ࡞ઓʢ̎ʣ w $IJMEΛίϯύΠϧ͢ΔͨΊʹ͸ɺ1BSFOUʹؔ͢ΔҎԼͷ৘ใ͕ඞཁ
    w ܕએݴͷҰཡ
    w ؔ਺ͷܕͷҰཡ
    w ιʔείʔυ্ͷؔ਺໊ͱɺ໊લղܾޙͷؔ਺໊ͷରԠද
    w (SJ f f Ͱͷؔ਺໊ͱɺ--7.
    *3Ͱͷؔ਺໊ʢΞηϯϒϥͷϥϕϧ໊ʣͷରԠද
    w தஔԋࢉࢠͷ݁߹ॱҐͷҰཡ
13. ࣮૷ͷ࡞ઓʢ̏ʣ w ຖճ1BSFOUͷιʔείʔυΛಡΈऔΔͱඇޮ཰ 
 1BSFOUͷίϯύΠϧ࣌ʹɺඞཁͳ৘ใ͚ͩϝϞ͓ͯ͘͠
    w ϝϞ͸1BSFOUHS f i ʹอଘɻ$ͷϔομϑΝΠϧͷΑ͏ͳΠϝʔδ 
 ʢਓ͕ؒಡΉඞཁ͸ͳ͍ͷͰద౰ʹΤϯίʔυͯ͠อଘ͢Δʣ
14. ίϯύΠϧͷྲྀΕ  1BSFOUHSGͷίϯύΠϧ
     1BSFOUPɺ1BSFOUHS f i ͷੜ੒
     $IJMEHSGͷίϯύΠϧ
     1BSFOUHS f i ͷಡΈࠐΈ
     $IJMEPɺ$IJMEHS f i Oͷੜ੒
     1BSFOUPͱ$IJMEPͷϦϯΫ
15. ·ͱΊ w ࣗ࡞ݴޠ(SJ f f ʹϞδϡʔϧΛ࣮૷ͨ͠
    w ͍͔ͭ͘ͷ%FTJHO
    DIPJDF͕͋ͬͨ
    w จ๏ɺػೳɺ࣮૷ํ๏
    50%0ɿϞδϡʔϧͷґଘؔ܎ΛࣗಈͰղܾ͢ΔϏϧυγεςϜ 
 ɹɹɹɹΑΓߴػೳͳϞδϡʔϧͷ࣮ݱ 
 ɹɹɹɹඪ४ϥΠϒϥϦͷ੔උ
16. ༨ஊ HS f i ϑΝΠϧͷੜ੒ʹ͸)BTLFMMͷγϦΞϥΠζϥΠϒϥϦTFSJBMJ[FΛ࢖ͬ ͨɻੜ੒͞ΕͨϑΝΠϧΛݟͯΈΔͱ΍ͨΒ͕ଟ͍ɻ
    Ͳ͏ͯͩ͠Ζ͏ͱߟ͑ͯΈΔͱɺ)BTLFMMͷ$IBSʢจࣈܕʣ͸6OJDPEF
    DPEF
    QPJOUΛද͍ͯ͠ΔɻTFSJBMJ[F͸͜ΕΛ65'-&ͰΤϯίʔυ͢Δͷ Ͱ͕ଟ͘ͳΔͬΆ͍ɻ