Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
自作言語のすすめ(OSC21Aizu版)
Search
soukouki
August 29, 2021
Technology
0
630
自作言語のすすめ(OSC21Aizu版)
OSC21Aizuで発表したLTスライドです。
soukouki
August 29, 2021
Tweet
Share
More Decks by soukouki
See All by soukouki
Misskey自鯖を建ててみた
soukouki
0
51
1年前の日記を要約するツールをローカルLLM&自作MCPサーバーで作った話
soukouki
0
230
自作Cコンパイラ 8時間の奮闘
soukouki
0
1.6k
定理証明支援系Coq(セキュリティキャンプLT会)
soukouki
1
200
Coqで選択公理を形式化してみた
soukouki
0
420
「プログラミング」と「数学」の関係 〜カリー・ハワード同系対応と定理証明支援系Coq〜
soukouki
1
290
型クラスと依存型のカルパッチョ、代数的構造を添えて
soukouki
2
570
Coqのコントリビューターになった話
soukouki
0
210
次に流行る※プログラミング言語「Lean」
soukouki
4
2.7k
Other Decks in Technology
See All in Technology
5年目から始める Vue3 サイト改善 #frontendo
tacck
PRO
3
230
Django's GeneratedField by example - DjangoCon US 2025
pauloxnet
0
150
250905 大吉祥寺.pm 2025 前夜祭 「プログラミングに出会って20年、『今』が1番楽しい」
msykd
PRO
1
980
開発者を支える Internal Developer Portal のイマとコレカラ / To-day and To-morrow of Internal Developer Portals: Supporting Developers
aoto
PRO
1
470
Evolución del razonamiento matemático de GPT-4.1 a GPT-5 - Data Aventura Summit 2025 & VSCode DevDays
lauchacarro
0
210
現場で効くClaude Code ─ 最新動向と企業導入
takaakikakei
1
260
AWSを利用する上で知っておきたい名前解決のはなし(10分版)
nagisa53
10
3.2k
JTCにおける内製×スクラム開発への挑戦〜内製化率95%達成の舞台裏/JTC's challenge of in-house development with Scrum
aeonpeople
0
250
初めてAWSを使うときのセキュリティ覚書〜初心者支部編〜
cmusudakeisuke
1
270
AIをプライベートや業務で使ってみよう!効果的な認定資格の活かし方
fukazawashun
0
100
未経験者・初心者に贈る!40分でわかるAndroidアプリ開発の今と大事なポイント
operando
5
730
Rustから学ぶ 非同期処理の仕組み
skanehira
1
150
Featured
See All Featured
Product Roadmaps are Hard
iamctodd
PRO
54
11k
ReactJS: Keep Simple. Everything can be a component!
pedronauck
667
120k
Mobile First: as difficult as doing things right
swwweet
224
9.9k
The Invisible Side of Design
smashingmag
301
51k
The Psychology of Web Performance [Beyond Tellerrand 2023]
tammyeverts
49
3k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
131
19k
The Cost Of JavaScript in 2023
addyosmani
53
8.9k
A Tale of Four Properties
chriscoyier
160
23k
Facilitating Awesome Meetings
lara
55
6.5k
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
32
1.6k
Six Lessons from altMBA
skipperchong
28
4k
What's in a price? How to price your products and services
michaelherold
246
12k
Transcript
自作言語のすすめ シン・プログラミング自作版
自己紹介 会津大学 学部1年の sou7 / soukouki です。 twitter:@sou7___ (アンダーバーは3つ!) discord:sou7#0094
github:soukouki atcoder:soukouki
かわいい!
すごいかわいい!
自作〇〇、といえば? 自作PC 自作OS そのなかでもやっぱり! 自作言語 これは外せない!
インタプリタとコンパイラ 言語の処理系を作るには、大まかに インタプリタ トランスパイラ コンパイラ のどれかを作ることになります。 この中では、インタプリタの実装が一番簡単(構文木を使って実行するだけで済む)の で、今回はインタプリタを実装しました。
インタプリタの構造 インタプリタは、概ね次の3段階の処理に別れます。 字句解析 ソースコード(文字列)をトークン(後ほど説明します)の列に切り分ける処理 構文解析 トークンの列を木構造の抽象構文木(これも後ほど説明します)に解釈する処理 評価 抽象構文木を使ってプログラムを実行する処理 これら3つの処理の実装方法などについても触れていきます。 余談ですが、実行速度が重要なインタプリタ(RubyやNode.jsなど)は更に何段階かに分
かれているそうです。
トークンとはなんぞや トークンとは、一言で言えばコード上で意味を持つ最小単位の文字の並びです。 具体的にはこんなものです。 予約語 (C言語でいう if とか const とか。yokan言語には予約語はありません。) リテラル
( 123 , "str" のような、プログラム上の数値や文字列) 識別子 (関数名や変数名のような、プログラム上で自由に名前をつけられるもの) 演算子 ( == , < , + ) 括弧 デリミタ (カンマとか)
抽象構文木とはなんぞや 抽象構文木とは、コードの構造を木構造で表したものです。 今回はGoの構造体を組み合わせて表現しました。 具体例 1+2*3 は字句解析で 1 + 2 *
3 のようなトークンの列になり、さらに構文解析で Add(1, Mul(2, 3)) このような抽象構文木になります。
字句解析 字句解析とは、ソースコードの文字列から、トークンの列に変換する処理です。 yokan言語では、その文字と、その次の文字を見ることでトークンを区別できるように なっています。( = と == を考えてみると良いでしょう) たいていの言語では、コメントはこの段階で除去されます。(yokan言語にコメントは ありません...)
実装はそこまで難しくないです。
構文解析 構文解析とは、字句解析で得られたトークンの列から、抽象構文木に変換する処理で す。 この構文解析には幾つもアルゴリズムがあります。今回はその中から再帰下降構文解 析という、比較的素朴な方法を使いました。 ちなみに、構文解析を高速に行うために更に高度な構文解析のアルゴリズムを使うこ とが多いのですが、そのコードは複雑で人には書けないため、ソースコードを生成す るコンパイラ(パーサジェネレータ、コンパイラコンパイラとも)を使うことが多いで す。
再帰下降構文解析 再帰下降構文解析は、相互再帰(複数の関数を組み合わせて作る再帰)で構成される構文 解析のアルゴリズムです。 アルゴリズムを構成する関数(または処理のまとまり)と、解析する言語の文法が1対1に 対応するため、簡単に実装できます。
具体例 Wikipedia「再帰下降構文解析」より引用 void term(void) { factor(); while (sym == times
|| sym == slash) { getsym(); factor(); } } void expression(void) { if (sym == plus || sym == minus) getsym(); term(); while (sym == plus || sym == minus) { getsym(); term(); } } (yokanではもう少しごちゃごちゃした処理を書いています。)
構文木を使った評価 インタプリタなどでは、プログラムを実行することを「評価する」と言うことが多い です。 yokan言語では、構文解析で得られた構文木を使って、直接評価しています。 func evalMinusPrefixOperatorExpression(right object.Object) object.Object { //
型チェック err, ok := checkTypeIsInteger("MinuPrefixOperator", right) if !ok { return err } // 内部の整数を取得 value := right.(*object.Integer).Value // マイナス演算子を適用 return &object.Integer{Value: -value} }
yokan言語の推しポイント yokan言語では無名関数は '(' <カンマ区切りの引数リスト> ')' '{' <文> '}' というかなりシンプルな構文を使います。これによって if(
cond, (){puts(true)}, (){puts(false)} )() という形で、if関数 を使って条件分岐を実装できます。
yokan言語について リポジトリはこちらです。 プルリクエスト歓迎してます! https://github.com/soukouki/yokan
yokan言語でFizzBuzzを実装してみた! remainder=(n,d){n-(n/d)*d} fizzbuzzii=(n){ if( remainder(n,15)==0, (){puts("fizzbuzz\n")}, (){ if( remainder(n,3)==0, (){puts("fizz\n")},
(){ if( remainder(n,5)==0, (){puts("buzz\n")}, (){puts(n)} )() } )() } )() } fizzbuzzi=(max,n){ fizzbuzzii(n) if( max>n, (){fizzbuzzi(max,n+1)}, (){} )() } fizzbuzz=(max){ fizzbuzzi(max,1) } fizzbuzz(15) (改行はうまく読み込めないので、動かすには改行を取り除く必要があります。)
参考図書 「Go言語でつくるインタプリタ」 https://www.oreilly.co.jp/books/9784 873118222/ 基本的な構造はこの本と同じです。 ただ、構文が違ったり、構文解析の アルゴリズムが違ったりと、自分で アレンジした箇所も多くあります。
ありがとうございました!