к
Size: a a a
2021 March 21
ЗП
он не такой страшный как кажется по доке, а кучу вещей позволит заметно проще написать чем на генериках
а если generic sop?
ЗП
"на generic-sop вещи можно написать заметно проще чем на генериках"
ты делал через него deriving via?
ЗП
да, писал генератор энкодеров/декодеров жсона и еще одной структуры обобщенной
можно пример?
[
А я поспорил, что прочту Курта до конца (осталось 340 страниц) за неделю, F мне
OS
g4 = f @(ST _) @(STUArray _) Int @Boolкак указать компилятору, что _ одного типа?
```
f :: forall m s k v. (MArray s v m) => m v
f = undefined
g :: IO Bool
g = f @IO @IOUArray @Int @Bool
h :: ST s Bool
h = f @(ST _) @(STUArray _) @Int @Bool
```
```
f :: forall m s k v. (MArray s v m) => m v
f = undefined
g :: IO Bool
g = f @IO @IOUArray @Int @Bool
h :: ST s Bool
h = f @(ST _) @(STUArray _) @Int @Bool
• Ambiguous type variable ‘_0’ arising from a use of ‘f’
prevents the constraint ‘(MArray
(STUArray _0) Bool (ST s))’ from being solved.
Relevant bindings include
h :: ST s Bool (bound at src/Y15/D06.hs:263:1)
Probable fix: use a type annotation to specify what ‘_0’ should be.
These potential instance exist:
instance MArray (STUArray s) Bool (ST s)
-- Defined in ‘Data.Array.Base’
• In the expression: f @(ST _) @(STUArray _) @Int @Bool
In an equation for ‘h’: h = f @(ST _) @(STUArray _) @Int @Bool
|
263 | h = f @(ST _) @(STUArray _) @Int @Bool
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^```
a
как указать компилятору, что _ одного типа?
```
f :: forall m s k v. (MArray s v m) => m v
f = undefined
g :: IO Bool
g = f @IO @IOUArray @Int @Bool
h :: ST s Bool
h = f @(ST _) @(STUArray _) @Int @Bool
```
```
f :: forall m s k v. (MArray s v m) => m v
f = undefined
g :: IO Bool
g = f @IO @IOUArray @Int @Bool
h :: ST s Bool
h = f @(ST _) @(STUArray _) @Int @Bool
• Ambiguous type variable ‘_0’ arising from a use of ‘f’
prevents the constraint ‘(MArray
(STUArray _0) Bool (ST s))’ from being solved.
Relevant bindings include
h :: ST s Bool (bound at src/Y15/D06.hs:263:1)
Probable fix: use a type annotation to specify what ‘_0’ should be.
These potential instance exist:
instance MArray (STUArray s) Bool (ST s)
-- Defined in ‘Data.Array.Base’
• In the expression: f @(ST _) @(STUArray _) @Int @Bool
In an equation for ‘h’: h = f @(ST _) @(STUArray _) @Int @Bool
|
263 | h = f @(ST _) @(STUArray _) @Int @Bool
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^```
к примеру его назвать
OS
к примеру его назвать
добавление forall в тип h решило проблему:
h :: forall s . ST s Bool
h = f @(ST s) @(STUArray s) @Int @Bool
h :: forall s . ST s Bool
h = f @(ST s) @(STUArray s) @Int @Bool
OS
а есть ли способ укзать это в одной строке?
h = f @(ST ?) @(STUArray ?) @Int @Bool
h = f @(ST ?) @(STUArray ?) @Int @Bool
JS
а есть ли способ укзать это в одной строке?
h = f @(ST ?) @(STUArray ?) @Int @Bool
h = f @(ST ?) @(STUArray ?) @Int @Bool
выше подсказали именованую дырку: _a
[
Ghc пишет шо да
[
Мне кажется, ему можно верить
AA
есть два вида дырок
t
начало звучит интригующе ( ͡° ͜ʖ ͡°)
[
есть два вида дырок
Именованные и неименованные?
AA
в типах и термах