Что это на самом деле означает левый и правый в святилище - PullRequest
Новая
       35

Что это на самом деле означает левый и правый в святилище

0 голосов
/ 08 ноября 2018 
> S.reduce(S.flip(S.K),[],S.Left([1,2]))
[]
> S.reduce(S.flip(S.K),[],S.Right([1,2]))
[ 1, 2 ]

Я пытался понять святилище, и его работа может кто-нибудь подробно объяснить вышеупомянутые результаты В моем понимании S.reduce берет функцию отображения и использует входной массив, который также должен иметь тип, и уменьшает его Но почему его пустой массив в первом случае и тот же массив во втором случае

1 Ответ

0 голосов
/ 09 ноября 2018

Давайте начнем с более знакомого примера: использование S.reduce в массиве. 

> S.reduce (acc => s => acc + s) ('initial:') (['foo', 'bar', 'baz'])
'initial:foobarbaz'

Теперь давайте специализируемся на типе S.reduce, чтобы объяснить поведение выше. 

S.reduce :: Foldable f => (b -> a -> b) -> b -> f a -> b

-- replace ‘Foldable f => f’ with ‘Array’ --

S.reduce :: (b -> a -> b) -> b -> Array a -> b

Далее, давайте специализируемся на типе S.reduce, чтобы увидеть, как он будет работать с любыми значениями. 

S.reduce :: Foldable f => (b -> a -> b) -> b -> f a -> b

-- replace ‘Foldable f => f’ with ‘Either x’ --

S.reduce :: (b -> a -> b) -> b -> Either x a -> b

Что мы можем сделать, если дать S.Left ('foo') как Either x a? У нас есть x ('foo'), но нет a. Поскольку у нас нет a, мы не можем использовать функцию b -> a -> b. Таким образом, единственное b, которое мы можем вернуть, - это начальное значение. 

> S.reduce (acc => s => acc + s) ('initial:') (S.Left ('foo'))
'initial:'

Что мы можем сделать, если дать S.Right ('bar') как Either x a? У нас есть a, который мы можем передать функции b -> a -> b вместе с начальным значением, чтобы получить другое значение типа b. 

> S.reduce (acc => s => acc + s) ('initial:') (S.Right ('bar'))
'initial:bar'

Если бы S.reduce должен был вернуть 'initial:' или 'initial:bar:bar:bar' в вышеприведенном случае, он все равно соответствовал бы сигнатуре типа, но реализация fantasy-land/reduce для типа Любой из Sanctuary применяет функцию ровно один раз, когда ей дают Право .

...