「ぼくの／わたしの欲しいプログラミング言語」 を考えるにあたって 〜プログラミング言語処理系サイドからのポジショントーク

Transcript

1. ʮ΅͘ͷʗΘͨ͠ͷཉ͍͠ϓϩάϥϛϯάݴޠʯ 
 Λߟ͑Δʹ͋ͨͬͯ 
 ϓϩάϥϛϯάݴޠॲཧܥαΠυ͔ΒͷϙδγϣϯτʔΫ ๺۝भࢢཱେֶ ࢁ࡚ ਐɹ̍ ElixirͷݚڀΛ͍ͯ͠·͕͢ɼݴޠதཱͰ͓࿩͢͠Δͭ΋ΓͰ͢ ·ͨཧ࿦Ͱ͸ͳ͘ίʔυੜ੒ɾ࠷దԽͷઐ໳ՈͰ͕͢ɼཧ࿦ʹ͍ͭͯ஌͍ͬͯΔൣғͰ͓࿩͠͠·͢ 1 ©︎ 2021 Susumu Yamazaki
2. Cݴޠͷཧ૝૾(͋͘·Ͱཧ૝૾) 2 ©︎ 2021 Susumu Yamazaki
3. ͔͠͠ɼ͜ͷCݴޠͷཧ૝૾͸࣮ݱͰ͖ͳ͍ • ࣍ͷΑ͏ͳཧ༝Ͱɼ͜ͷCݴޠͷཧ૝૾͸࣮ݱͰ͖ͳ͍ • ϓϩάϥϛϯάݴޠͰ͸ɼػೳΛࣗ༝ʹ૊Έ߹Θͤͯϓϩάϥϛϯά Ͱ͖ͯ͠·͏ • ͦͷΑ͏ͳ೚ҙͷϓϩάϥϜʹ͍ͭͯɼʮࣗ෼ͷ଍Λܸͪൈ͘Α͏ ͳʯෆ۩߹͕ଘࡏ͢Δ͔Ͳ͏͔ɼଘࡏ͢Δͱͨ͠ΒͲ͜ʹଘࡏ͢Δ͔ ΛɼܭࢉʹΑͬͯ൑ఆ͢Δ͜ͱ͸ෆՄೳ • ͦͷҰྫͱͯ͠͸ɼͨͱ͑͹ఀࢭੑ໰୊ʮ೚ҙͷϓϩάϥϜ͕ແݶ ϧʔϓ͠ͳ͍͜ͱΛ൑ఆ͢ΔΑ͏ͳϓϩάϥϜ͸ܭࢉՄೳͰ͸ͳ͍ʯ Ͱࣔ͞Ε͍ͯΔ • ͦͷͨΊɼݱ࣮తʹ͸ɼϓϩάϥϛϯάʹؔͯ͠ద੾ͳ੍໿Λ༩͑Δ 
 ͜ͱͰɼෆ۩߹ͷೖΓʹ͍͘ϓϩάϥϛϯά͕Ͱ͖ΔΑ͏ʹ͍ͯ͠Δ • CݴޠͰ͋ͬͯ΋ɼߏ଄ԽఆཧΛഎܠʹͯ͠ɼgotoจΛۃྗഉআ͢Δ Α͏ͳ੍໿Λ༩͑Δ͜ͱͰɼଏʹ͍͏ʮεύήοςΟϓϩάϥϜʯʹ ͳΒͳ͍Α͏ʹ͍ͯ͠Δ 3 ©︎ 2021 Susumu Yamazaki
4. ݱ୅తͳϓϩάϥϛϯάݴޠʹ͓͚Δ੍໿ • Rustͷ৔߹ • GCϨεͰܕ҆શͳίʔυʹͳΔΑ͏ʹ͍ͯ͠Δ • ͦͷͨΊʹ࣍ͷΑ͏ʹ࣮ͯ͠ݱ͍ͯ͠Δ • ܕཧ࿦Λഎܠʹ੍ͯ͠໿Λ༩͑Δ • ม਺ͷ஋ͷίϐʔʹ੍໿Λ༩͑Δ • Elixirͷ৔߹ • ࣍ͷ͜ͱΛ࣮ݱ͍ͯ͠Δ • ฒߦɾฒྻॲཧͰσουϩοΫ౳ͷෆ۩߹͕ۃྗੜ͡ͳ͍ • ಉظɾഉଞ੍ޚͰύϑΥʔϚϯε͕ۃྗམͪͳ͍ • ͦͷͨΊʹ࣍ͷΑ͏ʹ͍ͯ͠Δ • ϝϞϦΛ௚઀ڞ༗͠ͳ͍ϓϩηεͱϝοηʔδύογϯά ͷϞσϧʹج੍ͮ͘໿Λ༩͑Δ • ฒߦܭࢉϞσϧͷ1ͭͰ͋ΔΞΫλϞσϧʹԊͬͯܭࢉ͕ 
 ਐߦ͢ΔΑ͏ʹ੍໿Λ༩͑ͯઃܭ͢Δ • ม਺Λ্ॻ͖ߋ৽Ͱ͖ͳ͍ΠϛϡʔλϒϧੑΛ࣋ͨͤΔ 
 ੍໿Λ༩͑Δ 4 ©︎ 2021 Susumu Yamazaki
5. ΅͘ͷʗΘͨ͠ͷཉ͍͠ϓϩάϥϛϯάݴޠΛߟ͑Δʹ͋ͨͬͯ • ୯ʹػೳͱͯ͠ͲͷΑ͏ͳ΋ͷ͕ཉ͍͠ͷ͔Λٞ࿦͢Δ͚ͩͩͱɼʮશ෦ೖΓʯʹ ͳͬͯ͠·ͬͯɼ݁Ռͱ࣮ͯ͠ݱෆՄೳͳ΋ͷʹͳͬͯ͠·͏ • ࣮ͷ͋Δٞ࿦Λ͢ΔͨΊʹ͸ɼ࣍ͷΑ͏ͳʮҾ͖ࢉʯࢥߟ͕ٻΊΒΕΔ • ͲͷΑ͏ͳෆ۩߹ΛؚΉϓϩάϥϜΛഉআ͢ΔΑ͏ʹ͍ͨ͠ͷ͔ʁ • ૊ࠐΈγεςϜ։ൃऀͰ͋ΔύωϦετɾࢀՃऀͷΈͳ͞·ʹ↑ͷ໰͍͔͚Λ͍ͨ͠ 5 ©︎ 2021 Susumu Yamazaki