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) -これマクロとして実装してあるので、分割コンパイルとかは全然考慮されてないけど意味論はすっきり +これマクロとして実装してあって、それこそレコードとして出力されるだけなので、分割コンパイルとかモジュール内相互参照とかは全然考慮されてないけど意味論はすっきり