JS
на то они и ворнинги, что иногда программист умнее компилятора
Size: a a a
2021 March 02
IR
А если через классы сделать?
IR
Хотя там начинаются всякие UndecidableSuperclasses и прочие страсти
[
на то они и ворнинги, что иногда программист умнее компилятора
В 75% случаев "программист умнее компилятора" надо говорить в саркастическом ключе
IR
"программист умнее авторов компилятора"
[
"программист умнее авторов компилятора"
Нифига он умный👍
к
Хотя там начинаются всякие UndecidableSuperclasses и прочие страсти
сделал вот такой IsPrefix, как воспроизвести ошибку?
type family IsPrefixOf' xs ys a b :: Constraint where
IsPrefixOf' '[] _ _ _ = ()
IsPrefixOf' (x : xs) (x : ys) a b = IsPrefixOf' xs ys a b
IsPrefixOf' _ _ a b = TypeError (ShowType a :<>: Text " isn't prefix of " :<>: ShowType b)
type IsPrefixOf a b = IsPrefixOf' a b a b
type family IsPrefixOf' xs ys a b :: Constraint where
IsPrefixOf' '[] _ _ _ = ()
IsPrefixOf' (x : xs) (x : ys) a b = IsPrefixOf' xs ys a b
IsPrefixOf' _ _ a b = TypeError (ShowType a :<>: Text " isn't prefix of " :<>: ShowType b)
type IsPrefixOf a b = IsPrefixOf' a b a b
f :: [1, 2] `IsPrefixOf` [1, 2, 3] => ()
f = ()IR
сделал вот такой IsPrefix, как воспроизвести ошибку?
type family IsPrefixOf' xs ys a b :: Constraint where
IsPrefixOf' '[] _ _ _ = ()
IsPrefixOf' (x : xs) (x : ys) a b = IsPrefixOf' xs ys a b
IsPrefixOf' _ _ a b = TypeError (ShowType a :<>: Text " isn't prefix of " :<>: ShowType b)
type IsPrefixOf a b = IsPrefixOf' a b a b
type family IsPrefixOf' xs ys a b :: Constraint where
IsPrefixOf' '[] _ _ _ = ()
IsPrefixOf' (x : xs) (x : ys) a b = IsPrefixOf' xs ys a b
IsPrefixOf' _ _ a b = TypeError (ShowType a :<>: Text " isn't prefix of " :<>: ShowType b)
type IsPrefixOf a b = IsPrefixOf' a b a b
f :: [1, 2] `IsPrefixOf` [1, 2, 3] => ()
f = ()мило... сейчас опробую
c
А для чего именно а и b?
c
А типы же как-то неявно в любом случае должны передаваться
c
А, я понял, спасибо
IR
мило... сейчас опробую
так всё равно unused
IR
на функцию
IR
bind
:: ( Compatible dsl oldDsl
, MonadIO m
)
=> Pipeline dsl
-> Bound dsl m ()
-> Bound oldDsl m ()IR
это всё фантомные типы
IR
RedundantConstraints вроде нет в all