kemuniku
commented
5 months ago クエリの与え方を考えてなかった。どうしようかなぁ 最初に構造作ってaddとdeleteとかでいいかな
Open kemuniku opened 5 months ago
kemuniku
commented
5 months ago クエリの与え方を考えてなかった。どうしようかなぁ 最初に構造作ってaddとdeleteとかでいいかな
感動したので
やりたいこと ・クエリを先読みして処理する ・クエリは二種類 作用の追加とその作用のキャンセル ・作用は必ずキャンセルされるとは限らないものとする。 ・undo操作が十分に高速にできる
実装 ・クエリとundo関数と追加関数と処理関数を渡すと結果のseqが返ってくるものとする。