B
Size: a a a
2021 June 07
2021 June 08
АХ
Только надо банги поставить, а то ворд64 забоксит
АХ
Да и компилятор не дурак он может и избавляться от конструктора в промежуточных вычислениях и там выйдет как раз та пара
AS
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE FlexibleInstances #-}
module Smth where
class Eq a => X a
class Eq c => Y c
instance X a => Y aГде то написано, почему такое не тайпчекается, то есть что надо
instance (Eq a, X a) => Y a писать? Как то нелогично что ограничения на класс X игнорируютсяAS
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE FlexibleInstances #-}
module Smth where
class Eq a => X a
where x :: a
class Eq c => Y c
where y :: c
instance (Eq a, X a) => Y a where
y = x
f :: X a => a
f = y
Причем не в инстансе
X a вполне достаточно, то есть такое работаетк
вопрос хороший, я попытался объяснить через "представь классы как рекорды", но получилось наоборот
data Eq a = Eq { a -> a -> Bool }
data X a = X { eq :: Eq a, x :: a }
data Y a = Y { eq :: Eq a, y :: a }
yFromX :: X a -> Y a
yFromX X { eq, x } = Y { eq, y = x }
и тут Eq аргумент тоже не нужен
data Eq a = Eq { a -> a -> Bool }
data X a = X { eq :: Eq a, x :: a }
data Y a = Y { eq :: Eq a, y :: a }
yFromX :: X a -> Y a
yFromX X { eq, x } = Y { eq, y = x }
и тут Eq аргумент тоже не нужен
MK
так это, рекорд инстанса Eq a => X a не хранит в себе рекорд Eq a
MK
покажи
MK
хм, мне казалось что этот сабтайпинг требует чтобы инстанс приезжал от пользователя