naider 1.7.0

package/SPEC-X.nx

@@ -0,0 +1,276 @@
+-- ============================================
+-- NAIDE-X Language Specification
+-- ~80% fewer tokens than JavaScript
+-- AI-only readability. Maximum generation speed.
+-- ============================================
+-- Rule: first char of line = intent
+--   > return    ? if       | elif     : else
+--   @ loop      * while    ! try      !! catch   !!! ensure
+--   $ server    ^ model    < import   % match   X patch
+--   f func      ~f async   + export
+--   s:i:n:b:l:m:a: typed vars
+--   ~ await     ~~ await.all
+-- ============================================
+
+-- Types: s=str i=int n=num b=bool l=list m=map a=any
+s:name="hello"
+i:count=42
+n:price=9.99
+b:active=true
+l:items=[1,2,3]
+m:cfg={host:"localhost",port:3000}
+a:data=null
+
+-- Mutable: ~ prefix
+~i:counter=0
+~s:label="init"
+
+-- String interpolation: "{expr}" (double quotes)
+s:greet="Hello {name}, count is {count}"
+
+-- Functions: f name(TYPE:param,...)RETTYPE
+f add(i:a,i:b)i
+  >a+b
+
+f sayHi(s:who)
+  log"Hi {who}"
+
+f greet2(s:name,s:prefix="Hello")
+  log"{prefix}, {name}!"
+
+-- Async: ~f
+~f fetchUser(s:id)m
+  a:res=~fetch("/api/users/{id}")
+  a:data=~res.json()
+  >data
+
+-- Return: >
+-- Return with status: >.s CODE BODY
+
+-- If/elif/else: ? | :
+?count>10
+  log"many"
+|count>5
+  log"some"
+:
+  log"few"
+
+-- Inline ternary (same as NAIDE v1)
+-- s:size=if count>10 then "big" else "small"
+
+-- Each: @var<collection
+@item<items
+  log item
+
+-- Each with key: @key,val<collection
+@k,v<cfg
+  log"{k}: {v}"
+
+-- For range: @var<start..end
+@i<0..10
+  log i
+
+-- While: *condition
+*active
+  log"running"
+  active=false
+
+-- Match: %value
+s:status="ok"
+%status
+  "ok": log "success"
+  "error": log "failed"
+  _: log "unknown"
+
+-- Try/catch/ensure: ! / !!var / !!!
+~f safe(s:url)m
+  !
+    a:data=~fetch(url)
+    >{ok:true,data:data}
+  !!e
+    log.e"fail: {e.message}"
+    >{ok:false,error:e.message}
+  !!!
+    log"request done"
+
+-- typeof / instanceof
+?typeof x=="string"
+  log"is string"
+?err instanceof TypeError
+  log"type error"
+
+-- Pipe: |> (same)
+l:result=[1,2,3,4,5]
+  |>filter((x)=>x>2)
+  |>map((x)=>x*10)
+
+-- Model: ^Name
+^User
+  s:name
+  s:email
+  i:age=0
+  f greet()s
+    >"Hi, I'm {self.name}"
+  ~f save()
+    log"Saving {self.name}..."
+
+-- Inheritance: ^Child<Parent
+^Admin<User
+  s:role="admin"
+  f perms()l
+    >["read","write","delete"]
+
+-- DB persistence: db "path/"
+db "data/"
+
+-- SQL database: db.sql "driver" "connection"
+-- db.sql "sqlite" "app.db"
+-- db.sql "postgres" "postgresql://localhost/mydb"
+
+-- Environment variables
+env:
+  PORT int default(3000)
+  JWT_SECRET str required
+
+-- Schema: types + modifiers
+schema User:
+  id auto
+  name str required min(2) max(50)
+  email str required email unique
+  role enum("admin","user") default("user")
+  joined timestamp auto
+
+-- Server with high-level features
+$app:PORT
+  cors "*"
+  auth JWT_SECRET:
+    protect "/api/*"
+    public "/api/auth/*"
+  limit "/api/*" 100 "1m"
+  static "/public"
+  crud "/api/users" User
+  cookie
+  session JWT_SECRET
+  cache "/api/*" "5m"
+  view "./views"
+  sse "/events"
+  upload "/api/upload" "avatar" (req,res):
+    >{file:req.file.filename}
+  -- Route middleware: [mid1, mid2]
+  G"/admin"[authCheck](req,res)
+    >{admin:true}
+  P"/api/secure"[auth,logger](req,res)
+    >req.body
+  group "/api/v1":
+    G"/status"
+      >{version:"1.0"}
+  G"/"
+    >.h "<h1>Welcome</h1>"
+  P"/api/auth/register"(req,res)
+    s:hashed=hash(req.body.password)
+    user=UserStore.create({...req.body,password:hashed})
+    token=auth.sign({id:user.id})
+    >{token,user}
+  P"/api/auth/login"(req,res)
+    user=UserStore.where({email:req.body.email})[0]
+    ?not user
+      >.s 401 {error:"Invalid credentials"}
+    ?not verify(req.body.password,user.password)
+      >.s 401 {error:"Invalid credentials"}
+    token=sign({id:user.id})
+    >{token}
+  ws "/chat":
+    on "connect":
+      send({type:"welcome"})
+    on "message" (data):
+      broadcast(data)
+
+-- Error handler
+  error (err, req, res):
+    log.e err.message
+    >.s 500 {error:"Internal error"}
+
+-- HTTP client (auto-imported)
+-- api.get(url) api.post(url,body) api.put(url,body) api.del(url) api.raw(url,opts)
+
+-- Return helpers
+-- >expr         → JSON
+-- >.s CODE expr → status code
+-- >.r "/path"   → redirect
+-- >.h "<html>"  → HTML
+-- >.t "text"    → plain text
+-- >.f "/file"   → send file
+-- >.d "/file"   → download
+-- >.v "tmpl" {} → render template
+
+-- Built-in functions (auto-imported)
+-- uuid()                → UUID
+-- hash("password")      → scrypt hash
+-- verify("pw",hashed)   → verify
+-- sign({id:1})          → JWT (uses auth secret)
+-- sign({id:1},"secret") → JWT (explicit)
+
+-- Validate: auto-validate POST/PUT/PATCH bodies
+--   validate "/api/users" User
+
+-- Test (node:test)
+test "math":
+  assert 1+1==2
+  assert 2*3==6
+
+-- Queue (async job queue)
+queue jobs:
+  job "notify" (data):
+    log data.msg
+
+-- OpenAPI: auto-generate spec from schemas
+--   openapi "/docs"
+
+-- AI / LLM integration (auto-imported, zero-dep)
+-- s:answer=~ai.ask("Explain NAIDE")
+-- m:result=~ai.json("List 3 colors",{colors:["string"]})
+-- s:reply=~ai.chat(msgs)
+-- s:a=~ai.ask("hi",{model:"gpt-4o",maxTokens:100})
+-- Streaming: ~f main(): @chunk<~ai.stream("poem") ...
+-- Embed: l:vec=~ai.embed("hello")
+-- Similarity: n:score=ai.similarity(a,b)
+
+-- Prompt template
+-- prompt summarize {lang:"en"}:
+--   "Summarize in {lang}: {text}"
+
+-- Inter-file import (.naide/.nx → .mjs auto-rewrite)
+-- <{handler}"./routes.naide"
+
+-- Scheduled tasks
+every "5m":
+  log"cleanup"
+
+-- Event watch
+watch User.create (event):
+  log"new: {event.data.name}"
+
+-- Import: <module or <{names}"module"
+-- <express
+-- <{readFile,writeFile}"fs/promises"
+
+-- Export: + prefix
++f helper()s
+  >"exported"
++s:VER="1.0.0"
+
+-- Log: log, log.e, log.w, log.i, log.d
+log"info"
+log.e"error"
+log.w"warning"
+log.i"info level"
+log.d"debug level"
+
+-- Null safe: ?. and ?? (same)
+a:val=data?.nested?.value??"default"
+
+-- Await all: ~~[expr1,expr2]
+
+-- Spread: ...
+l:combined=[...items,4,5,6]
+m:merged={...cfg,debug:true}

