[obsidian] vault backup: 2025-08-03 15:50:28[
	
		
			
	
		
	
	
		
	
		
			All checks were successful
		
		
	
	
		
			
				
	
				Build / build (push) Successful in 7m56s
				
			
		
		
	
	
				
					
				
			
		
			All checks were successful
		
		
	
	Build / build (push) Successful in 7m56s
				
			This commit is contained in:
		@@ -30,6 +30,7 @@ https://github.com/mimium-org/mimium-rs
 | 
			
		||||
- [[mimiumのMIRコンパイル過程を真面目に考える]]
 | 
			
		||||
- [[lambda-mmm(実用版)]]
 | 
			
		||||
- [[mimiumグローバル環境評価について]]
 | 
			
		||||
- [[mimiumのモジュールシステム]]
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
## マクロ
 | 
			
		||||
 
 | 
			
		||||
							
								
								
									
										23
									
								
								content/mimiumのモジュールシステム.md
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										23
									
								
								content/mimiumのモジュールシステム.md
									
									
									
									
									
										Normal file
									
								
							@@ -0,0 +1,23 @@
 | 
			
		||||
#mimium 
 | 
			
		||||
 | 
			
		||||
モジュールシステムの意味論と実装について考える
 | 
			
		||||
 | 
			
		||||
### 必要要件
 | 
			
		||||
 | 
			
		||||
分割コンパイルできる、かつ、意味論的にもある程度一貫性がある
 | 
			
		||||
 | 
			
		||||
```rust
 | 
			
		||||
//関数のvisibilityセッティングはRustとおなじで
 | 
			
		||||
pub fn (){
 | 
			
		||||
 | 
			
		||||
}
 | 
			
		||||
pub const hoge = 100
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
```
 | 
			
		||||
 | 
			
		||||
```
 | 
			
		||||
Program = FunctionDefinition
 | 
			
		||||
         |GlobalDeclaration
 | 
			
		||||
         |ModuleDeclaration
 | 
			
		||||
```
 | 
			
		||||
		Reference in New Issue
	
	Block a user