Làm cách nào để phân tích một phần thập phân thành Rational trong Haskell?

Question

Tôi đã tham gia vào dữ liệu đầu vào a programming contest và one of the problems 'bao gồm một số thập phân theo định dạng thập phân: 0.75 là một ví dụ.

Phân tích cú pháp thành Double là không đáng kể (Tôi có thể sử dụng read cho điều đó), nhưng mất chính xác là đau đớn. Một trong những cần phải rất cẩn thận với Double so sánh (tôi đã không), mà dường như dư thừa kể từ khi một có Rational kiểu dữ liệu trong Haskell.

Khi cố gắng sử dụng điều đó, tôi đã phát hiện ra rằng để read một Rational người ta phải cung cấp một chuỗi theo định dạng sau: numerator % denominator, mà tôi, rõ ràng là không có.

Vì vậy, câu hỏi là:

cách dễ nhất để phân tích một biểu diễn thập phân của một phần nhỏ vào Rational là gì?

Số lượng phụ thuộc bên ngoài cũng cần được xem xét, vì tôi không thể cài đặt thêm thư viện vào thẩm phán trực tuyến.

Answer 1

Chức năng bạn muốn là Numeric.readFloat:

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

Answer 2

Làm thế nào về sau (GHCi phiên):

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

Tất nhiên bạn phải chọn epsilon của bạn một cách thích hợp.

Answer 3

Có lẽ bạn muốn nhận được thêm điểm trong cuộc thi để thực hiện điều đó cho mình:

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