From 685180aa47d86eda4b88d8ab29627dbbc6614d70 Mon Sep 17 00:00:00 2001 From: "Matsuura Tomoya(Windows)" Date: Sun, 3 Aug 2025 20:51:56 +0900 Subject: [PATCH] [obsidian] vault backup: 2025-08-03 20:51:56[ --- content/mimiumのモジュールシステム.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/content/mimiumのモジュールシステム.md b/content/mimiumのモジュールシステム.md index ab69bc11..3f54c5dc 100644 --- a/content/mimiumのモジュールシステム.md +++ b/content/mimiumのモジュールシステム.md @@ -43,6 +43,8 @@ mod(macro) modname{ - モジュール単位でMIRとバイトコードを生成して、あとからリンクできるようにする - ただし、ステージ0マクロの展開もしないといけないので、ASTも出力して保持していないといけない +モジュールを値としてレコード型に型付けできると話が早いんだけど、それ一級モジュールの機能だよな + #### 意味論 ```rust @@ -100,6 +102,6 @@ Pythonのモジュールシステム　[Python's Import System - Module object|R [[Gluon]]のモジュール　[Modules - Gluon Documentation](https://gluon-lang.org/doc/crates_io/book/modules.html) -これマクロとして実装してあるので、分割コンパイルとかは全然考慮されてないけど意味論はすっきり +これマクロとして実装してあって、それこそレコードとして出力されるだけなので、分割コンパイルとかモジュール内相互参照とかは全然考慮されてないけど意味論はすっきり