Red Green Trees は結構面白くて、外部に露出する木のノード(RedNode)が内部ノード(GreenNode)を持っていて、Red は親の Red を持ち、Green は子の Green とトークンとかを持つ。
Red はボトムアップに辿れて Green はトップダウンに走査できる。
最初はだからどうしたと思ったけど、たしかに便利 https://twitter.com/zakuro9715/status/1708646757465538961…
Retweeted by 成瀬
retweeted at 23:39:00