差分リスト
Difference List
http://www2.koyahatataku.com/blog/2021/05/13/prologの差分リストに関して/
リストの最終要素を、(Nilではなく)値を決定しない自由変数のままにしたリストのこと
hsで書くとこんな感じ
code:hs
\xs ->
1,2,3
++ xs --
1,2,3
の差分リスト版
(
1,2,3
++) -- 同上
\xs -> [] ++ xs -- []の差分リスト版
appendする関数の定義
code:hs
f
append
g = \xs -> f (g xs)
https://www.pandanoir.info/entry/2020/06/09/225028
Type-aligned Sequence
/mrsekut-book-4274068056/226
https://falsandtru.hatenablog.com/entry/difference-list-in-haskell
https://www.reddit.com/r/haskell_jp/comments/aaj2ss/haskellの差分リストはなんちゃって差分リストではないか
すごいH本
p.327