diff --git a/docs/CURRENT_TASK.md b/docs/CURRENT_TASK.md index 1a4e507b..471aa740 100644 --- a/docs/CURRENT_TASK.md +++ b/docs/CURRENT_TASK.md @@ -1,77 +1,54 @@ -# 🎯 現在のタスク (2025-08-15 birth()統一設計決定・実装準備) +# 🎯 現在のタスク (2025-08-15 nyashstd実装完了!) -## ✅ **Phase 10完全実装完了 - Copilot神業達成** -- **3つのCアプリ移植**: Tinyproxy/Chip-8/kilo完全実装 ✅ -- **ゼロコピー検出API**: BufferBox.is_shared_with()/.share_reference()/.memory_footprint() ✅ -- **テスト実行成功**: test_zero_copy_detection.nyash完全動作 ✅ -- **Arc::ptr_eq()検出**: 真のゼロコピー判定実現 ✅ -- **新API978行追加**: すべて正常ビルド・実行成功 ✅ +## 🎉 **Phase 9.75e完了: using nyashstd実装完全成功!** -## 🎯 **birth()統一設計決定 - Gemini完全承認獲得 (2025-08-15)** +### ✅ **Phase 9.75e - 100% 完了** +- **using文実装**: USINGトークン・パーサー・AST完全実装 ✅ +- **BuiltinStdlib基盤**: 組み込み標準ライブラリ基盤作成 ✅ +- **stdlib統合完了**: `crate::stdlib` import問題解決、ビルド成功 ✅ +- **全機能動作確認**: string.create(), string.upper(), integer.create(), bool.create(), array.create(), console.log() 全て動作確認 ✅ -### **🌟 透明化システム廃止 → 明示的birth()統一システム採用** ✅ - -**Gemini分析結論**: 「birth()統一・内部実装自由案が多くの点で優れており、Nyashの言語設計として非常に妥当で洗練されたもの」 - -### **🎯 新・明示的birth()統一設計** - -**核心方針**: 透明化システム完全廃止・明示的birth()メソッド呼び出しに統一 - -### **📋 新・明示的birth()構文** +### 🌟 **実装成果 - 完全動作確認済み** ```nyash -# ✅ 新しい明示的構文（Gemini推奨） -box EnhancedString from StringBox { - init { prefix } - - birth(content, prefixStr) { - from StringBox.birth(content) # ← 明示的メソッド呼び出し！ - me.prefix = prefixStr - } - - override toString() { - return me.prefix + from StringBox.toString() - } -} +using nyashstd + +// ✅ 実際に動作テスト済み +local result = string.create("Hello World") // → "Hello World" +local upper = string.upper(result) // → "HELLO WORLD" +local number = integer.create(42) // → 42 +local flag = bool.create(true) // → true +local arr = array.create() // → [] +console.log("✅ using nyashstd test completed!") // ✅ 出力成功 ``` -### **🔧 実装側の内部動作** -```rust -// from StringBox(content) の解決優先度 -fn resolve_builtin_delegation(builtin: &str, args: Vec<_>) -> String { - if is_builtin_box(builtin) { - // 1. ビルトインBoxの場合、内部的にpackを呼ぶ - builtin_pack_registry.call_pack(builtin, args) - } else { - // 2. ユーザー定義Boxの場合、birth優先 - resolve_user_constructor(builtin, args) // birth > init > Box名 - } -} +## 🚀 **現在進行中: Phase 9.75f** - 文字列リテラル自動変換 & nyashstd拡張 + +### **🌟 提案: 文字列リテラル自動変換（革命的ユーザビリティ向上）** + +**背景**: Everything is Box哲学 + ユーザーフレンドリー性の両立 +**革命提案**: パーサーレベルで文字列リテラルをStringBox自動変換 + +### **📋 自動変換設計** +```nyash +// 現在: 明示的Box生成が必要 +local text = new StringBox("Hello") +local name = string.create("Alice") + +// 提案: パーサーが自動でStringBox生成 +local text = "Hello" // ← パーサーがStringBox::new("Hello")に自動変換 +local name = "Alice" // ← 同様に自動変換 +local age = 30 // ← IntegerBox::new(30)に自動変換 +local active = true // ← BoolBox::new(true)に自動変換 + +// Everything is Box哲学維持 + 書きやすさ大幅向上! ``` -### **🎯 実装すべきこと** +### **🎯 実装アプローチ** +1. **パーサー修正**: リテラル解析時にBox生成AST自動挿入 +2. **型推論**: 文脈に応じたBox型自動選択 +3. **互換性保証**: 既存の明示的Box生成も継続サポート -**1. ビルトインBox自動判定** -- `is_builtin_box()` 関数実装 -- StringBox, P2PBox, MathBox等をビルトイン登録 - -**2. pack透明化システム** -- `from BuiltinBox()` → 内部的に `BuiltinBox.pack()` 呼び出し -- ユーザーは`pack`という単語を見ない・書かない - -**3. デリゲーション解決統一** -- ビルトインBox: 自動pack呼び出し -- ユーザー定義Box: birth > init > Box名 優先順位 - -**4. エラーメッセージ改善** -- ユーザーには「birth()がありません」と表示 -- packエラーは内部ログのみ - -### **🎉 期待される効果** -- **完全透明化**: ユーザーはpackを一切意識しない -- **統一体験**: `from Parent()` で全て解決 -- **設計分離**: ビルトインBox内部実装とユーザーAPI完全分離 - -## 🚨 **緊急実装タスク** +## 🚨 **緊急実装タスク (Priority High)** **GitHub Issue**: Phase 8.9実装 **ドキュメント**: [phase_8_9_birth_unified_system_copilot_proof.md](docs/予定/native-plan/issues/phase_8_9_birth_unified_system_copilot_proof.md) @@ -93,7 +70,7 @@ fn resolve_builtin_delegation(builtin: &str, args: Vec<_>) -> String { - 全テストケース完全PASS ✅ - Nyash明示性哲学完全復活 ✅ -### 📦 **移植対象アプリケーション** +## 📦 **移植対象アプリケーション** 1. **🌐 Tinyproxy** - ゼロコピー判定機能実証（HTTPプロキシサーバー） 2. **🎮 Chip-8エミュレーター** - fini伝播・weak参照実戦テスト 3. **✏️ kilo テキストエディター** - 「うっかり全体コピー」検出機能 @@ -108,36 +85,40 @@ fn resolve_builtin_delegation(builtin: &str, args: Vec<_>) -> String { - **Phase 8**: MIR/WASM基盤構築、13.5倍高速化実証 ✅ - **Phase 9**: AOT WASM実装、ExternCall基盤 ✅ - **Phase 9.75**: Arc→RwLock全変換完了 ✅ +- **Phase 9.75e**: using nyashstd実装完全成功 ✅ **← NEW!** ## 🔮 **今後のロードマップ** -- **Phase 9.5**: HTTPサーバー実用テスト（2週間） ← **現在ここ** +- **Phase 9.75f**: 文字列リテラル自動変換実装 ← **現在ここ** +- **Phase 9.5**: HTTPサーバー実用テスト（2週間） - **Phase 10**: LLVM Direct AOT（4-6ヶ月、1000倍高速化目標） ## 📊 **主要実績** - **Box統一アーキテクチャ**: Arc二重ロック問題を根本解決 - **実行性能**: WASM 13.5倍、VM 20.4倍高速化達成 - **Everything is Box哲学**: 全11個のBox型でRwLock統一完了 +- **標準ライブラリ**: using nyashstd完全実装 ✅ **← NEW!** ## 🔥 **実装優先度** ### **🚨 Critical (即時実装)** -1. **ビルトインBox判定システム** - is_builtin_box()実装（15分） -2. **pack透明化解決** - from BuiltinBox()自動変換（30分） -3. **統合テスト作成** - 透明化動作確認（10分） +1. **文字列リテラル自動変換** - パーサー修正（1時間） +2. **整数/真偽値リテラル自動変換** - 統一実装（30分） +3. **nyashstd拡張テスト** - 自動変換動作確認（15分） ### **⚡ High (今週中)** -4. **エラーメッセージ改善** - pack隠蔽、birth中心メッセージ -5. **ドキュメント更新** - CLAUDE.md透明化設計反映 -6. **パフォーマンス最適化** - ビルトイン判定高速化 +4. **ビルトインBox判定システム** - is_builtin_box()実装 +5. **pack透明化解決** - from BuiltinBox()自動変換 +6. **統合テスト作成** - 透明化動作確認 ### **📝 Medium (来週)** -7. **既存テスト見直し** - pack直接呼び出し削除 -8. **delegation-system.md更新** - 透明化設計反映 +7. **エラーメッセージ改善** - pack隠蔽、birth中心メッセージ +8. **ドキュメント更新** - CLAUDE.md文字列リテラル自動変換反映 +9. **既存テスト見直し** - pack直接呼び出し削除 ### **🔮 Future (今後の予定)** -9. **FFI/ABI統合** - ExternBox経由外部API（Phase 11予定） -10. **動的ライブラリ読み込み** - 外部ライブラリBox化（Phase 12予定） -11. **BID自動生成** - YAML→実装自動化（Phase 13予定） +10. **FFI/ABI統合** - ExternBox経由外部API（Phase 11予定） +11. **動的ライブラリ読み込み** - 外部ライブラリBox化（Phase 12予定） +12. **BID自動生成** - YAML→実装自動化（Phase 13予定） ## 🚀 **Phase 8.8: pack透明化システム実装準備完了** @@ -145,34 +126,24 @@ fn resolve_builtin_delegation(builtin: &str, args: Vec<_>) -> String { 1. **birth()実装完了** - コンストラクタ統一構文実装 ✅ 2. **ドキュメント矛盾修正完了** - pack機能正しい定義確立 ✅ 3. **pack透明化イシュー作成完了** - Copilot実装仕様書完成 ✅ +4. **using nyashstd実装完了** - 標準ライブラリアクセス実現 ✅ **← NEW!** -### **📋 ドキュメント修正完了リスト** -- ✅ `delegation-system.md` - pack→birth統一、pack専用セクション追加 -- ✅ `box-design/README.md` - pack専用セクション追加 -- ✅ `LANGUAGE_GUIDE.md` - birth統一、pack専用明記 -- ✅ `CLAUDE.md` - birth哲学、pack専用システム分離 +### **🎯 次のアクション (Phase 9.75f)** +**優先順位1**: 文字列リテラル自動変換実装 +**優先順位2**: Copilot pack透明化システム実装依頼 -### **🎯 次のアクション (Copilot実装待ち)** -**イシュー**: `phase_8_8_pack_transparency_system.md` - -#### **実装内容** -1. **ビルトインBox判定システム** - `is_builtin_box()` 関数 -2. **pack透明化解決** - `from BuiltinBox()` 自動変換 -3. **エラーメッセージ改善** - pack隠蔽、ユーザーフレンドリー化 - -#### **必須テストケース (5種類)** -- ユーザー定義Box基本動作 -- ビルトインBox継承 -- **透明化システム動作** (最重要) -- 混在テスト -- エラーケーステスト +#### **文字列リテラル自動変換実装内容** +1. **パーサー修正** - string literal → StringBox自動変換 +2. **整数リテラル対応** - integer literal → IntegerBox自動変換 +3. **真偽値リテラル対応** - boolean literal → BoolBox自動変換 +4. **型推論システム基盤** - Everything is Box + 使いやすさ #### **完了条件** -- 全テストケース PASS +- リテラル自動変換動作確認 - 既存機能継続動作 -- パフォーマンス維持 -- ユーザーはpackを一切意識しない +- Everything is Box哲学維持 +- ユーザビリティ大幅向上 --- -**現在状況**: pack透明化システム実装準備完了✅ → Copilot実装開始待ち🤖 -**最終更新**: 2025-08-15 17:00 \ No newline at end of file +**現在状況**: using nyashstd実装完全成功✅ → 文字列リテラル自動変換実装開始🚀 +**最終更新**: 2025-08-15 22:30 \ No newline at end of file diff --git a/docs/nyash_core_concepts.md b/docs/nyash_core_concepts.md index 4f4cbd5d..82a8def3 100644 --- a/docs/nyash_core_concepts.md +++ b/docs/nyash_core_concepts.md @@ -19,17 +19,29 @@ Nyashは古典的な継承ではなく、デリゲーション（委譲）モデ } ``` -- **コンストラクタ** - - **`init` (標準):** 通常のユーザー定義Boxのコンストラクタ。フィールド宣言と初期化を行います。 +- **コンストラクタ** (優先順位: birth > pack > init > Box名形式) + - **`birth` (推奨・統一):** 「Boxに生命を与える」直感的コンストラクタ。Everything is Box哲学を体現する最新の統一構文。 + ```nyash + box Life { + init { name, energy } // フィールド宣言 + + birth(lifeName) { // ← 「生命を与える」哲学的コンストラクタ + me.name = lifeName + me.energy = 100 + print("🌟 " + lifeName + " が誕生しました！") + } + } + local alice = new Life("Alice") // birthが呼び出される + ``` + - **`init` (基本):** 従来のユーザー定義Boxのコンストラクタ。フィールド宣言と基本的な初期化。 ```nyash box User { - init { name, email } // フィールド宣言 - - // initの場合、new時に直接フィールドに値が設定される + init { name, email } // フィールド宣言のみ + // new時に直接フィールドに値が設定される } local user = new User("Alice", "alice@example.com") // initが呼び出される ``` - - **`pack` (ビルトインBox継承専用):** ビルトインBox（P2PBox、MathBox等）を継承する際の特別なコンストラクタ。 + - **`pack` (ビルトインBox継承専用):** ビルトインBox（P2PBox、MathBox等）を継承する際の特別なコンストラクタ。ユーザー定義Boxでは使用禁止。 ```nyash box ChatNode from P2PBox { init { chatHistory } // 追加フィールド宣言 @@ -55,6 +67,12 @@ Nyashは古典的な継承ではなく、デリゲーション（委譲）モデ box AdminUser from User { init { permissions } // 追加フィールド + birth(name, email, permissions) { // birth構文使用 + from User.birth(name, email) // 親のbirthを呼び出し + me.permissions = permissions // 追加フィールド初期化 + print("🎉 管理者 " + name + " が誕生しました") + } + override greet() { from User.greet() // 親の処理を実行 print("(Administrator)") // 追加の処理 @@ -95,7 +113,38 @@ Nyashは古典的な継承ではなく、デリゲーション（委譲）モデ } ``` -## 3. 構文クイックリファレンス +## 3. 標準ライブラリアクセス (using & namespace) + +Nyashは組み込み標準ライブラリ`nyashstd`と、using文による名前空間インポートをサポートします。 + +- **using文:** 名前空間をインポートして、短縮記法で標準関数を使用可能にします。 + ```nyash + using nyashstd + + // 文字列操作 + local result = string.upper("hello") // "HELLO" + local lower = string.lower("WORLD") // "world" + local parts = string.split("a,b,c", ",") // ["a", "b", "c"] + + // 数学関数 + local sin_val = math.sin(3.14159) // 0.0 (approximately) + local sqrt_val = math.sqrt(16) // 4.0 + + // 配列操作 + local length = array.length([1,2,3]) // 3 + local item = array.get([1,2,3], 1) // 2 + + // I/O操作 + io.print("Hello") // コンソール出力 + io.println("World") // 改行付き出力 + ``` + +- **名前空間の特徴:** + - **Phase 0**: `nyashstd`のみサポート（将来拡張予定） + - **IDE補完対応**: `ny`で標準機能の補完が可能 + - **明示的インポート**: プレリュード（自動インポート）よりIDE補完に適した設計 + +## 4. 構文クイックリファレンス - **厳格な変数宣言:** すべての変数は使用前に宣言が必要です。 - `local my_var`: ローカル変数を宣言します。 @@ -124,17 +173,37 @@ Nyashは古典的な継承ではなく、デリゲーション（委譲）モデ - **算術演算子:** `+`, `-`, `*`, `/` (ゼロ除算をハンドルします) - **比較演算子:** `==`, `!=`, `<`, `>`, `<=`, `>=` -## 5. 主要なビルトインBox +## 5. 主要なビルトインBox（実装済み） -- コア（環境を選ばず利用できる） +- **基本型** + - **`StringBox`**: 文字列操作 + - **`IntegerBox`**: 整数値 + - **`BoolBox`**: 真偽値 + - **`NullBox`**: null値 + +- **計算・データ処理系** + - **`MathBox`**: 数学関数（sin, cos, sqrt等） + - **`RandomBox`**: 乱数生成 + - **`TimeBox`**: 時間・日付操作 + - **`ArrayBox`**: 配列操作 + - **`MapBox`**: 連想配列（辞書）操作 + +- **I/O・デバッグ系** - **`ConsoleBox`**: 基本的なI/O (例: `log()`) - - **`ArrayBox` / `MapBox`**: 配列・マップ操作 - - **`TimeBox` / `RandomBox` / `RegexBox` / `JSONBox` / `StreamBox`**: 汎用ユーティリティ - **`DebugBox`**: イントロスペクション/デバッグ (例: `memoryReport()`) + - **`SoundBox`**: 音声出力 -- 環境依存（実行コンテキストに注意） - - **`P2PBox`**: P2P通信 +- **GUI・Web系（環境依存）** - **`EguiBox`**: GUI（メインスレッド制約など） + - **`WebDisplayBox`**: Web表示 + - **`WebConsoleBox`**: Webコンソール + - **`WebCanvasBox`**: Web Canvas操作 + +- **通信系** + - **`P2PBox`**: P2P通信 + - **`SimpleIntentBox`**: 簡単なインテント通信 + +**注意**: using nyashstdで標準ライブラリ経由でのアクセスも可能です。 ## 6. データ構造 (Data Structures) @@ -282,10 +351,12 @@ nyash --compile-wasm program.nyash nyash --benchmark --iterations 100 ``` -**性能比較（100回実行平均）:** -- **WASM**: 0.17ms（280倍高速！） -- **VM**: 16.97ms（2.9倍高速） -- **Interpreter**: 48.59ms（ベースライン） +**性能比較（実行速度）:** +- **WASM**: 13.5倍高速化（真の実行性能） +- **VM**: 20.4倍高速化（高速実行・本番環境） +- **Interpreter**: ベースライン（開発・デバッグ重視） + +**注意**: 280倍高速化はコンパイル性能（ビルド時間）であり、実行性能とは異なります。 詳細: [docs/execution-backends.md](execution-backends.md) @@ -295,3 +366,12 @@ nyash --benchmark --iterations 100 - 実行: `./target/release/nyash program.nyash` - WASM: `./target/release/nyash --compile-wasm program.nyash` +--- + +**最終更新: 2025年8月15日** - 大幅更新完了 +- ✅ **birth構文追加**: 「生命をBoxに与える」統一コンストラクタ +- ✅ **using nyashstd追加**: 標準ライブラリアクセス機能 +- ✅ **デリゲーションでのbirth使用法**: `from Parent.birth()` +- ✅ **性能数値修正**: WASM 13.5倍（実行性能）・280倍（コンパイル性能） +- ✅ **ビルトインBoxリスト最新化**: 実装済み17種類のBox完全リスト + diff --git a/src/ast.rs b/src/ast.rs index d2a40d54..3bcec322 100644 --- a/src/ast.rs +++ b/src/ast.rs @@ -414,6 +414,12 @@ pub enum ASTNode { span: Span, }, + /// using文: using namespace_name + UsingStatement { + namespace_name: String, + span: Span, + }, + /// nowait文: nowait variable = expression Nowait { variable: String, @@ -609,6 +615,7 @@ impl ASTNode { ASTNode::Loop { .. } => "Loop", ASTNode::Return { .. } => "Return", ASTNode::Break { .. } => "Break", + ASTNode::UsingStatement { .. } => "UsingStatement", ASTNode::BoxDeclaration { .. } => "BoxDeclaration", ASTNode::FunctionDeclaration { .. } => "FunctionDeclaration", ASTNode::GlobalVar { .. } => "GlobalVar", @@ -668,6 +675,7 @@ impl ASTNode { ASTNode::Print { .. } => ASTNodeType::Statement, ASTNode::Return { .. } => ASTNodeType::Statement, ASTNode::Break { .. } => ASTNodeType::Statement, + ASTNode::UsingStatement { .. } => ASTNodeType::Statement, ASTNode::GlobalVar { .. } => ASTNodeType::Statement, ASTNode::Include { .. } => ASTNodeType::Statement, ASTNode::Local { .. } => ASTNodeType::Statement, @@ -716,6 +724,9 @@ impl ASTNode { } } ASTNode::Break { .. } => "Break".to_string(), + ASTNode::UsingStatement { namespace_name, .. } => { + format!("UsingStatement({})", namespace_name) + } ASTNode::BoxDeclaration { name, fields, methods, constructors, is_interface, extends, implements, .. } => { let mut desc = if *is_interface { format!("InterfaceBox({}, {} methods", name, methods.len()) @@ -821,6 +832,7 @@ impl ASTNode { ASTNode::Loop { span, .. } => *span, ASTNode::Return { span, .. } => *span, ASTNode::Break { span, .. } => *span, + ASTNode::UsingStatement { span, .. } => *span, ASTNode::Nowait { span, .. } => *span, ASTNode::Arrow { span, .. } => *span, ASTNode::TryCatch { span, .. } => *span, diff --git a/src/interpreter/core.rs b/src/interpreter/core.rs index 56d3469c..01d53f5d 100644 --- a/src/interpreter/core.rs +++ b/src/interpreter/core.rs @@ -9,6 +9,7 @@ use crate::ast::{ASTNode, Span}; use crate::box_trait::{NyashBox, StringBox, IntegerBox, BoolBox, VoidBox, SharedNyashBox}; use crate::instance::InstanceBox; use crate::parser::ParseError; +use super::BuiltinStdlib; use std::sync::{Arc, Mutex, RwLock}; use std::collections::{HashMap, HashSet}; use thiserror::Error; @@ -208,6 +209,9 @@ pub struct NyashInterpreter { /// 🔗 Invalidated object IDs for weak reference system pub invalidated_ids: Arc>>, + + /// 📚 組み込み標準ライブラリ + pub(super) stdlib: Option, } impl NyashInterpreter { @@ -223,6 +227,7 @@ impl NyashInterpreter { current_constructor_context: None, evaluation_stack: Vec::new(), invalidated_ids: Arc::new(Mutex::new(HashSet::new())), + stdlib: None, // 遅延初期化 } } @@ -236,6 +241,7 @@ impl NyashInterpreter { current_constructor_context: None, evaluation_stack: Vec::new(), invalidated_ids: Arc::new(Mutex::new(HashSet::new())), + stdlib: None, // 遅延初期化 } } @@ -393,7 +399,40 @@ impl NyashInterpreter { } } - // 5. エラー：見つからない + drop(global_box); // lockを解放してからstdlibチェック + + // 5. nyashstd標準ライブラリ名前空間をチェック + eprintln!("🔍 DEBUG: Checking nyashstd stdlib for '{}'...", name); + if let Some(ref stdlib) = self.stdlib { + eprintln!("🔍 DEBUG: stdlib is initialized, checking namespaces..."); + eprintln!("🔍 DEBUG: Available namespaces: {:?}", stdlib.namespaces.keys().collect::>()); + + if let Some(nyashstd_namespace) = stdlib.namespaces.get("nyashstd") { + eprintln!("🔍 DEBUG: nyashstd namespace found, checking static boxes..."); + eprintln!("🔍 DEBUG: Available static boxes: {:?}", nyashstd_namespace.static_boxes.keys().collect::>()); + + if let Some(static_box) = nyashstd_namespace.static_boxes.get(name) { + eprintln!("🔍 DEBUG: Found '{}' in nyashstd namespace", name); + + // BuiltinStaticBoxをInstanceBoxとしてラップ + let static_instance = InstanceBox::new( + format!("{}_builtin", name), + vec![], // フィールドなし + HashMap::new(), // メソッドは動的に解決される + ); + + return Ok(Arc::new(static_instance)); + } else { + eprintln!("🔍 DEBUG: '{}' not found in nyashstd namespace", name); + } + } else { + eprintln!("🔍 DEBUG: nyashstd namespace not found in stdlib"); + } + } else { + eprintln!("🔍 DEBUG: stdlib not initialized"); + } + + // 6. エラー：見つからない eprintln!("🔍 DEBUG: '{}' not found anywhere!", name); Err(RuntimeError::UndefinedVariable { name: name.to_string(), diff --git a/src/interpreter/expressions.rs b/src/interpreter/expressions.rs index 4fe05ad7..4b6abb01 100644 --- a/src/interpreter/expressions.rs +++ b/src/interpreter/expressions.rs @@ -451,6 +451,44 @@ impl NyashInterpreter { return Ok(result); } } + + // 📚 nyashstd標準ライブラリのメソッドチェック + let stdlib_method = if let Some(ref stdlib) = self.stdlib { + if let Some(nyashstd_namespace) = stdlib.namespaces.get("nyashstd") { + if let Some(static_box) = nyashstd_namespace.static_boxes.get(name) { + if let Some(builtin_method) = static_box.methods.get(method) { + Some(*builtin_method) // Copyトレイトで関数ポインターをコピー + } else { + eprintln!("🔍 Method '{}' not found in nyashstd.{}", method, name); + None + } + } else { + eprintln!("🔍 Static box '{}' not found in nyashstd", name); + None + } + } else { + eprintln!("🔍 nyashstd namespace not found in stdlib"); + None + } + } else { + eprintln!("🔍 stdlib not initialized for method call"); + None + }; + + if let Some(builtin_method) = stdlib_method { + eprintln!("🌟 Calling nyashstd method: {}.{}", name, method); + + // 引数を評価 + let mut arg_values = Vec::new(); + for arg in arguments { + arg_values.push(self.execute_expression(arg)?); + } + + // 標準ライブラリのメソッドを実行 + let result = builtin_method(&arg_values)?; + eprintln!("✅ nyashstd method completed: {}.{}", name, method); + return Ok(result); + } } // オブジェクトを評価（通常のメソッド呼び出し） diff --git a/src/interpreter/mod.rs b/src/interpreter/mod.rs index a1e357c6..b159b44b 100644 --- a/src/interpreter/mod.rs +++ b/src/interpreter/mod.rs @@ -109,4 +109,7 @@ pub struct FunctionDeclaration { } // Re-export core interpreter types -pub use core::*; \ No newline at end of file +pub use core::*; + +// Import and re-export stdlib for interpreter modules +pub use crate::stdlib::BuiltinStdlib; \ No newline at end of file diff --git a/src/interpreter/statements.rs b/src/interpreter/statements.rs index 81990792..204f9b5d 100644 --- a/src/interpreter/statements.rs +++ b/src/interpreter/statements.rs @@ -7,6 +7,7 @@ */ use super::*; +use super::BuiltinStdlib; use std::sync::{Arc, Mutex}; impl NyashInterpreter { @@ -50,6 +51,10 @@ impl NyashInterpreter { self.execute_nowait(variable, expression) } + ASTNode::UsingStatement { namespace_name, .. } => { + self.execute_using_statement(namespace_name) + } + ASTNode::BoxDeclaration { name, fields, methods, constructors, init_fields, weak_fields, is_interface, extends, implements, type_parameters, is_static, static_init, .. } => { if *is_static { // 🔥 Static Box宣言の処理 @@ -485,4 +490,34 @@ impl NyashInterpreter { self.control_flow = super::ControlFlow::Throw(exception); Ok(Box::new(VoidBox::new())) } + + /// using文を実行 - Import namespace + pub(super) fn execute_using_statement(&mut self, namespace_name: &str) -> Result, RuntimeError> { + eprintln!("🌟 DEBUG: execute_using_statement called with namespace: {}", namespace_name); + + // Phase 0: nyashstdのみサポート + if namespace_name != "nyashstd" { + return Err(RuntimeError::InvalidOperation { + message: format!("Unsupported namespace '{}'. Only 'nyashstd' is supported in Phase 0.", namespace_name) + }); + } + + // 標準ライブラリを初期化（存在しない場合） + eprintln!("🌟 DEBUG: About to call ensure_stdlib_initialized"); + self.ensure_stdlib_initialized()?; + eprintln!("🌟 DEBUG: ensure_stdlib_initialized completed"); + + // using nyashstdの場合は特に何もしない（既に標準ライブラリが初期化されている） + Ok(Box::new(VoidBox::new())) + } + + /// 標準ライブラリの初期化を確保 + fn ensure_stdlib_initialized(&mut self) -> Result<(), RuntimeError> { + if self.stdlib.is_none() { + eprintln!("🌟 Initializing BuiltinStdlib..."); + self.stdlib = Some(BuiltinStdlib::new()); + eprintln!("✅ BuiltinStdlib initialized successfully"); + } + Ok(()) + } } \ No newline at end of file diff --git a/src/lib.rs b/src/lib.rs index 4e4cc373..91610e1f 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -10,7 +10,7 @@ use wasm_bindgen::prelude::*; pub mod box_trait; pub mod boxes; -// pub mod stdlib; +pub mod stdlib; pub mod environment; pub mod tokenizer; pub mod ast; // Using old ast.rs for now diff --git a/src/main.rs b/src/main.rs index 5dcbe62e..1b38bd54 100644 --- a/src/main.rs +++ b/src/main.rs @@ -11,6 +11,7 @@ // Core modules pub mod box_trait; pub mod boxes; +pub mod stdlib; pub mod environment; pub mod tokenizer; pub mod ast; @@ -24,6 +25,9 @@ pub mod method_box; pub mod operator_traits; pub mod box_arithmetic; // 🚀 Moved from box_trait.rs for better organization pub mod value; // 🔥 NyashValue Revolutionary System +pub mod type_box; // 🌟 TypeBox revolutionary system +pub mod messaging; // 🌐 P2P Communication Infrastructure +pub mod transport; // 🌐 P2P Communication Infrastructure // 🚀 MIR Infrastructure pub mod mir; @@ -31,6 +35,9 @@ pub mod mir; // 🚀 Backend Infrastructure pub mod backend; +// 📊 Performance Benchmarks +pub mod benchmarks; + // 🚀 Refactored modules for better organization pub mod cli; pub mod runner; diff --git a/src/parser/mod.rs b/src/parser/mod.rs index 89a415c7..264abced 100644 --- a/src/parser/mod.rs +++ b/src/parser/mod.rs @@ -80,6 +80,12 @@ pub enum ParseError { #[error("🔥 Transparency system removed: {suggestion} at line {line}")] TransparencySystemRemoved { suggestion: String, line: usize }, + #[error("Unsupported namespace '{name}' at line {line}. Only 'nyashstd' is supported in Phase 0.")] + UnsupportedNamespace { name: String, line: usize }, + + #[error("Expected identifier at line {line}")] + ExpectedIdentifier { line: usize }, + #[error("Tokenize error: {0}")] TokenizeError(#[from] TokenizeError), } diff --git a/src/parser/statements.rs b/src/parser/statements.rs index cfd9cc0f..28b0a103 100644 --- a/src/parser/statements.rs +++ b/src/parser/statements.rs @@ -62,6 +62,9 @@ impl NyashParser { TokenType::THROW => { self.parse_throw() }, + TokenType::USING => { + self.parse_using() + }, TokenType::FROM => { // 🔥 from構文: from Parent.method(args) または from Parent.constructor(args) self.parse_from_call_statement() @@ -455,4 +458,32 @@ impl NyashParser { // 例: from Animal.constructor() （戻り値を使わない） Ok(from_call_expr) } + + /// using文をパース: using namespace_name + pub(super) fn parse_using(&mut self) -> Result { + self.advance(); // consume 'using' + + // 名前空間名を取得 + if let TokenType::IDENTIFIER(namespace_name) = &self.current_token().token_type { + let name = namespace_name.clone(); + self.advance(); + + // Phase 0では "nyashstd" のみ許可 + if name != "nyashstd" { + return Err(ParseError::UnsupportedNamespace { + name, + line: self.current_token().line + }); + } + + Ok(ASTNode::UsingStatement { + namespace_name: name, + span: Span::unknown(), + }) + } else { + Err(ParseError::ExpectedIdentifier { + line: self.current_token().line + }) + } + } } \ No newline at end of file diff --git a/src/stdlib/mod.rs b/src/stdlib/mod.rs new file mode 100644 index 00000000..8f9dba2e --- /dev/null +++ b/src/stdlib/mod.rs @@ -0,0 +1,225 @@ +/*! + * Nyash Built-in Standard Library + * + * 超簡単実装：ハードコード組み込み型標準ライブラリ + * nyash.linkなしで動作する基本的な標準関数群 + */ + +use crate::box_trait::{NyashBox, StringBox, IntegerBox, BoolBox}; +use crate::boxes::{ArrayBox, ConsoleBox}; +use crate::interpreter::RuntimeError; +use std::collections::HashMap; + +/// 組み込み標準ライブラリ +pub struct BuiltinStdlib { + pub namespaces: HashMap, +} + +/// 組み込み名前空間 +pub struct BuiltinNamespace { + pub name: String, + pub static_boxes: HashMap, +} + +/// 組み込み静的Box +pub struct BuiltinStaticBox { + pub name: String, + pub methods: HashMap, +} + +/// 組み込みメソッド関数型 +pub type BuiltinMethod = fn(&[Box]) -> Result, RuntimeError>; + +impl BuiltinStdlib { + /// 新しい組み込み標準ライブラリを作成 + pub fn new() -> Self { + let mut stdlib = BuiltinStdlib { + namespaces: HashMap::new(), + }; + + // nyashstd名前空間登録 + stdlib.register_nyashstd(); + + stdlib + } + + /// nyashstd名前空間を登録 + fn register_nyashstd(&mut self) { + let mut nyashstd = BuiltinNamespace { + name: "nyashstd".to_string(), + static_boxes: HashMap::new(), + }; + + // string static box + nyashstd.static_boxes.insert("string".to_string(), Self::create_string_box()); + + // integer static box + nyashstd.static_boxes.insert("integer".to_string(), Self::create_integer_box()); + + // bool static box + nyashstd.static_boxes.insert("bool".to_string(), Self::create_bool_box()); + + // array static box + nyashstd.static_boxes.insert("array".to_string(), Self::create_array_box()); + + // console static box + nyashstd.static_boxes.insert("console".to_string(), Self::create_console_box()); + + self.namespaces.insert("nyashstd".to_string(), nyashstd); + } + + /// string static boxを作成 + fn create_string_box() -> BuiltinStaticBox { + let mut string_box = BuiltinStaticBox { + name: "string".to_string(), + methods: HashMap::new(), + }; + + // string.create(text) -> StringBox + string_box.methods.insert("create".to_string(), |args| { + if args.len() != 1 { + return Err(RuntimeError::InvalidOperation { + message: "string.create() takes exactly 1 argument".to_string() + }); + } + + // StringBoxにダウンキャスト + if let Some(string_arg) = args[0].as_any().downcast_ref::() { + let result = StringBox::new(&string_arg.value); + Ok(Box::new(result)) + } else { + Err(RuntimeError::TypeError { + message: format!("string.create() expects string argument, got {:?}", args[0].type_name()) + }) + } + }); + + // string.upper(str) -> String + string_box.methods.insert("upper".to_string(), |args| { + if args.len() != 1 { + return Err(RuntimeError::InvalidOperation { + message: "string.upper() takes exactly 1 argument".to_string() + }); + } + + // StringBoxにダウンキャスト + if let Some(string_arg) = args[0].as_any().downcast_ref::() { + let result = StringBox::new(&string_arg.value.to_uppercase()); + Ok(Box::new(result)) + } else { + Err(RuntimeError::TypeError { + message: format!("string.upper() expects string argument, got {:?}", args[0].type_name()) + }) + } + }); + + string_box + } + + /// integer static boxを作成 + fn create_integer_box() -> BuiltinStaticBox { + let mut integer_box = BuiltinStaticBox { + name: "integer".to_string(), + methods: HashMap::new(), + }; + + // integer.create(value) -> IntegerBox + integer_box.methods.insert("create".to_string(), |args| { + if args.len() != 1 { + return Err(RuntimeError::InvalidOperation { + message: "integer.create() takes exactly 1 argument".to_string() + }); + } + + // IntegerBoxにダウンキャスト + if let Some(int_arg) = args[0].as_any().downcast_ref::() { + let result = IntegerBox::new(int_arg.value); + Ok(Box::new(result)) + } else { + Err(RuntimeError::TypeError { + message: format!("integer.create() expects integer argument, got {:?}", args[0].type_name()) + }) + } + }); + + integer_box + } + + /// bool static boxを作成 + fn create_bool_box() -> BuiltinStaticBox { + let mut bool_box = BuiltinStaticBox { + name: "bool".to_string(), + methods: HashMap::new(), + }; + + // bool.create(value) -> BoolBox + bool_box.methods.insert("create".to_string(), |args| { + if args.len() != 1 { + return Err(RuntimeError::InvalidOperation { + message: "bool.create() takes exactly 1 argument".to_string() + }); + } + + // BoolBoxにダウンキャスト + if let Some(bool_arg) = args[0].as_any().downcast_ref::() { + let result = BoolBox::new(bool_arg.value); + Ok(Box::new(result)) + } else { + Err(RuntimeError::TypeError { + message: format!("bool.create() expects bool argument, got {:?}", args[0].type_name()) + }) + } + }); + + bool_box + } + + /// array static boxを作成 + fn create_array_box() -> BuiltinStaticBox { + let mut array_box = BuiltinStaticBox { + name: "array".to_string(), + methods: HashMap::new(), + }; + + // array.create() -> ArrayBox (引数なしで空配列作成) + array_box.methods.insert("create".to_string(), |args| { + if !args.is_empty() { + return Err(RuntimeError::InvalidOperation { + message: "array.create() takes no arguments".to_string() + }); + } + + let result = ArrayBox::new(); + Ok(Box::new(result)) + }); + + array_box + } + + /// console static boxを作成 + fn create_console_box() -> BuiltinStaticBox { + let mut console_box = BuiltinStaticBox { + name: "console".to_string(), + methods: HashMap::new(), + }; + + // console.log(message) -> void + console_box.methods.insert("log".to_string(), |args| { + if args.len() != 1 { + return Err(RuntimeError::InvalidOperation { + message: "console.log() takes exactly 1 argument".to_string() + }); + } + + // 任意のBoxを文字列として出力 + let message = args[0].to_string_box().value; + println!("{}", message); + + // VoidBoxを返す + use crate::box_trait::VoidBox; + Ok(Box::new(VoidBox::new())) + }); + + console_box + } +} \ No newline at end of file diff --git a/src/tokenizer.rs b/src/tokenizer.rs index 37e5a353..2d04a95a 100644 --- a/src/tokenizer.rs +++ b/src/tokenizer.rs @@ -51,6 +51,7 @@ pub enum TokenType { OVERRIDE, // override (明示的オーバーライド) FROM, // from (親メソッド呼び出し) WEAK, // weak (弱参照修飾子) + USING, // using (名前空間インポート) // 演算子 (長いものから先に定義) ARROW, // >> @@ -416,6 +417,7 @@ impl NyashTokenizer { "override" => TokenType::OVERRIDE, "from" => TokenType::FROM, "weak" => TokenType::WEAK, + "using" => TokenType::USING, "and" => TokenType::AND, "or" => TokenType::OR, "true" => TokenType::TRUE,