naider 1.7.0

package/examples/crud.naide

@@ -0,0 +1,79 @@
+# NAIDE - Full CRUD Application
+# モデル定義 + サーバー + エラーハンドリング
+
+# データモデル
+model Todo:
+  str id
+  str title
+  bool done = false
+  str createdAt
+
+  fn toggle():
+    self.done = not self.done
+
+  fn toJSON() -> map:
+    ret {
+      id: self.id,
+      title: self.title,
+      done: self.done,
+      createdAt: self.createdAt
+    }
+
+# インメモリストア
+mut list todos = []
+mut int nextId = 1
+
+# ヘルパー関数
+fn findTodo(str id) -> any:
+  each todo in todos:
+    if todo.id == id:
+      ret todo
+  ret null
+
+fn generateId() -> str:
+  str id = "todo_{nextId}"
+  nextId += 1
+  ret id
+
+# APIサーバー
+server app port 8080:
+
+  get "/api/todos":
+    ret {todos: todos, count: todos.length}
+
+  get "/api/todos/:id" (req, res):
+    any todo = findTodo(req.params.id)
+    if todo == null:
+      ret.status 404 {error: "Todo not found"}
+    ret todo
+
+  post "/api/todos" (req, res):
+    map body = req.body
+    if not body.title:
+      ret.status 400 {error: "Title is required"}
+    map todo = {
+      id: generateId(),
+      title: body.title,
+      done: false,
+      createdAt: new Date().toISOString()
+    }
+    todos.push(todo)
+    ret.status 201 todo
+
+  put "/api/todos/:id" (req, res):
+    any todo = findTodo(req.params.id)
+    if todo == null:
+      ret.status 404 {error: "Todo not found"}
+    map body = req.body
+    if body.title:
+      todo.title = body.title
+    if body.done != null:
+      todo.done = body.done
+    ret todo
+
+  del "/api/todos/:id" (req, res):
+    int idx = todos.findIndex((t) => t.id == req.params.id)
+    if idx == -1:
+      ret.status 404 {error: "Todo not found"}
+    todos.splice(idx, 1)
+    ret {status: "deleted"}

package/examples/crud.nx

@@ -0,0 +1,64 @@
+-- NAIDE-X full CRUD
+
+^Todo
+  s:id
+  s:title
+  b:done=false
+  s:createdAt
+
+  f toggle()
+    self.done=not self.done
+
+  f toJSON()m
+    >{id:self.id,title:self.title,done:self.done,createdAt:self.createdAt}
+
+~l:todos=[]
+~i:nextId=1
+
+f findTodo(s:id)a
+  @todo<todos
+    ?todo.id==id
+      >todo
+  >null
+
+f genId()s
+  s:id="todo_{nextId}"
+  nextId+=1
+  >id
+
+$app:8080
+
+  G"/api/todos"
+    >{todos:todos,count:todos.length}
+
+  G"/api/todos/:id"(req,res)
+    a:todo=findTodo(req.params.id)
+    ?todo==null
+      >.s 404 {error:"Todo not found"}
+    >todo
+
+  P"/api/todos"(req,res)
+    m:body=req.body
+    ?not body.title
+      >.s 400 {error:"Title is required"}
+    m:todo={id:genId(),title:body.title,done:false,createdAt:new Date().toISOString()}
+    todos.push(todo)
+    >.s 201 todo
+
+  U"/api/todos/:id"(req,res)
+    a:todo=findTodo(req.params.id)
+    ?todo==null
+      >.s 404 {error:"Todo not found"}
+    m:body=req.body
+    ?body.title
+      todo.title=body.title
+    ?body.done!=null
+      todo.done=body.done
+    >todo
+
+  D"/api/todos/:id"(req,res)
+    i:idx=todos.findIndex((t)=>t.id==req.params.id)
+    ?idx==-1
+      >.s 404 {error:"Todo not found"}
+    todos.splice(idx,1)
+    >{status:"deleted"}

package/examples/fullapp.naide

@@ -0,0 +1,74 @@
+# Full NAIDE app with all features
+
+db "data/"
+
+env:
+  PORT int default(3000)
+  JWT_SECRET str required
+
+schema User:
+  id auto
+  name str required min(2) max(50)
+  email str required email
+  password str required
+  role str default("user")
+
+schema Todo:
+  id auto
+  title str required min(1)
+  done bool default(false)
+  created timestamp auto
+
+server app port PORT:
+  cors "*"
+  cookie
+  auth JWT_SECRET:
+    protect "/api/*"
+    public "/api/auth/*"
+  limit "/api/*" 100 "1m"
+  static "/public"
+  crud "/api/users" User
+  crud "/api/todos" Todo
+
+  group "/api/v1":
+    get "/status":
+      ret {version: "1.0", status: "ok"}
+
+  post "/api/auth/register" (req, res):
+    str hashed = hash(req.body.password)
+    user = UserStore.create({name: req.body.name, email: req.body.email, password: hashed})
+    if user.error:
+      ret.status 400 {errors: user.error}
+    token = auth.sign({id: user.id, role: user.role})
+    ret {token, user: {id: user.id, name: user.name, email: user.email}}
+
+  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 = auth.sign({id: user.id, role: user.role})
+    ret {token}
+
+  get "/health":
+    ret {status: "ok"}
+
+  get "/":
+    ret.html "<h1>Welcome to NAIDE</h1><p>API running.</p>"
+
+  ws "/chat":
+    on "connect":
+      send({type: "welcome", msg: "Connected to chat"})
+    on "message" (data):
+      broadcast(data)
+
+  error (err, req, res):
+    log.error err.message
+    ret.status 500 {error: "Internal server error"}
+
+every "30m":
+  log "cleanup running"
+
+watch User.create (event):
+  log "new user: {event.data.name}"

