将类型作为参数传递给Haskell中的函数？
将类型作为参数传递给Haskell中的函数？
提问于 2012-04-06 12:52:39
下面两个函数非常相似。它们从字符串中读取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的初学者，所以欢迎对我的代码的任何评论。
回答 2
Stack Overflow用户
回答已采纳
发布于 2012-04-06 13:01:17
Haskell支持高度的多态性。特别是
readAny n stream = foldl next ([], stream) [1..n]
where
next (lst, x:xs) _ = (lst ++ [v], xs)
where
v = read x has类型
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有“返回类型多态性”，所以你真的不应该担心“传递类型”--很可能函数会做你想做的事情，而不需要你告诉它们。
Stack Overflow用户
发布于 2012-04-06 13:11:42
基本上，您想要的是不显式地声明类型。相反，推迟声明类型，让推理引擎接管你的工作。另外，我认为你把折叠图和地图合并在一起了。这就是我处理它的方式。
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
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/10039274
复制相关文章
相似问题
腾讯云开发者
