tredontho
2011-04-20 16:24
我希望我可以发表评论，但是，我没有足够的业力。
其他答案都是好的答案，但我认为最大的困惑似乎是您使用x和xs造成的。
如果您改写为
map' :: (a -> b) -> [a] -> [b]
map' f [] = []
map' f (x:xs) = foldr (\y ys -> (f y):ys) [] xs
您会清楚地看到，x甚至在右侧都没有提及，因此解决方案中不可能存在。
干杯
热门帖子
相关问题
热门github
1
2
4
The Python Risk Identification Tool for generative AI (PyRIT) is an open access automation framework to empower security professionals and machine learning engineers to proactively find risks in their generative AI systems.
(翻译：用于生成式 AI 的 Python 风险识别工具 (PyRIT) 是一个开放式访问自动化框架，使安全专业人员和机器学习工程师能够主动发现其生成式 AI 系统中的风险。)
5
7
8
9
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention.
(翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)
10
11
13
恰好。因此，应该明确指出，
map' f xs而不是map' f (x:xs)应该解决问题。顺便说一句GHC可以是有助于看到它时选择
-Wall使用：Warning: Defined but not used: 'x'（或者，对于原来的代码：This binding for 'x' shadows the existing binding）现在，您应该在顶部有足够的业力和漂亮的徽章;）
谢谢，您是对的...我对x＆xs的用法使我感到困惑！这确实使其更加清晰。
请更换
map' f (x:xs)由map' f xs丹·伯顿的建议