• In the second argument of ‘(/)’, namely ‘b’ In the expression: ((- c) :+ 0) / b In an equation for ‘alone’: alone = ((- c) :+ 0) / b Почему? В Prelude он как нефиг делит Complex на Floating.

чего?!

может там написано было (c::Complex) /2

Там - это где?

Prelude Data.Complex> (2 :+ 1) / 3.2 0.6249999999999999 :+ 0.31249999999999994

Вот из прелюдии.

Вроде на одной стороне - Complex, на другой - Floating.

Или я неправ?

не прав

Floating это класс типов, Complex это тип

поэтому 3.2 имеет тип Complex Double тут

Аааа, окей.

т.к. Complex Double является Floating

в примере нужно realToFrac натравить на b

Ну а почему я не могу Complex Double на Double поделить-то?

Ааа

Ок

А в чём суть?

суть в том, что деление: (/) :: Fractional a => a -> a -> a

оба аргумента имеют один и тот же тип

поэтому поделить Complex на Double нельзя

(да Num ужасный класс типов)

т.к. если бы это было линейное поле, то тогда конечно деление Complex Double на Double было бы хорошей операцией

ещё можно сделать (/realValue) <$> complexValue

наверное

Prelude Data.Complex> (/5) <$> 15 :+ (-5) 3.0 :+ (-1.0)

т.к. Complex является Functor, в котором функция применяется ко всем значениям, что в делении и нужно

Ага, вроде раскурил.

можно написать let a ^/ b= fmap (/b) a

И более того, оно скомпилялось.

Правда пока что вместо реальной части комплексного результата выдаёт NaN

можно кусок кода?

https://dpaste.de/5khq

а у меня такой вопрос - a == 0.0 - это нормально?

Ну так это ж когда нет первого коэффициента.

Тогда корень априори один.

x^2 = 0 получается

я почему спрашиваю

Остаётся bx+c=0

> 0.0 == 0.3 - 0.2 - 0.1 False

ну /(2a)

чего ещё ожидать

Оооо

на 0 делить непринято

Блин

f operator = -b `operator sqrt d / (2*a)`

Это форматирование сломалось или предлагаете так сделать?

Если что, тройное ` - цитирование.

import System.IO import Text.Read import Data.Complex data Solution a = OneSolution a | TwoRealSolutions a a | TwoComplexSolutions a a deriving (Show) prompt :: (Read a) => String -> IO a prompt text = do putStr text hFlush stdout line <- getLine case readMaybe line of Just x -> return x Nothing -> putStrLn "Invalid number entered" >> prompt text solveEquation :: (RealFloat a, Floating a, Ord a) => a -> a -> a -> Solution (Complex a) solveEquation a b c | a == 0.0 = OneSolution alone | d < 0.0 = TwoComplexSolutions x1 x2 | d == 0.0 = OneSolution x1 | d > 0.0 = TwoRealSolutions x1 x2 where d = b*b - 4*a*c x1 = f (+) :+ 0 x2 = f (-) :+ 0 f operator = -b `operator` sqrt d / (2*a) alone = ((-c) :+ 0) / realToFrac b main :: IO () main = do a <- prompt "Input a: " b <- prompt "Input b: " c <- prompt "Input c: " print $ solveEquation a b c

я к тому, что сравнивать флоаты так нельзя

Оу, сорян, хз, зачем сюда спастил.

Ну я хз, как сделать.

Там сначала 0 был

@hotkosc это цитата из кода

Но потом мне кто-то сказал, что с 0.0 более правильно, так как там Floating.

флоаты конечно нельзя сравнивать так

в числах с плавающей точкой есть погрешность

впрочем там при b == 0 все равно проблема

Так

http://hackage.haskell.org/package/ieee754-0.8.0/docs/Data-AEq.html

~== то, что интересует

@hotkosc кстати поменяй Solution тип

data Solution a = One a | TwoReal a a | TwoComplex (Complex a) (Complex a)

с другой стороны это не достаточно обще 😏

т.к. почему запрещено агрументы комлексные иметь

но пофиг

ещё можно добавить NoSolution для случай solve 0 0 1

ну или какое исключение

Это да

Ладно, я на сегодня наверное свернусь, всем большое спасибо.

Завтра попробую допилить.

Блин, насколько это проще всё может быть: https://rosettacode.org/wiki/Roots_of_a_quadratic_function#Haskell

Вообще дичь

Блин, насколько это проще всё может быть: https://rosettacode.org/wiki/Roots_of_a_quadratic_function#Haskell

а потом пытаешься решить общее полиномиальное уравнение и становится грустно :с

Всмысле, оно ещё проще?

Всмысле, оно ещё проще?

не совсем точнее совсем нет не существует общего аналитического способа решить уравнение P(x) = 0, где P(x) некий полином от x

А, всё, понял.

ну тот вариант падает при a == 0

ну тот вариант падает при a == 0

делением на 0?

b=+-d (это возможно?)