Haskell でつくる VM 〜散りゆく Endomorphism〜

関数型LT大会の LT です http://connpass.com/event/5795/

Transcript

1. Haskell Ͱͭ͘Δ VM ʙࢄΓΏ͘ Endomorphisʙ taiki45
2. ϓϩάϥϛϯάྺ2೥൒ͷ
3. ϖϧγΞޠ͠Ό΂Δ
4. ͓͔͞ͳ
5. ε( ε^o^)э
6. hs-vm Simple Virtual Machine written in Haskell. ! https://github.com/taiki45/hs-vm
7. Why VM
8. ܭࢉػͷ ιϑτ΢ΣΞ࣮૷
9. Register Machine vs Stack Machine
10. hs-vm has no StateT
11. Endomorphism
12. Endomorphism A ࢝ҬͱऴҬ͕ಉ͡୅਺ܥͰ͋ΔΑ͏ͳ४ಉܕࣸ૾
13. Endomorphism A ࢝ҬͱऴҬ͕ಉ͡ू߹Ͱ͋ΔΑ͏ͳؔ਺
14. VM ͱ໋ྩ V ͋ΔVMΛߟ͑Δ ͦͷVM͕ͱΔঢ়ଶͷू߹Λ V ͱ͢Δ [1,2] [3] [3,4,5]
15. VM ͱ໋ྩ V [3,4] [1,2,4] Add
16. VM ͱ໋ྩ VM ͷ໋ྩ͸ Endomorphism ͱߟ͑ΒΕΔ V
17. ໋ྩͷ߹੒
18. Monoid (M, ŋ) m ŋ i = m = i ŋ m m ŋ (m ŋ m) = (m ŋ m) ŋ m
19. ਖ਼ͷ੔਺ (N, ×) 3 × 1 = 3 = 3 × 1 3 × (4 × 5) = (3 × 4) × 5
20. Ϧετ (L, ++) [1, 2] ++ [] = [1, 2] = [] ++ [1, 2] [1] ++ ([2] ++ [3]) = ([1] ++ [2]) ++ [3]
21. Endomorphism as Monoid A id f g f . id = f = id . f (h . g) . f = h . (g . f) h
22. VM ͱ໋ྩ V f f: VM → VM f: ॳظঢ়ଶ → ऴྃঢ়ଶ
23. VM ͷ࣮ߦͱ͸
24. ͻͱͭͷࣸ૾Λ ୳͢͜ͱͩͬͨΜͩʂ
25. ͋Γ͠೔ͷ VM ͷ࣮ߦ Dual ͸૒ର Endo ͷ૒ର͸ͦͷ߹੒ॱং͕ٯ 144c3a3dbdb
26. ৚݅δϟϯϓ
27. ݱࡏͷ VM ࣮ߦ V Endo Λॱ࣍ద༻͍ͯ͘͠ελΠϧ ࣍ʹద༻͢Δࣸ૾Λ program counter Λ΋ͱʹ୳͢
28. ֶͼ • ػցޠ(ΞηϯϒϦݴޠ)ͱͷରԠ • call convention