λ
Size: a a a
2019 May 28
AK
Лично я делаю алиас (`type` это алиас же) сложному рекорду, в котором внутри лежит список из элементов, которые обязаны работать с функциями из моего тайпкласса
AK
Здесь это констрейнт на то, чтобы все элементы списка могли быть «презентабельны», проецирую констрейнты с функций, это неправильно?
AK
Видел мнение, что только у функций надо делать констрейнты
p
Здесь это констрейнт на то, чтобы все элементы списка могли быть «презентабельны», проецирую констрейнты с функций, это неправильно?
Делай через existential
AK
Делай через existential
в пурсе с ними проблемы: https://discourse.purescript.org/t/how-to-define-an-existential-type-with-a-constraint/518/3
AK
Ну, вернее в пурсе свой взгляд, а не проблемы, как я понимаю
p
в пурсе с ними проблемы: https://discourse.purescript.org/t/how-to-define-an-existential-type-with-a-constraint/518/3
Нет в пурсе с этим проблем. Я тебе даже пример с FS приводил как-то :)
AK
который с
eta?AK
такое в пурсе не работает:
data Shape = forall a. Shape_ a => Shape aAK
И так тоже:
class FooA a where
test :: a
data Test =
Test (forall a. FooA a => { x :: List a })
type TestWrap a =
{ wrap :: Test
}
func :: forall a. TestWrap a -> List a
func { wrap } =
case wrap of
(Test { x }) -> x
λ
такое в пурсе не работает:
data Shape = forall a. Shape_ a => Shape aа может просто квантор переставить?
λ
Под Shape_
AK
Под Shape_
а, так будет, да:
data Shape = Shape (forall a. Shape_ a => a)AK
И так тоже:
class FooA a where
test :: a
data Test =
Test (forall a. FooA a => { x :: List a })
type TestWrap a =
{ wrap :: Test
}
func :: forall a. TestWrap a -> List a
func { wrap } =
case wrap of
(Test { x }) -> x
но не этот пример
AK
Сорри, он дурацкий
AK
class FooA a where
test :: a
data Test a =
Test (FooA a => { x :: List a })
type TestWrap a =
{ wrap :: Test a
}
func :: forall a. TestWrap a -> List a
func { wrap } =
case wrap of
(Test { x }) -> x
так имелось в виду
AK
то есть
a пробрасывается из TestWrapAK
Но свою проблему я решил через
data Test a = Test (Foo a => ... a), да, спасибо