у всех - нет

но я так и не освоил емакс (

я профессионал на Атоме

хотя да, в нашей команде 20% пользуются Атомом, 20% вскодом, 60% вимом

я, например, не могу догадаться, какого поведения ты ожидаешь. почему компилятор должен догадываться?

а что, много вариантов?

кроме Pair a b + Pair a' b' = Pair (a + a') (b + b') ещё что?

комплексные числа мне на ум приходят в первую очередь

этот вариант тоже логичный

комплексные числа мне на ум приходят в первую очередь

сочувствую:)

комплексные числа они для интов или флотов вместо этих a и b

а в случае произвольных типов, способ по-моему один

@cblp_su 5 человек?

кроме Pair a b + Pair a' b' = Pair (a + a') (b + b') ещё что?

@Masteroid, Num не знает, с целыми числами ты работаешь или нет

вот именно

@Masteroid можно начать с fromInteger который есть в Num

я вижу варианты fromInteger x = Pair x x, Pair x 0, Pair 0 x

Pair sqrt(x) sqrt(x)

это ппц

@Masteroid, я противоречия не вижу, но видимо, никому до тебя это просто не было нужно. запили патч в GHC

какие sqrt

@cblp_su 5 человек?

да

@Masteroid да что угодно там может быть, с чего бы компилятору дерайвить это

@cblp_su 5 человек?

если считать только хаскеллитов

Можно дерайвить произведение Num как Num произведения

что такое vscode?

@Masteroid да что угодно там может быть, с чего бы компилятору дерайвить это

потому что это самое тривиальное

visual studio ?

То есть data Pair = P Int Int получит fromInteger x = P (fromInteger x) (fromInteger x), и P a b + P x y = P (a + x) (b + y)

и это обобщается на N-арное произведение

и даже на (), hue hue

что такое vscode?

http://lmgtfy.com/?q=vscode

lmgtfy это когда вместо общения с человеком ты предлагаешь общение с машиной. Может мне хочется, чтобы мне рассказали, а не ссылкой тыкнули

Или дали остроумную характеристику типа "это Atom от MS"

я не понимаю, почему вас удивляет, что Show, Read и прочую хрень можно тоже задерайвить сотней разных способов, но при этом компилятор выбирает один, самый естественный

а с Num удивляет

У Show и Read нет сотней разных способов

а для сумм как оно будет работать?

Там оно uniquely determined modulo whitespace

а для сумм как оно будет работать?

Не будет

кроме Pair a b + Pair a' b' = Pair (a + a') (b + b') ещё что?

А что, других типов сложения не бывает? :D

ну вот потому и удивляет

тем более что там не только сложнеие

что такое vscode?

модульный текстовый редактор на браузерном движке, визуально похожий на Visual Studio, пригоден для работы только с одним проектом

и это когда думаешь об этом лучше убирать удобные идентификаторы

и думать как о

data KJHgfdsugdfg = KJHgfd Int Int

тогда всякие слова типа Pair не будут отвклекать мозг и делать вид будто ответ очевиден

Мне нравится как ты сделал KJHgfd префиксом KJHgfdsugdfg

data KJHgfdsugdfg = KJHgfd Int Int

я уже понял, что Int я зря написал

Int тут как раз добавляет сложностей

просто изначально я спрашивал про команду языка, чтобы можно было сразу вставить в ghci и проверить, что работает

было бы KJHgsdafsa a = KJHgs a a ситуация бы чуть-чуть менялась

а оказывается её вовсе нет

было бы KJHgsdafsa a = KJHgs a a ситуация бы чуть-чуть менялась

a b

ну я не знаю что такое у тебя Pair

по-моему, вполне естественное желание у товарища

зато компилятор умеет генерить всякий трэш λ> data A = A deriving (Enum, Show) λ> toEnum 1 :: A *** Exception: toEnum{A}: tag (1) is outside of enumeration's range (0,0)

ну у Enum, Show, Read однозначное и документированное поведение

с Num сложнее

есть всякие GeneralizedNewType и Generic

Num точно так же документирован

как он дерайвится?

где почитать?

короче

я утверждаю

как он дерайвится?

он — это кто?

Num

Num никак не дерайвится

что это единственный возможный способ задерайвить Num для произведения двух полиморфных типов

data Pair a b = Pair a b deriving Show instance (Num a, Num b) => Num (Pair a b) where Pair a b + Pair a' b' = Pair (a + a') (b + b') Pair a b - Pair a' b' = Pair (a - a') (b - b') Pair a b * Pair a' b' = Pair (a * a') (b * b') negate (Pair a b) = Pair (negate a) (negate b) abs (Pair a b) = Pair (abs a) (abs b) fromInteger x = Pair (fromInteger x) (fromInteger x) signum (Pair a b) = Pair (signum a) (signum b)

ессли я не прав, то ткните

а. он не тайпчекается

б. нет, возможно поведение как у комплексных чисел

deriving должен не только для произведений работать

а стоп, я наркоман

что не тайпчекается?

тайпчекается

но поведение как у комплексных чисел может хотеться

б. нет, возможно поведение как у комплексных чисел

для нютайпов тоже можно разное поведение придумать, но существует дерайвинг самого простого поведения по умолчанию