8

以下两个功能极其相似。它们从 [String] n 元素中读取，[Int] 或 [Float]。我怎样才能把通用代码分解出来？我不知道 Haskell 中支持将类型作为参数传递的任何机制。

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

我是 Haskell 的初学者，所以欢迎对我的代码发表任何评论。

4

2 回答 2

16

Haskell 支持高度的多态性。尤其

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

有类型

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

因此

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

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

你不需要专门化类型。Haskell 会自动推断出最通用的类​​型，readAny这里会做你想做的事。

在 Haskell 中不能将类型作为参数传递。你很少需要。对于少数需要的情况，您可以通过传递具有所需类型的值来模拟行为。

Haskell 有“返回类型多态性”，所以你真的不应该担心“传递类型”——很可能函数会做你想做的事，而无需你告诉它们。

于 2012-04-06T05:01:16.900 回答
9

基本上你想要的是不明确声明类型。相反，推迟声明类型并让推理引擎为您接管。另外，我认为您将折叠与地图混为一谈。这就是我将如何处理它。

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]

要从流中仅读取 n 个内容，请使用take

于 2012-04-06T05:11:41.650 回答