package/examples/fullapp.nx

@@ -0,0 +1,74 @@
+-- Full NAIDE-X app with all features
+
+db "data/"
+
+env:
+  PORT int default(3000)
+  JWT_SECRET str required
+
+schema User:
+  id auto
+  name str required min(2) max(50)
+  email str required email
+  password str required
+  role str default("user")
+
+schema Todo:
+  id auto
+  title str required min(1)
+  done bool default(false)
+  created timestamp auto
+
+$app:PORT
+  cors "*"
+  cookie
+  auth JWT_SECRET:
+    protect "/api/*"
+    public "/api/auth/*"
+  limit "/api/*" 100 "1m"
+  static "/public"
+  crud "/api/users" User
+  crud "/api/todos" Todo
+
+  group "/api/v1":
+    G"/status"
+      >{version:"1.0",status:"ok"}
+
+  P"/api/auth/register"(req,res)
+    s:hashed=hash(req.body.password)
+    user=UserStore.create({name:req.body.name,email:req.body.email,password:hashed})
+    ?user.error
+      >.s 400 {errors:user.error}
+    token=auth.sign({id:user.id,role:user.role})
+    >{token,user:{id:user.id,name:user.name,email:user.email}}
+
+  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=auth.sign({id:user.id,role:user.role})
+    >{token}
+
+  G"/health"
+    >{status:"ok"}
+
+  G"/"
+    >.h "<h1>Welcome to NAIDE</h1>"
+
+  ws "/chat":
+    on "connect":
+      send({type:"welcome"})
+    on "message" (data):
+      broadcast(data)
+
+  error (err, req, res):
+    log.error err.message
+    >.s 500 {error:"Internal server error"}
+
+every "30m":
+  log"cleanup running"
+
+watch User.create (event):
+  log"new user: {event.data.name}"

package/examples/hello.naide

@@ -0,0 +1,33 @@
+# NAIDE - Hello World
+# AIが最速で生成できる言語
+
+str name = "World"
+int count = 3
+
+fn greet(str who) -> str:
+  ret "Hello, {who}!"
+
+for i in 0..count:
+  str message = greet(name)
+  log message
+
+# 条件分岐
+if count > 5:
+  log "many"
+elif count > 2:
+  log "a few"
+else:
+  log "few"
+
+# リスト操作
+list items = ["apple", "banana", "cherry"]
+
+each fruit in items:
+  log "I like {fruit}"
+
+# マッチ
+str status = "ok"
+match status:
+  "ok": log "All good"
+  "error": log "Something went wrong"
+  _: log "Unknown status"

package/examples/hello.nx

@@ -0,0 +1,29 @@
+-- NAIDE-X hello world
+
+s:name="World"
+i:count=3
+
+f greet(s:who)s
+  >"Hello, {who}!"
+
+@i<0..count
+  s:msg=greet(name)
+  log msg
+
+?count>5
+  log"many"
+|count>2
+  log"a few"
+:
+  log"few"
+
+l:items=["apple","banana","cherry"]
+
+@fruit<items
+  log"I like {fruit}"
+
+s:status="ok"
+%status
+  "ok": log "All good"
+  "error": log "Something went wrong"
+  _: log "Unknown"

package/examples/model.naide

@@ -0,0 +1,44 @@
+# NAIDE - Model (Class) の例
+# AIがクラスを最速で書ける構文
+
+model Animal:
+  str name
+  str sound
+  int age = 0
+
+  fn speak() -> str:
+    ret "{self.name} says {self.sound}!"
+
+  fn isOld() -> bool:
+    ret self.age > 10
+
+model Dog extends Animal:
+  str breed
+
+  fn fetch(str item) -> str:
+    ret "{self.name} fetched the {item}!"
+
+# インスタンス作成
+any dog = new Dog("Rex", "Woof", 5, "Labrador")
+log dog.speak()
+log dog.fetch("ball")
+
+if dog.isOld():
+  log "{dog.name} is old"
+else:
+  log "{dog.name} is young"
+
+# リスト操作 + パイプ
+list animals = [
+  new Animal("Cat", "Meow", 3),
+  new Animal("Bird", "Tweet", 12),
+  new Animal("Fish", "Blub", 1)
+]
+
+list oldAnimals = animals
+  |> filter((a) => a.age > 5)
+  |> map((a) => a.name)
+
+log "Old animals:"
+each name in oldAnimals:
+  log "  - {name}"

