自作言語コンパイラを作った話

OSC広島2020の学生LTで発表したスライドです。
https://github.com/takoeight0821/malgo

Transcript

1. ࣗ࡞ݴޠίϯύΠϥΛ࡞ͬͨ࿩ ޿ౡࢢཱେֶɹՏ໺༤໵
   ੕ʹΌʔΜʢ!UBLPFJHIUʣ
   04$޿ౡ 1
2. ࣗݾ঺հ w ޿ౡࢢཱେֶ৘ใՊֶ෦৘ใ޻ֶՊ
   Տ໺༤໵
   w ੕ʹΌʔΜʢ!UBLPFJHIUʣ
   w ίϯύΠϥɺಛʹؔ਺ϓϩάϥϛϯάݴޠͷ ίϯύΠϥʹؔ৺͕͋Δ
   w ৘ใॲཧֶձͷ$4ྖҬ঑ྭ৆ʢ೥ʣ
   w ηΩϡϦςΟɾΩϟϯϓશࠃେձ
   ʢ೥$ίϯύΠϥࣗ࡞θϛʣ 2
3. .BMHPݴޠͷ঺հ 3
4. ࣗ࡞ݴޠ.BMHP w .JO$BNMɺ5JHFSɺ4UBOEBSE
   .-Λϕʔεʹͨࣗ͠࡞ݴޠʢԶݴޠʣ
   w ଟ૬ؔ਺ʢδΣωϦΫεʣɺؔ਺Ϧςϥϧʢແ໊ؔ਺ʣɺܕਪ࿦ͳͲͷ
   ػೳΛ΋ͭ
   w .JO$BNMͱ()$ͷ࣮૷Λࢀߟʹɺ)BTLFMMͰ࣮૷
   w IUUQTHJUIVCDPNUBLPFJHIUNBMHP 4
5. .BMHPͰॻ͍ͨϑΟϘφον਺ܭࢉϓϩάϥϜ let extern print_int : Int -> {} = "print_int" in let extern newline : () -> {} = "newline" in let fun fib(n) : Int = if n <= 1 then 1 else fib(n - 1) + fib(n - 2) in print_int(fib(10)); newline() 5
6. .BMHPͷίϯύΠϧ  ߏจղੳɹιʔείʔυΛจ๏ʹैͬͯղੳ͠ɺ"45Λग़ྗ
    ໊લղܾɹม਺એݴͱ࢖༻ՕॴΛղੳ͠ɺ͢΂ͯͷม਺ʹ࿈൪ΛৼΔ
    ܕݕࠪɹܕʹج͍ͮͯϓϩάϥϜΛݕࠪ͠ɺࣗ໌ͳόάΛࢦఠ
    ୤౶ҥɹܕݕࠪͷ৘ใΛݩʹɺ.BMHPΛΑΓγϯϓϧͳதؒදݱʹม׵
    ࠷దԽɹ͍͔ͭ͘ͷ؆୯ͳ࠷దԽΛࢪ͢
    ίʔυੜ੒ɹ--7.
   *3Λग़ྗ $MBOH
   3VTU
   4XJGUͱ͔Ͱ࢖ΘΕ͍ͯΔ
   ίϯύΠϥϑϨʔϜϫʔΫ 6
7. (SJ⒎ݴޠͷࢼΈ 7
8. ࣗ࡞ݴޠ(SJ⒎ w .BMHPίϯύΠϥͷίʔυੜ੒෦Λ࠶ར༻ͯ͠ɺ৽ͨͳݴޠॲཧܥΛ࡞Δ ࢼΈ
   w .BMHPͷઃܭɺ࣮૷ͰಘΒΕͨ஌ݟΛݩʹɺηϧϑϗετΛݟਾ࣮͑ͨ༻ ݴޠΛ໨ࢦͯ͠։ൃத
   w ஗ԆධՁΛهड़͢ΔܰྔͳߏจɺύλʔϯϚονͱ༥߹ͨؔ͠਺Ϧςϥϧ ͳͲɺΑΓ໺৺తͳػೳΛऔΓࠐΜͰ͍Δ 8
9. (SJ⒎Ͱॻ͍ͨϓϩάϥϜ data Bool = False | True; if :: Bool -> {a} -> {a} -> a; if c t f = c |> { True -> t! | False -> f! }; JGΛؔ਺ͱͯ͠ϢʔβʔఆٛͰ͖Δʂ 9
10. (SJ⒎Ͱॻ͍ͨϓϩάϥϜ data List a = Nil | Cons a (List a); sum = { Nil -> Int# 0L# | (Cons (Int# x) xs) -> sum xs |> {(Int# s) -> Int# (x +# s)} } ύλʔϯϚονͱ༥߹ͨؔ͠਺Ϧςϥϧ
    
    ͢΂ͯ୤౶ҥͨ͠.BMHPʹม׵͞ΕΔ 10