From 665489d7a77589a2b3f755707216f38161f0ca6a Mon Sep 17 00:00:00 2001
From: "Matsuura Tomoya(Windows)" <me@matsuuratomoya.com>
Date: Sun, 3 Aug 2025 23:54:37 +0900
Subject: [PATCH] [obsidian] vault backup: 2025-08-03 23:54:37[

---
 content/mimiumのモジュールシステム.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/content/mimiumのモジュールシステム.md b/content/mimiumのモジュールシステム.md
index cc64fd18..60ef6695 100644
--- a/content/mimiumのモジュールシステム.md
+++ b/content/mimiumのモジュールシステム.md
@@ -119,6 +119,18 @@ fn hoge(){
 
 ここまでしか型は決定できないということに
 
+ただまあ、型が決定不能ならその時コンパイルエラーにすればいいだけで、一応型推論自体は無限ループに陥らず完了するのか？
+
+型付け手順
+
+- モジュールA読み込み開始
+- モジュールー型宣言マップにファイル名登録
+- use modBの解釈開始
+	- マップに問い合わせ、ファイルがないのでファイル読み込み開始
+- use modAの解釈開始
+	- マップに問い合わせ、ファイルがあったのでそれを参照
+- 
+
 ---