Obj:pickを追加

[FineArchs]

関数Obj:extractとObj:extract_with_defaultObj:pickを追加します。

doc

@obj:pick<T>(o: obj<T>, keys: arr<str>): obj<T>

オブジェクトoのプロパティのうち、キー名がkeysに含まれるもののみを抽出します。
keysにあってoにないキーはNULLになります。

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

All modified and coverable lines are covered by tests ✅

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Files with missing lines	Coverage Δ
src/interpreter/lib/std.ts	77.19% <100.00%> (-2.05%)	⬇️

... and 30 files with indirect coverage changes

[uzmoi]

言語のstdに入れるほどの汎用性を感じないというかユースケースがわからないのですが、どんな使い方を想定していますか？
デフォルトはObj:merge(defaults, o)とかでも代用できそうですが

[FineArchs]

言語のstdに入れるほどの汎用性を感じないというかユースケースがわからないのですが、どんな使い方を想定していますか？ デフォルトはObj:merge(defaults, o)とかでも代用できそうですが

余計なキーを削除できるという点から、主な想定用途はモジュール化におけるアクセス制限です。

[uzmoi]

モジュール化のために既にあるオブジェクトのキーを絞るシチュエーションがわからないです

[takejohn]

Obj:from_kvsのような関数を追加するくらいだと汎用できそう

// Obj:extract (keysにあってoにないキーはnull)
Obj:from_kvs(keys.map(@(key) { [key, o[key]] }))

// keysとoの両方にあるキーのみ抽出
Obj:from_kvs(Obj:kvs(o).filter(@([key]) { keys.incl(key) }))

// Obj:extract_with_default
Obj:merge(defaults, Obj:from_kvs(Obj:kvs(o).filter(@([key]) { Obj:has(defaults, key) })))

[FineArchs]

モジュール化のために既にあるオブジェクトのキーを絞るシチュエーションがわからないです

例えば読み書き両用のモジュールからget系メソッドのみを抽出する場合が考えられます。

Obj:from_kvsのような関数を追加するくらいだと汎用できそう

Obj:from_kvsも欲しいですが、毎回Obj:kvs->何らかの処理->Obj:from_kvsをしているとネストで非常に見づらくなるんですよね

[uzmoi]

extractは入れてもいいかもと思いました
extractの関数名はTypeScriptのユーティリティ型と同じくpickのほうが個人的にはしっくり来ます

extract_with_defaultはstdに入れるにしては、ユーザーが簡単に定義できるし汎用性が欠けてる感じがします
後方互換性の観点から一度入れたら消すのは難しいので、今後の言語の方向性に左右されるような機能追加には慎重になりたいのです

[FineArchs]

extractをpickに変更、extract_with_defaultを削除しました。