YS
Я просто такой синтаксис редко встречал)
Size: a a a
2020 May 06
YS
И не видел его описания нигде
YS
Поэтому возникали вопросы о степени его валидности
YS
я думаю компилятору все равно, вывести один словарик или кортеж словариков, это может быть и просто синтаксом
Кстати, по поводу словариков - надо смотреть, как выглядит преобразование в core, чтобы понять как оно под капотом работает?
YS
Я про тайпклассы
DR
что там понимать?
к
да работает как и ожидается,
class X a where
a :: a
b :: a -> a
instance X Int where
a = 0
b = id
f :: X a => a
f = b a
это условно
data X = X { a :: a, b :: (a -> a)}
xInt :: X Int
xInt = X { a = 0, b = id }
f :: X a -> a
f (X a b) = b a
ток вроде все же без имен, и компилятор их сам пробрасывает как аргументы
class X a where
a :: a
b :: a -> a
instance X Int where
a = 0
b = id
f :: X a => a
f = b a
это условно
data X = X { a :: a, b :: (a -> a)}
xInt :: X Int
xInt = X { a = 0, b = id }
f :: X a -> a
f (X a b) = b a
ток вроде все же без имен, и компилятор их сам пробрасывает как аргументы
AA
Кстати, по поводу словариков - надо смотреть, как выглядит преобразование в core, чтобы понять как оно под капотом работает?
ну да, можно смотреть в корке как тайпклассы энкодятся, это хороший способ их понять
YS
ну да, можно смотреть в корке как тайпклассы энкодятся, это хороший способ их понять
Да, спасибо
YS
да работает как и ожидается,
class X a where
a :: a
b :: a -> a
instance X Int where
a = 0
b = id
f :: X a => a
f = b a
это условно
data X = X { a :: a, b :: (a -> a)}
xInt :: X Int
xInt = X { a = 0, b = id }
f :: X a -> a
f (X a b) = b a
ток вроде все же без имен, и компилятор их сам пробрасывает как аргументы
class X a where
a :: a
b :: a -> a
instance X Int where
a = 0
b = id
f :: X a => a
f = b a
это условно
data X = X { a :: a, b :: (a -> a)}
xInt :: X Int
xInt = X { a = 0, b = id }
f :: X a -> a
f (X a b) = b a
ток вроде все же без имен, и компилятор их сам пробрасывает как аргументы
И за пример - спасибо)
YS
что там понимать?
Ну вот есть что, особенно начинающим .-.
к
да работает как и ожидается,
class X a where
a :: a
b :: a -> a
instance X Int where
a = 0
b = id
f :: X a => a
f = b a
это условно
data X = X { a :: a, b :: (a -> a)}
xInt :: X Int
xInt = X { a = 0, b = id }
f :: X a -> a
f (X a b) = b a
ток вроде все же без имен, и компилятор их сам пробрасывает как аргументы
class X a where
a :: a
b :: a -> a
instance X Int where
a = 0
b = id
f :: X a => a
f = b a
это условно
data X = X { a :: a, b :: (a -> a)}
xInt :: X Int
xInt = X { a = 0, b = id }
f :: X a -> a
f (X a b) = b a
ток вроде все же без имен, и компилятор их сам пробрасывает как аргументы
вот этот пример, опять же после переименования
YS
Надо будет посмотреть, спасибо!
ЗП
вопрос
ЗП
имея
получить
class Functor f <= Coapply f where
coapply :: forall a b. f (Either a b) -> f (a -> b) -> f b
получить
someFn :: forall f a b. Coapply f => f (Either a b) -> Either (f a) (f b)