almide-lsp

Almide の Language Server Protocol サーバー。almide lsp で起動する。v0.19.0 で Phase 1 を実装。

アーキテクチャ

ファイルが開かれた時・変更された時にコンパイルパイプラインを走らせ、エラー/警告を LSP Diagnostic として publish。

Lexer → Parser → Canonicalization → Type Checker
    ↓         ↓              ↓              ↓
    エラーがあればその時点で Diagnostic を収集

2 パターンのホバー情報を提供：

パターン	トリガー	表示内容
`Module.func`	stdlib 関数上	関数シグネチャ（`crate::stdlib::lookup_sig()` で参照）
キーワード	言語キーワード上	キーワードの説明

対応キーワード: fn, let, var, type, match, effect, test, import, mut, true, false, none, some, ok, err

レスポンスは Markdown フォーマット。

トリガー	入力例	補完内容
モジュール補完	`list.`	モジュール内の関数一覧（シグネチャ付き）
キーワード補完	`ef`	`effect` 等のマッチするキーワード

トリガー文字: "."（ドット入力で発火）

vscode-almide が LSP クライアントとして almide lsp を起動する。Neovim 等の LSP 対応エディタでも利用可能。

LSP Phase 1 の 3 機能 → Diagnostics（リアルタイムエラー表示）、Hover（stdlib 関数シグネチャ + キーワード説明）、Completion（モジュール関数 + キーワード）
Diagnostics のパイプライン → Lexer → Parser → Canonicalization → Type Checker。各段階でエラーを収集し LSP Diagnostic に変換
Hover の仕組み → Module.func パターンは stdlib::lookup_sig() でシグネチャ参照。キーワードは静的な説明テキスト
Completion のトリガー → ドット (.) 入力でモジュール関数一覧。キーワードはコンテキスト非依存で候補提示
未実装の Phase 2-3 → Go-to-definition, Find references, Rename, Document symbols, Code actions, Cross-file support