Хочется на хаскеле сделать такую штуку - тип вектора с

Question

Хочется на хаскеле сделать такую штуку - тип вектора с

размером. Чтобы в сигнатурах функций проверялось что все аргументы-векторы одной длины. https://wiki.haskell.org/The_Monad.Reader/Issue5/Number_Param_Types тут нашел как подобное сделать, н оне понятно как обявить функцию конкатенации - чтоб на входе вуктора длин x и y, а на выходе x+y. Как такую функцию объявить с типом вектора из примера в ссылке?

#haskell #programming #russian

0

09.06.2022

9 ответов

15 просмотров

Alexey Kholodkov Автор вопроса

Danil Berestov
https://www.parsonsmatt.org/2017/04/26/basic_type_...

Спасибо, то что нужно. Как такие вектора будут работать под капотом? Будет односвязный список или ghci додумается в сплошную оласть памяти элементы вектора положить?

0

09.06.2022

Alexey Kholodkov Автор вопроса

Danil Berestov
https://www.parsonsmatt.org/2017/04/26/basic_type_...

Не пойму как из типа такого вектора доставать длину. import Data.Number.Peano newtype SizedArray (size :: Nat) i a = SizedArray (Array i a) deriving (Eq, Show) repeat_arr :: SizedArray s i2 a2 -> a -> SizedArray s Int a repeat_arr _ x = let ln = (fromPeano s)::Int in SizedArray $ listArray (0, pred ln) (replicate ln x) вот пытаюсь написать функцию которая создаст массив с размером из типа, но не получается посчитать ln: Variable not in scope: s

0

15.06.2022

Danil Berestov

1) ScopedTypeVariables 2) forall size i a. ... 3) KnownNat size

0

15.06.2022

Cheese Syrowiecki

Alexey Kholodkov
Не пойму как из типа такого вектора доставать длин...

значение, зависящее от типа — это тайпкласс

0

15.06.2022

Alexey Kholodkov Автор вопроса

Danil Berestov
1) ScopedTypeVariables 2) forall size i a. ... 3) ...

2) что значит forall? то что я пока нагуглил говорит что это объявляет что любые типы подойдут, но тоже самое будет значить и сигнатура без forall 3) KnownNat это что?

0

15.06.2022

Cheese Syrowiecki

Alexey Kholodkov
2) что значит forall? то что я пока нагуглил говор...

2. в контексте ScopedTypeVariables у квантора forall появляется ещё один смысл

0

16.06.2022

Alexey Kholodkov Автор вопроса

Как без экземпляра тип в функцию передать?

0

16.06.2022

Elijah