Haskell: đọc một số (Integer hoặc Floating point)

Question

Tôi đang sử dụng thực hiện này của maybeRead:

maybeRead :: (Read a) => String -> Maybe a 
maybeRead = fmap fst . listToMaybe . filter (null . dropWhile isSpace . snd) . reads 

và riêng getNum chức năng của tôi mà nhắc đến khi nó được đầu vào hợp lệ:

getNum :: (Num a, Read a) => String -> IO a 
getNum s = do 
    putStr s 
    input <- fmap maybeRead getLine 
    if isNothing input 
     then getNum s 
     else return $ fromJust input 

Tuy nhiên nếu tôi nhập 5.2 thì nó coi đó là đầu vào kém — Tại sao? Có số lần xuất hiện là Int và Integer trong mã của tôi. Tôi chỉ đang sử dụng Num, vì tôi muốn chấp nhận bất kỳ loại số nào.

Nếu tôi gọi nó rõ ràng là getNum "Enter a number: " :: IO Double thì nó hoạt động. Tôi có phải làm việc này không? Là hệ thống kiểu Haskell chỉ lừa tôi nghĩ tôi có thể làm điều này khi thực sự nó là không thể mà không gõ đầy đủ năng động? Nếu vậy thì tại sao mã của tôi thậm chí biên dịch; tại sao nó giả định số nguyên?

Answer 1

Chức năng của bạn thực sự sẽ chấp nhận Integer, Float hoặc bất kỳ trường hợp nào khác Num. Tuy nhiên, loại nào nó chấp nhận và mở rộng cách phân tích cú pháp số String, không được xác định bởi đầu vào nó nhận được, được xác định bởi loại kết quả là dựa trên những gì bạn làm với nó.

Giả sử bạn sử dụng getNum và chuyển giá trị kết quả cho một thứ cần số Float; trong trường hợp đó, nó sẽ phân tích giá trị Float. Nếu bạn chuyển nó cho một cái gì đó cần một Integer thay vào đó, nó sẽ phân tích cú pháp đó.

Đối với lý do tại sao nó giả Integer, có một hệ thống "mặc định" với nhiều loại mơ hồ specified in the Haskell Report, và các quy tắc nói rằng một loại mơ hồ với một hạn chế Num nên mặc định Integer.