[haskell] пара вопросов

так, меня осенило и первый вопрос частично разрешился: тип properFraction :: a -> (b, a), а стало быть при a = IO a: IO a -> (b, IO a). остался вопрос - как засунуть в IO b (и нужно ли это делать)?

> как засунуть в IO b (и нужно ли это делать)?

Нужно ли - вопрос конкретной задачи, а ты её не сформулировал.

Написать функцию типа (b, IO a) -> IO (b, a) - как два байта переслать:

f (y, iox) =
    do x <- iox
       return (y, x)

Или проще: f (y, iox) = liftM ((,) y) iox

> ну и второй вопрос - как средствами библиотеки стандартной поставки ghc произвести сравнение двух чисел с плавающей запятой с заданной точностью (например, до пятого знака после запятой)?

Ну, есть подозрение, что как обычно. Типа abs (x - y) < 0.00001 или что-то в этом роде...

Да, и ещё: ты идиот. Тип properFraction будет

properFraction :: (Integral b, RealFrac a) => a -> (b, a)

Поэтому твоё properFraction (liftM read $ getLine) просто нихрена не заработает. Потому как нет такой вещи, которая была бы IO что-то там и одновременно класса RealFrac.

>Да, и ещё: ты идиот

это я давно уже понял :)

>Поэтому твоё properFraction (liftM read $ getLine) просто нихрена не заработает. Потому как нет такой вещи, которая была бы IO что-то там и одновременно класса RealFrac

это до меня в принципе тоже дошло, однако с ясностью всё равно проблемы. то есть - что сделать-то чтобы оно заработало?

P.S. за ответы вообще спасибо большое. туплю, со мной бывает :(

> это до меня в принципе тоже дошло, однако с ясностью всё равно 
проблемы. то есть - что сделать-то чтобы оно заработало?

А чего ты собственно хочешь? Уж не такого ли:

foo = do (x :: Double) <- getLine >>= return . read
         print $ properFraction x

?

Или такого:

foo = do str <- getLine
         let x :: Double
             x = read str
         return $ properFraction x

прошу прощения, я действительно адски протупил. спасибо за адекватную реакцию

такого, да; delirium случился, не иначе. спасибо за ответы :)