変更履歴

0.2.0 — 現行実装のスナップショット

正式リリースの宣言ではありません。 リポジトリにリリースタグがないため、確認できた実装を基準バージョンとして記録しています。言語本体の参照コミットは a7ecabb2。Hello Worldの導入を含むバージョンです。過去のバージョンとの差分を推測した「追加」一覧は作っていません。

収録している機能

• Int / Bool / Text / Json、名目的な型のList・Record・Resultと網羅的な分岐。型検査は実行前に行います。
• Dicks製コンパイラ、Rust製bootstrap seed、TypeScript比較実装。3段階bootstrapの生成物一致を検証します。
• 複数ファイルの静的リンク、名前付きexports、固定バージョンとハッシュによる依存管理。
• 11個の公式パッケージ。DiscordはGateway・REST・コマンド処理を提供します。
• HTTPメソッド・ヘッダー・JSON送信、Ed25519検証、タイムアウトを扱うCloudflareホスト境界。
• LSPの補完・定義ジャンプ、DAPのブレークポイントとステップ実行。
• ブラウザ内のコンパイル・実行。Web Worker内で動き、入力コードは送信しません。

互換性

言語のバージョンは0.2.0、各ライブラリのバージョンは別に固定します。既存命令の意味変更はありません（今回の基盤分離）。新しい命令・型・effectを必要とするソースは古いコンパイラでは実行できません。実行生成物だけを交換せず、コンパイラ・runtime・lockfileの組を合わせてください。

移行方法

移行ガイド にロック確認、チェック、テスト、ロールバックの順を記載しています。

既知の制約

再帰、浮動小数演算、バージョン範囲解決、Wasm出力には未対応です。Discordはdiscord.py全機能の互換実装ではありません。音声・自動シャーディング・完全なキャッシュは未実装です。詳細は 制約 と Discord を確認してください。

次の更新

開発中の変更は「開発中」のバージョンに追記し、公開前に変更点・互換性・移行手順・既知の制約をそろえて固定します。記載がない機能を公開済みとは扱いません。