AL
есть ли какой-то глубокий смысл в том, что у instance Applicative ((->) r) pure это в точности комбинатор K, а (<*>) это в точности комбинатор S, которые вместе составляют комбинаторный базис?
Чуда не вижу я в том, Applicative так и придумали
Size: a a a
2021 March 13
KV
Задача со звёздочкой: придумать другой инстанс аппликатива для этого типа, чтобы он был согласован с монадическим
ЗП
можно еще просто почитать вот это
http://www.staff.city.ac.uk/~ross/papers/Applicative.pdf
http://www.staff.city.ac.uk/~ross/papers/Applicative.pdf
DS
ScopedTypeVariables работает для инстансов классов как и для функций?
a s, объявленные сверху будут видны внутри show?
a s, объявленные сверху будут видны внутри show?
{-# LANGUAGE ScopedTypeVariables #-}
instance forall a s. Show a => Show (MV.MVector s a) where
show vec = show $ ST.runST $ forM indexes readElem
where
indexes = [0..(MV.length vec)]
readElem = MV.read vecDS
тогда ошибка
Couldn't match type ‘m0’ with ‘ST.ST s1’
because type variable ‘s1’ would escape its scope
Couldn't match type ‘m0’ with ‘ST.ST s1’
because type variable ‘s1’ would escape its scope
ЗП
нельзя s вытаскивать из runST, а ты его в голову вытащил
Экзистенциальная природа?)
DS
или сделать свою функцию
showMVect :: Show a => MV.Vector s a -> ST s String
где не будет runST
showMVect :: Show a => MV.Vector s a -> ST s String
где не будет runST
он всё-равно не поймёт что s одно и в декларации show и в showMVect
DS
оно сможет работать только внутри ST?
DS
до freeze
DS
но фриз значение уже не будет MVector
DS
разобрался, спасибо