tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[obsidian] vault backup: 2025-08-24 00:43:19[
All checks were successful
Build / build (push) Successful in 21m57s
Details

Browse Source
This commit is contained in:
Matsuura Tomoya(Windows)
2025-08-24 00:43:19 +09:00
parent a05e699d6d
commit 1cc682870a
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
content/mimiumのモジュールシステム.md
View File

@@ -10,7 +10,12 @@
- 操作的意味論的にもある程度一貫性がある - 操作的意味論的にもある程度一貫性がある
- モジュール内ではシンボルの相互参照が可能（後から定義されるシンボルでも参照可能） - モジュール内ではシンボルの相互参照が可能（後から定義されるシンボルでも参照可能）
で、デザインチョイスのトレードオフとしては意味論を楽にしようと思うと分割コンパイルがめんどくさくなる 分割コンパイルができるということは、依存するファイルを毎回コンパイルしないでも、型情報のキャッシュが残ってれば再利用できるということ
バラバラのMIRとしてコンパイルできて、関数や定数はmonomorphizeされたユニークな名前：値の対応関係が1:1で付く
デザインチョイスのトレードオフとしては意味論を楽にしようと思うと分割コンパイルがめんどくさくなる
複数のコードを合体させるときに、流用されるコードの複製が増える問題 複数のコードを合体させるときに、流用されるコードの複製が増える問題
@@ -42,7 +47,8 @@ mod modname{//ソースファイルと同じ宣言
``` ```
```rust ```rust
mod(stage-1){//ステージの変更 mod modname{//ステージの変更
@stage = macro
// //
} }
``` ```