How to efficiently track and store deltas between two HAMTs

Ideally, I would like to be able to do

x = Map({'a': 2, 'c': 1})
y = x.update({'b': 3: 'c': 2)
z = y - x # magic
z == Map({'b': 3, 'c': 2})

Is there any particularly efficient way to do this in terms of memory and computational time? Ideally, I'd like z to share its data with y in the same way y shares its data with x. One way that comes to mind is

def diff(y, x):
  z = y
  for k, v in y.items():
    if k in x and x[k] == v:
      z = z.delete('k')
  return z

But this is O(N log N) (for log N get/set). Is there a more efficient way to go about this?

ファイルやテストは指定されていません。まず HAMT と Map の update/delete 実装を確認し、次に、提案された scan を必要とせずに delta 表現で構造共有を維持できるかどうかを判断してください。完了条件は、効率的で文書化されたアプローチ、または例をカバーする明確にスコープ設定された API 変更です。