C言語でオリジナルのプログラミング言語を作成したいと考えているのですが、そのようなことは可能でしょうか。
可能な場合はどのような手順で作れば良いのか教えて下さい。
試したこと
- 検索してみた(実際に検索するとC#とかC++とか少し違う言語が出てきました)
どのような言語を作るか => 「ターゲット言語」
どのような言語で記述するか => 「記述言語」
「ターゲット言語」がコンパイラーだとすると,
ソースコードの文(文字列)を解析し, 実行できるものを生成し, (必要時に)実行
例として適当な「ターゲット言語」と, 適当な実行環境(そのアセンブリ言語もしくは機械語)を示します
ソースコード:
print(12 + 345)
生成するもの (アセンブリ言語もしくは機械語)):
LOAD_VALUE 12
LOAD_VALUE 345
ADD_TWO_VALUES
PRINT_ANSWER
「記述言語」は, 最低限 このような変換を行うことができればよいので, ほとんどすべてのプログラミング言語で作成できます(可能か不可能かで言えば)
ただ, 積み上げられた土砂を運ぶのにショベルカーか, スプーンで一杯一杯運ぶか … 可能か不可能かで言えばスプーンでも可能だけど, そんな場面でスプーン使う人はいないでしょう。逆に, 精密な操作が必要な場面では (その場面に適した)別の道具選ぶことになるでしょう
このため「記述言語」はシステムプログラミング言語 で行われることが多いようです (C言語も当然含まれる)
コンパイラーとインタープリターは, 「翻訳」と「通訳」に例えられることが多いけれど, 速度や処理内容を考えると, 以下の手順になるでしょう
前者は, 生成する内容が異なるだけで コンパイル動作とほぼ同様の処理で
例えば Pythonでは, 以下の 3行の(ループ含む)コードを, このような bytecodeに変換します
>>> def myfunc(alist):
... s = sum(n for n in alist)
... return s / len(alist)
...
>>> import dis
>>> dis.dis(myfunc)
2 0 LOAD_GLOBAL 0 (sum)
2 LOAD_CONST 1 (<code object <genexpr> at 0x7f89d6ceb030, file "<stdin>", line 2>)
4 LOAD_CONST 2 ('myfunc.<locals>.<genexpr>')
6 MAKE_FUNCTION 0
8 LOAD_FAST 0 (alist)
10 GET_ITER
12 CALL_FUNCTION 1
14 CALL_FUNCTION 1
16 STORE_FAST 1 (s)
3 18 LOAD_FAST 1 (s)
20 LOAD_GLOBAL 1 (len)
22 LOAD_FAST 0 (alist)
24 CALL_FUNCTION 1
26 BINARY_TRUE_DIVIDE
28 RETURN_VALUE
Disassembly of <code object <genexpr> at 0x7f89d6ceb030, file "<stdin>", line 2>:
2 0 LOAD_FAST 0 (.0)
>> 2 FOR_ITER 10 (to 14)
4 STORE_FAST 1 (n)
6 LOAD_FAST 1 (n)
8 YIELD_VALUE
10 POP_TOP
12 JUMP_ABSOLUTE 2
>> 14 LOAD_CONST 0 (None)
16 RETURN_VALUE
bytecodeの解釈ステップは, これもまたシステムプログラミング言語が利用されることが多いようです
(ツールチェーンの例)
RPython というツールチェーンもあります (Frequently Asked Questions より)
PyPyのトランスレーションツールチェーンをPython以外の言語にも使えますか?
はい、PyPyインタープリターを翻訳するツールスイートはかなり汎用的で、 Pythonだけでなく、どんな言語のインタープリタの最適化版を作るのにも使えます。 もちろん、これらのインタープリタはPyPyがPythonにもたらしたものと同じ機能を使うことができます。 具体的には様々な言語の翻訳機能、スタックレス、ガベージコレクション、任意長整数型などの様々実装などです。
現在、JavaScriptインタープリタの暫定版を作っています。(Leonardo Santagadaが夏のPyPyプロジェクトでやっていました) Prolog interpreter の暫定版(Carl Friedrich Bolzの学士論文)や SmallTalk interpreter の暫定版(スプリント中に作られました)もあります。 PyPy bitbucket page にはSchemeとIoの実装もあります。どちらもいまはまだ完成していません。
(和訳) RPython詳細: PyPy - RPython toolchain
現在の原文ページ: Welcome to RPython’s documentation!
チュートリアルは古く, 記されてる URLが存在しないかもだけど, 内容は参考にできるかも
プログラミング言語は手段でしかないので、C言語を使うと決め付けなくてもいいのではないでしょうか。例えばC++言語も初期はC言語ソースへの変換ツールでした。TypeScriptはJavaScriptへの変換です。
言語そのものの設計と、コンパイラーの実装と、並行して開発していくといいんじゃないでしょうか。