package/SPEC.naide

@@ -0,0 +1,431 @@
+# ============================================
+# NAIDE Language Specification
+# Node AI Development Environment
+# ============================================
+# AIが最速でコード生成できるように設計された言語
+#
+# 設計原則:
+#   1. 1つの書き方しかない (曖昧さゼロ)
+#   2. キーワード駆動 (行頭で意図が確定)
+#   3. 最小トークン数 (生成量削減 = 高速)
+#   4. よく使うパターンが組み込み
+#   5. インデントベース (波括弧不要)
+# ============================================
+
+
+# ---- 変数宣言 ----
+# 型名 変数名 = 値 (不変 const)
+str name = "hello"
+int count = 42
+num price = 9.99
+bool active = true
+list items = [1, 2, 3]
+map config = {host: "localhost", port: 3000}
+any data = null
+
+# 可変変数 (let)
+mut int counter = 0
+mut str label = "initial"
+
+
+# ---- 文字列補間 ----
+# ダブルクォートで {式} が自動展開
+str greeting = "Hello {name}, count is {count}"
+
+
+# ---- 関数 ----
+# fn 名前(型 引数) -> 戻り型:
+fn add(int a, int b) -> int:
+  ret a + b
+
+# 戻り値なし
+fn sayHi(str who):
+  log "Hi {who}"
+
+# デフォルト引数
+fn greet(str name, str prefix = "Hello"):
+  log "{prefix}, {name}!"
+
+# 可変長引数
+fn sum(...int nums) -> int:
+  mut int total = 0
+  each n in nums:
+    total += n
+  ret total
+
+
+# ---- 非同期関数 ----
+fn.async fetchUser(str id) -> map:
+  any res = await fetch("/api/users/{id}")
+  any data = await res.json()
+  ret data
+
+
+# ---- 条件分岐 ----
+if count > 10:
+  log "many"
+elif count > 5:
+  log "some"
+else:
+  log "few"
+
+# インライン三項
+str size = if count > 10 then "big" else "small"
+
+
+# ---- ループ ----
+# each: コレクション反復
+each item in items:
+  log item
+
+# each with key (Object.entries)
+each key, val in config:
+  log "{key}: {val}"
+
+# for: 範囲ループ
+for i in 0..10:
+  log i
+
+# while
+while active:
+  log "running"
+  active = false
+
+
+# ---- パターンマッチ ----
+str status = "ok"
+match status:
+  "ok": log "success"
+  "error": log "failed"
+  _: log "unknown"
+
+
+# ---- エラーハンドリング ----
+fn.async safeFetch(str url) -> map:
+  try:
+    any data = await fetch(url)
+    ret {ok: true, data: data}
+  fail e:
+    log.error e.message
+    ret {ok: false, error: e.message}
+  ensure:
+    log "request completed"
+
+# try/ensure (finally) — fail ブロックなしでも使える
+fn.async withCleanup():
+  any conn = null
+  try:
+    conn = await openConnection()
+    ret await conn.query("SELECT 1")
+  ensure:
+    if conn:
+      conn.close()
+
+
+# ---- 型チェック ----
+# typeof: 型を文字列で返す
+if typeof data == "string":
+  log "data is a string"
+
+# instanceof: インスタンス判定
+if err instanceof TypeError:
+  log "type error occurred"
+
+
+# ---- パイプ演算子 ----
+# データ変換チェーンが読みやすい
+list result = [1, 2, 3, 4, 5]
+  |> filter((x) => x > 2)
+  |> map((x) => x * 10)
+
+
+# ---- クラス (model) ----
+model User:
+  str name
+  str email
+  int age = 0
+
+  fn greet() -> str:
+    ret "Hi, I'm {self.name}"
+
+  fn.async save():
+    log "Saving {self.name}..."
+
+# 継承
+model Admin extends User:
+  str role = "admin"
+
+  fn permissions() -> list:
+    ret ["read", "write", "delete"]
+
+
+# ---- データベース永続化 ----
+# db ディレクトリパス → スキーマストアがJSONファイルに自動保存
+db "data/"
+
+# SQLデータベース — スキーマストアがSQLテーブルに自動保存
+# db.sql "sqlite" "app.db"          # SQLite (better-sqlite3)
+# db.sql "postgres" "postgres://localhost/mydb"  # PostgreSQL
+
+
+# ---- 環境変数 ----
+env:
+  PORT       int default(3000)
+  JWT_SECRET str required
+  DB_URL     str default("sqlite:data.db")
+
+
+# ---- スキーマ定義 ----
+# 型: str, int, num, bool, auto(UUID), timestamp, enum(...)
+# 修飾: required, optional, min(n), max(n), email, url, unique, auto, default(val)
+schema User:
+  id       auto
+  name     str required min(2) max(50)
+  email    str required email unique
+  age      int optional min(0) max(150)
+  role     enum("admin", "user") default("user")
+  joined   timestamp auto
+
+
+# ---- サーバー定義 ----
+server app port PORT:
+  # CORS
+  cors "*"
+
+  # JWT認証
+  auth JWT_SECRET:
+    protect "/api/*"
+    public "/api/auth/*"
+
+  # レート制限
+  limit "/api/*" 100 "1m"
+
+  # 静的ファイル配信
+  static "/public"
+
+  # CRUD自動生成 (ページネーション・検索・ソート付き)
+  crud "/api/users" User
+
+  # クッキーパーサー
+  cookie
+
+  # セッション管理 (cookie-based, ゼロ依存)
+  session JWT_SECRET
+
+  # レスポンスキャッシュ
+  cache "/api/*" "5m"
+
+  # テンプレートエンジン
+  view "./views"
+
+  # Server-Sent Events
+  sse "/events"
+
+  # ファイルアップロード (ゼロ依存)
+  upload "/api/upload" "avatar" (req, res):
+    ret {file: req.file.filename, size: req.file.size}
+
+  # 名前付きミドルウェア適用
+  # mid myMiddleware
+  # mid myMiddleware "/api"
+
+  # ルートミドルウェア (ルートごとにミドルウェア適用)
+  get "/admin" [authCheck] (req, res):
+    ret {admin: true}
+
+  post "/api/secure" [auth, logger] (req, res):
+    ret req.body
+
+  # ルートグループ
+  group "/api/v1":
+    get "/status":
+      ret {version: "1.0"}
+
+  # ルート
+  get "/":
+    ret.html "<h1>Welcome</h1>"
+
+  post "/api/auth/register" (req, res):
+    str hashed = hash(req.body.password)
+    user = UserStore.create({...req.body, password: hashed})
+    token = auth.sign({id: user.id})
+    ret {token, user}
+
+  post "/api/auth/login" (req, res):
+    user = UserStore.where({email: req.body.email})[0]
+    if not user:
+      ret.status 401 {error: "Invalid credentials"}
+    if not verify(req.body.password, user.password):
+      ret.status 401 {error: "Invalid credentials"}
+    token = sign({id: user.id})
+    ret {token}
+
+  # WebSocket
+  ws "/chat":
+    on "connect":
+      send({type: "welcome"})
+    on "message" (data):
+      broadcast(data)
+    on "close":
+      log "client left"
+
+  # エラーハンドラー
+  error (err, req, res):
+    log.error err.message
+    ret.status 500 {error: "Internal error"}
+
+
+# ---- HTTPクライアント (自動インポート) ----
+# any data = await api.get("https://api.example.com/users")
+# any result = await api.post("https://api.example.com/users", {name: "test"})
+# any result = await api.put(url, body)
+# any result = await api.del(url)
+# any raw = await api.raw(url, opts)
+
+
+# ---- HTTPメソッド ----
+# get, post, put, del, patch がサーバー内で使える
+# patch "/api/users/:id" (req, res):
+#   ret {updated: true}
+
+
+# ---- リクエストバリデーション ----
+# validate パス スキーマ名 → POST/PUT/PATCHのボディをスキーマで自動検証
+# server app port 3000:
+#   validate "/api/users" User
+
+
+# ---- テスト (node:test ベース) ----
+test "math operations":
+  assert 1 + 1 == 2
+  assert 10 - 3 == 7
+
+test "string operations":
+  str name = "NAIDE"
+  assert name == "NAIDE"
+
+
+# ---- ジョブキュー (インメモリ非同期) ----
+queue jobs:
+  job "sendEmail" (data):
+    log "sending to {data.to}"
+  job "resize" (data):
+    log "resizing {data.path}"
+
+
+# ---- OpenAPI 自動生成 ----
+# server app port 3000:
+#   openapi "/docs"    # スキーマからOpenAPI仕様を自動生成して配信
+
+
+# ---- レスポンスヘルパー ----
+# ret {data}                    → JSON応答
+# ret.status 404 {error}        → ステータスコード付き
+# ret.redirect "/login"         → リダイレクト
+# ret.redirect 301 "/new"       → ステータス付きリダイレクト
+# ret.html "<h1>Hi</h1>"       → HTML応答
+# ret.text "pong"               → テキスト応答
+# ret.file "/path/to/file"     → ファイル送信
+# ret.download "/file.zip"      → ファイルダウンロード
+# ret.download "/file" "name"   → 名前付きダウンロード
+# ret.render "template" {data}  → テンプレート描画
+
+
+# ---- 組み込み関数 (自動インポート) ----
+# str id = uuid()                    → UUID生成
+# str h = hash("password")           → パスワードハッシュ (scrypt)
+# bool ok = verify("password", h)    → パスワード検証
+# str token = sign({id: 1})          → JWT署名 (auth秘密鍵を自動使用)
+# str token = sign({id: 1}, "secret") → JWT署名 (明示的秘密鍵)
+
+
+# ---- AI / LLM 統合 (ゼロ依存、Node 18+ fetch) ----
+# APIキー: AI_KEY, OPENAI_API_KEY, ANTHROPIC_API_KEY のいずれかを環境変数に設定
+# プロバイダー自動判定: sk-ant-* → Anthropic、それ以外 → OpenAI互換
+
+# シンプルなプロンプト
+# str answer = await ai.ask("Explain NAIDE")
+
+# 構造化JSON出力
+# map result = await ai.json("List 3 colors", {colors: ["string"]})
+
+# マルチターンチャット
+# list msgs = [{role: "user", content: "Hi"}]
+# str reply = await ai.chat(msgs)
+
+# オプション付き
+# str answer = await ai.ask("hello", {model: "gpt-4o", maxTokens: 100})
+
+# サーバールート内で使用
+# server app port 3000:
+#   post "/api/ask" (req, res):
+#     str answer = await ai.ask(req.body.prompt)
+#     ret {answer}
+
+# ストリーミング (SSEリアルタイム応答)
+# each chunk in await ai.stream("Write a poem"):
+#   log chunk
+
+# エンベディング (ベクトル生成)
+# list vec = await ai.embed("hello world")
+# list vecs = await ai.embed(["hello", "world"])
+
+# コサイン類似度
+# num score = ai.similarity(vec1, vec2)
+
+
+# ---- プロンプトテンプレート ----
+# 再利用可能なプロンプト定義
+prompt summarize {lang: "en"}:
+  "Summarize in {lang}:"
+  "{text}"
+
+# 使用例:
+# str p = summarize({text: "hello world"})
+# str answer = await ai.ask(p)
+
+
+# ---- スケジュールタスク ----
+every "5m":
+  log "cleanup running"
+
+
+# ---- イベント監視 ----
+watch User.create (event):
+  log "new user: {event.data.name}"
+
+
+# ---- インポート ----
+# use モジュール名
+# use {名前1, 名前2} from "モジュール"
+# use モジュール from "パッケージ"
+# use モジュール as 別名
+# use {handler} from "./routes.naide"     # NAIDEファイル間インポート (.mjs に自動変換)
+
+
+# ---- ログ ----
+log "info message"
+log.error "error message"
+log.warn "warning"
+log.info "info level"
+log.debug "debug level"
+
+
+# ---- 公開 (export) ----
+pub fn helper() -> str:
+  ret "exported"
+
+pub str VERSION = "1.0.0"
+
+
+# ---- null安全 ----
+any val = data?.nested?.value ?? "default"
+
+
+# ---- await.all (Promise.all) ----
+# list results = await.all [expr1, expr2, expr3]
+
+
+# ---- スプレッド ----
+list combined = [...items, 4, 5, 6]
+map merged = {...config, debug: true}