unisonweb/unison

`manageLinks` in `HandleInput` should have a stronger type

Open

#1,443 opened on 2020年4月20日

GitHub で見る
 (0 comments) (0 reactions) (0 assignees)Haskell (304 forks)batch import
help wantedtech debt

Repository metrics

Stars
 (6,624 stars)
PR merge metrics
 (平均マージ 10d 2h) (30d で 5 merged PRs)

説明

The current type of this function is:

    manageLinks :: [(Path', NameSegment.HQSegment)]
                -> [HQ.HashQualified]
                -> (forall r. Ord r
                    => (r, Reference, Reference)
                    ->  Branch.Star r NameSegment
                    ->  Branch.Star r NameSegment)
                -> Action m (Either Event Input) v ()

Since it takes names rather than references, it has to parse those names. This is probably OK for now, but may run into strange corner cases later.

コントリビューターガイド

調査方針
Unison コードベース内の `manageLinks` 関数を調査し、その現在の使用法と制約を理解する。存在型または型族を使用したより強力な型を提案し、変更が後方互換性を保つことを確認する。コードベースの他の部分への潜在的な副作用について議論する。
技術スタック
なし
領域
backend
Issue 種別
リファクタリング
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3時間
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
新着
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
Git
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
60