Jak przeanalizować ułamek dziesiętny w produkcie Rational w języku Haskell?

Question

Uczestniczyłem w a programming contest i one of the problems "danych wejściowych zawartych w liczbie ułamkowej w formacie dziesiętnym: 0.75 jest jednym z przykładów.

Parsowanie tego w Double jest trywialne (mogę użyć do tego celu read), ale utrata precyzji jest bolesna. Trzeba być bardzo ostrożnym przy porównywaniu (nie byłem), co wydaje się zbędne, ponieważ ma się typ danych Rational w Haskell.

Podczas próby użycia tego odkryłem, że do read należy podać Rational w następującym formacie: numerator % denominator, którego oczywiście nie mam.

Więc pytanie brzmi:

Jaki jest najprostszy sposób analizowania reprezentację dziesiętną ułamka do Rational?

Liczba zewnętrznych zależności również powinna być wzięta pod uwagę, ponieważ nie mogę zainstalować dodatkowych bibliotek w internetowym sądzie.

Answer 1

Funkcja chcesz to Numeric.readFloat:

Numeric Data.Ratio> fst . head $ readFloat "0.75" :: Rational 
3 % 4 

Answer 2

Jak o następującym (sesja GHCi):

> :m + Data.Ratio 
> approxRational (read "0.1" :: Double) 0.01 
1 % 10 

Oczywiście trzeba wybrać swój epsilon odpowiednio.

Answer 3

Może chcesz uzyskać dodatkowe punkty w konkursie na realizację to sam:

import Data.Ratio ((%)) 

readRational :: String -> Rational 
readRational input = read intPart % 1 + read fracPart % (10^length fracPart) 
    where (intPart, fromDot) = span (/='.') input 
     fracPart   = if null fromDot then "0" else tail fromDot