这是在编写函数描述的上下文中。 假设我具有以下功能:
fromMaybe :: a -> Maybe a -> a
fromMaybe _ (Just x) = x
fromMaybe d Nothing = d
该函数“通过使用后备参数将'Maybe a'类型的对象转换为'a'类型”是否正确?
当然,在Haskell中,实际上并没有真正转换的东西,还有其他东西完全返回了。这就是这个问题的背景。术语“转换”的用法可以使用吗?如果是这样,什么时候不?
如果我有一个接受一个整数列表并返回一个完全相同但带有Floats的列表的函数,该怎么办?正确地说:“此函数将整数列表转换为浮点列表”吗?