package/examples/server.naide

@@ -0,0 +1,28 @@
+# NAIDE - REST API Server
+# 従来のExpressだと30行以上 → NAIDEなら直感的
+
+server app port 3000:
+
+  get "/":
+    ret {message: "Welcome to NAIDE API"}
+
+  get "/users":
+    list users = [
+      {id: 1, name: "Alice", age: 30},
+      {id: 2, name: "Bob", age: 25}
+    ]
+    ret users
+
+  get "/users/:id" (req, res):
+    str id = req.params.id
+    ret {id: id, name: "User {id}"}
+
+  post "/users" (req, res):
+    map body = req.body
+    log "Creating user: {body.name}"
+    ret {status: "created", user: body}
+
+  del "/users/:id" (req, res):
+    str id = req.params.id
+    log "Deleting user {id}"
+    ret {status: "deleted", id: id}

package/examples/server.nx

@@ -0,0 +1,27 @@
+-- NAIDE-X REST API server
+
+$app:3000
+
+  G"/"
+    >{message:"Welcome to NAIDE-X API"}
+
+  G"/users"
+    l:users=[
+      {id:1,name:"Alice",age:30},
+      {id:2,name:"Bob",age:25}
+    ]
+    >users
+
+  G"/users/:id"(req,res)
+    s:id=req.params.id
+    >{id:id,name:"User {id}"}
+
+  P"/users"(req,res)
+    m:body=req.body
+    log"Creating user: {body.name}"
+    >{status:"created",user:body}
+
+  D"/users/:id"(req,res)
+    s:id=req.params.id
+    log"Deleting user {id}"
+    >{status:"deleted",id:id}

package/examples/sql-app.naide

@@ -0,0 +1,23 @@
+# SQLite-backed API
+# npm install better-sqlite3
+
+db.sql "sqlite" "app.db"
+
+env:
+  PORT int default(3000)
+
+schema Task:
+  id     auto
+  title  str required min(1) max(200)
+  done   bool default(false)
+
+server app port PORT:
+  cors "*"
+  crud "/api/tasks" Task
+
+  put "/api/tasks/:id/toggle" (req, res):
+    task = TaskStore.getById(req.params.id)
+    if not task:
+      ret.status 404 {error: "Not found"}
+    updated = TaskStore.update(req.params.id, {done: !task.done})
+    ret updated

package/examples/sql-app.nx

@@ -0,0 +1,23 @@
+-- SQLite-backed API (NAIDE-X)
+-- npm install better-sqlite3
+
+db.sql "sqlite" "app.db"
+
+env:
+  PORT int default(3000)
+
+schema Task:
+  id auto
+  title str required min(1) max(200)
+  done bool default(false)
+
+$app:PORT
+  cors "*"
+  crud "/api/tasks" Task
+
+  U"/api/tasks/:id/toggle"(req,res)
+    task=TaskStore.getById(req.params.id)
+    ?not task
+      >.s 404 {error:"Not found"}
+    updated=TaskStore.update(req.params.id,{done:!task.done})
+    >updated

package/examples/todo-api.naide

@@ -0,0 +1,34 @@
+# Todo API — complete CRUD app in NAIDE
+# Run: naide examples/todo-api.naide
+
+db "data/"
+
+env:
+  PORT int default(3000)
+
+schema Todo:
+  id auto
+  title str required min(1) max(200)
+  done bool default(false)
+  created timestamp auto
+
+server app port PORT:
+  cors "*"
+  cookie
+  cache "/api/todos" "30s"
+  validate "/api/todos" Todo
+  crud "/api/todos" Todo
+  openapi "/docs"
+
+  get "/":
+    ret.html "<h1>Todo API</h1><p>Try: GET <a href='/api/todos'>/api/todos</a> | <a href='/docs'>/docs</a></p>"
+
+  get "/api/stats":
+    list all = TodoStore.all()
+    int total = all.length
+    int completed = all.filter((t) => t.done).length
+    ret {total, completed, pending: total - completed}
+
+  error (err, req, res):
+    log.error err.message
+    ret.status 500 {error: err.message}

package/examples/todo-api.nx

@@ -0,0 +1,31 @@
+-- Todo API in NAIDE-X (~80% fewer tokens)
+-- Run: naide examples/todo-api.nx
+
+db "data/"
+
+env:
+  PORT int default(3000)
+
+schema Todo:
+  id auto
+  title str required min(1) max(200)
+  done bool default(false)
+  created timestamp auto
+
+$app:PORT
+  cors "*"
+  cookie
+  cache "/api/todos" "30s"
+  validate "/api/todos" Todo
+  crud "/api/todos" Todo
+  openapi "/docs"
+  G"/"
+    >.h "<h1>Todo API</h1><p>GET /api/todos | /docs</p>"
+  G"/api/stats"(req,res)
+    l:all=TodoStore.all()
+    i:total=all.length
+    i:done=all.filter((t)=>t.done).length
+    >{total,done,pending:total-done}
+  error (err,req,res):
+    log.e err.message
+    >.s 500 {error:err.message}