Slide 35
Slide 35 text
δΣωϦΫεͷίʔυੜͷ࣮
Λௐࠪ
• શͯͷΛ1ϫʔυͰදݱ͢ΔʢOCaml, SML/NJ ͳͲʣ
• int float ͦͷ··ɼͦΕҎ֎ͷώʔϓͳͲʹͱͬͯϙΠϯλͰѻ͏
• ਖ਼֬ͳ GC ͷͨΊɼϙΠϯλ͔ͦ͏Ͱͳ͍͔அ͢ΔͷʹԼҐ̍ϏοτʹλάΛೖΕΔ
ඞཁ͕͋Δ
• ଟ૬ͳ͕औΔܕ͝ͱʹίʔυΛෳ͢Δʢmlton, Crystal, C++ (, Rust) ͳͲʣ
• i.e. id: ‘a -> ‘a ͕ int -> int ͰΠϯελϯεԽ͞Ε͍ͯΔͳΒ id_int: int -> int Λੜ
• ࣮ߦ࣌ͷΦʔόʔϔουগͳ͍͕ίʔυαΠζ͕രൃ͠͏ΔɽׂίϯύΠϧ͕͍͠
• ܕΫϥεΛఆٛ͠ɼܕΫϥε͝ͱͷ࣮ΛؔͷࣙॻͰ͢ʢHaskell (,Rust) ͳͲʣ
• ࣙॻ͔Βݺͼग़ؔ͢ΛҾ͍ͯ͘ΔΦʔόʔϔου͕͋Δ͕ɼ͍ؔΠϯϥΠϯԽʹ
ΑΓίʔυෳͱಉ͡ޮՌ͕ظͰ͖Δ