synsema

SynsemaはAIエージェント向けに特別に設計されたプログラミング言語であり、フレームワークやライブラリとは異なり、可観測性、セキュリティ、マルチエージェント調整、人間との対話、LLM統合を言語のネイティブプリミティブとして備えています。ランタイムなし、GILなし、真のマルチコアサポートを備えた単一のネイティブバイナリにコンパイルされます。 主な機能は以下の通りです： - **パフォーマンス**：ベンチマークでは、HTTPスループット（例：プレーンテキストエンドポイントで47.2k req/s対Goの42.8k req/s）でGoに匹敵またはそれを上回ります。 - **セキュリティ**：言語レベルでのデフォルト拒否のケイパビリティセキュリティ—明示的な`require`宣言なしでは、ネットワーク、ファイル、DBアクセスはできません。宣言型ルート認証、入力検証、自動監査ログが含まれます。オプションの情報フローラベルは、操作や分岐を通じて機密値を追跡し、`declassify`のみが唯一の脱出手段です。機密デプロイメントでは、実行中のコードをソースにバインドする構成証明サポートがあります。 - **LLM統合**：組み込みの`analyze`、`decide`、`generate`操作と、交換可能なプロバイダー（Anthropic、OpenAI、Ollama）を備えています。応答は自動的に検証され、リトライされます。 - **人間との対話**：承認ゲートや質問のための`approve`、`ask`、`confirm`、`show`プリミティブ。 - **マルチエージェント調整**：エージェントはブラックボード（バージョン管理付き共有状態）、シグナル、リソースロックを介して通信します。`spawn`はOSスレッドでエージェントを作成します。 - **並行性**：`parallel_map`と`chunk`による真のマルチコア並列処理で、境界付きファンアウトとフェイルファストセマンティクスを備えています。 - **Webサーバー**：ルーティング、認証、検証、ページネーション、レート制限、SSEストリーミング、TLS/自動HTTPS、HTTP/2、仮想ホスト、リバースプロキシを備えたネイティブHTTPサーバー—外部プロキシは不要です。 - **可観測性**：`trace`、`log`、`measure`、`checkpoint`プリミティブに加え、変数スナップショットと回復提案を備えたリッチなエラー診断。 - **エージェントメモリ**：進捗追跡、永続メモリ（`remember`/`recall`）、レベル付きオーナールール（must/should/avoid/prefer）。 - **言語設計**：英語に似た構文（例：`let name be "World"`、`task greet(person)`）、パイプ演算子、意図的な操作（`where`、`collect`、`apply`、`reduce`）、カスタム型、`.fsyn`ファイル用のフラットなドキュメントスタイル構文。 - **ツール**：`run`、`serve`、`check`、`repl`、`ast`、`tokens`、`testgen`コマンドを備えたCLI。エッジケーステストを自動生成します。VS Code拡張機能と、Claude Codeなどのコーディングアシスタント向けのAIスキルが含まれます。 インストールは、curlまたはnpmを介した単一の自己完結型バイナリで、Cargoを介したソースビルドも可能です。エンジンはモジュール式で、コア、ケイパビリティ、標準ライブラリ、エージェント、ランタイム、LLM、CLI用のクレートに編成されています。