разница Haskell списки и свободна функция

Question

Я исследовал разностные списки и нашедшей DList типа

newtype DList a = DL { unDL :: [a] -> [a] } 

и функцию

dlToList :: DList a -> [a] 
dlToList = ($[]) . unDL 

Я интересно, что это не свободна версия функции и что делает ($[])?

Answer 1

Первый шаг в том, чтобы в точке свободного определения функции для возврата η -уменьшение:

dlToList = ($[]) . unDL 
dlToList dl = (($[]) . unDL) dl 

Затем вы начинаете применять к композиции цепи, справа налево:

dlToList dl = ($[]) (unDL dl) 

После этого вы можете распаковать операторскую секцию ^{& dagger;}

dlToList dl = unDL dl $ [] 

Однако, сохраняя ($[]), как это на самом деле имеет смысл, потому что это важен конвертер между разностными списками и обычными списками: он принимает [a]->[a] -prepender-функцию и применяет его к терминатору [], в результате чего в конкретном списке.

---

^{& dagger;} Мы могли бы упростить, что дальше:

dlToList dl = unDL dl [] 

, который, кстати, может быть точка снова свободна в более короткие образом:

dlToList = (`unDL`[])