2025-03-16

F# で command-line predictor を書いてる Part 4

新しい機能として、 tooltip での絞り込みと、 snippet に付与した group での絞り込みを追加した。 #22 #23

これによって以下の絞り込みのバリエーションが増えた。

:snp で snippet の絞り込み
:tip で tooltip の絞り込み
:{group} で指定した識別子の group で snippet の絞り込み

{
  "Snippets": [
    {
      "Snippet": "dotnet new classlib --name project --language F# --output ./src/project",
      "Tooltip": "Create a new F# class library project",
      "Group": "fsharp"
    },
    {
      "Snippet": "dotnet tool install fantomas --prerelease",
      "Tooltip": "Install or update Fantomas",
      "Group": "fsharp"
    },
    {
      "Snippet": "dotnet new sln",
      "Tooltip": "Create a new solution file",
      "Group": "project"
    }
  ]
}

みたいなんがあったとして、 :fsharp で絞れる。この例のように、 F# 関連でまとめておきたい snippet があって snippet や tooltip に F# を含まないような場合に "Group": "fsharp" でまとめておけるというメリットがあるはず。 group のこの用途だと実は tooltip の記述を工夫すれば代用できるが、 Get-Snippet で取得した snippet を Where-Object で楽に絞り込むには、やはり別の field を持っているのが最適だと考えた。

今のところ、この group の絞り込みを使うことで絞り込み対象の母数が減って速くなるということはない。愚直に snippet の sequence を絞り込むのに group の条件がついただけになってる。 snippet の登録件数がそんなに多くならないだろうし、空間計算量に寄せるほどでもないかなという直感だ。もし今後件数が増えまくったりして、 command-line predictor の 20ms の制限に触れてくるようなら再検討する。

Group field に設定する値に長さの制限はないが、文字種は [a-zA-Z0-9] しか使えなくしている。 Add-Snippet でも制限されているし、 .snippet-predictor.json 読み込み時にも制限されてる。また Group field は省略可能なので、従来(というほど古くもないけど)の .snippet-predictor の記述通り Group なしの snippet も読める。

Group field の制限は System.Text.Json Namespace を使ってこんなコードでできた。

type GroupJsonConverter() =
    inherit JsonConverter<string>()

    [<Literal>]
    static let pattern = "^[A-Za-z0-9]+$"

    static let regex = Regex(pattern)

    override _.Read(reader: byref<Utf8JsonReader>, _typeToConvert: Type, options: JsonSerializerOptions) =
        reader.GetString()
        |> function
            | null as value -> value // NOTE: unreachable when JsonIgnoreCondition.WhenWritingNull is used.
            | value when regex.IsMatch(value) -> value
            | value -> JsonException(sprintf "Invalid characters in group: %s" value) |> raise

    override _.Write(writer: Utf8JsonWriter, value: string, options: JsonSerializerOptions) =
        value |> writer.WriteStringValue

type SnippetEntry =
    { Snippet: string
      Tooltip: string
      [<JsonConverter(typeof<GroupJsonConverter>)>]
      [<JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)>]
      Group: string | null }

F# 的には group には option を使うべきだろうけど、 .NET と直にやり取りしてるし変換コストを考えたらそのままがいいかなと。 F# 9 で Nullable Reference Type ができたことで、 null を取り扱わないといけないケースも option と遜色なく書けるようになった気がする。代わりに到達不能な branch ができたり coverage 的には頭を悩ますことが多いが。

group には :snp や :tip との一体感やタイプ回数を考えたら小文字英数 3 文字くらいの識別子が良かろうが、分かりやすさ的に英単語を使うのもありかな。いま個人的には英単語の方を、個別の識別子考えて覚える必要ないから使ってる

いま if 連発で愚直に書いただけのロジックになってるのをリファクタリングしたら、 v0.2.0 としてリリースしたい。

2025-03-09 F# で command-line predictor を書いてる Part 3