Vượt qua các loại làm đối số cho một hàm trong Haskell?

Question

Hai chức năng sau đây rất giống nhau. Họ đọc từ một phần tử [String] n, hoặc [Int] hoặc [Float]. Làm thế nào tôi có thể yếu tố mã phổ biến ra? Tôi không biết bất kỳ cơ chế nào trong Haskell hỗ trợ các kiểu truyền đi như là các đối số.

readInts n stream = foldl next ([], stream) [1..n] 
    where 
    next (lst, x:xs) _ = (lst ++ [v], xs) 
     where 
     v = read x :: Int 

readFloats n stream = foldl next ([], stream) [1..n] 
    where 
    next (lst, x:xs) _ = (lst ++ [v], xs) 
     where 
     v = read x :: Float 

Tôi ở cấp độ mới bắt đầu của Haskell, vì vậy mọi nhận xét trên mã của tôi đều được chào đón.

Answer 1

Haskell hỗ trợ mức độ đa hình cao. Đặc biệt

readAny n stream = foldl next ([], stream) [1..n] 
    where 
    next (lst, x:xs) _ = (lst ++ [v], xs) 
     where 
     v = read x 

có kiểu

readAny :: (Enum b, Num b, Read a) => b -> [String] -> ([a], [String]) 

do đó

readInts :: (Enum b, Num b, Read a) => [String] -> ([Int], [String]) 
readInts = readAny 

readFloats :: (Enum b, Num b, Read a) => [String] -> ([Float], [String]) 
readFloats = readAny 

bạn không cần phải chuyên các loại. Haskell sẽ tự động suy ra loại chung nhất có thể, và readAny ở đây sẽ làm những gì bạn muốn.

Không thể chuyển loại làm đối số trong Haskell. Hiếm khi bạn cần. Đối với những trường hợp đó, bạn cần mô phỏng hành vi bằng cách chuyển một giá trị với kiểu mong muốn.

Haskell có "đa hình kiểu trả về" vì vậy bạn thực sự không nên lo lắng về việc "chuyển loại" - tỷ lệ cược là các chức năng sẽ làm những gì bạn muốn mà không cần bạn nói.

Answer 2

Về cơ bản những gì bạn muốn là không khai báo rõ ràng loại. Thay vào đó, trì hoãn việc khai báo loại và để cho công cụ suy luận tiếp quản cho bạn. Ngoài ra, tôi nghĩ bạn đang gấp nếp với bản đồ. Đây là cách tôi sẽ tiếp cận nó.

readList' :: Read a => [String] -> [a] 
readList' = map read 


ints = readList' ["1", "2"] :: [Int] -- [1, 2] 

floats = readList' ["1.0", "2.0"] :: [Float] -- [1.0, 2.0] 

Để đọc chỉ n thứ từ con suối, sử dụng take