我最近在sml中做了很多练习，而我在教科书中发现的一个问题是要求创建一个函数，该函数将函数应用于列表中的奇数索引值。当试图解决这个问题时，我不太了解如何获得其他所有价值。例如
fun something f [] = 0
| something f (x:xs) =
在上面，我知道我们可以通过x值按顺序获取值，但是现在有没有办法将其应用于仅获取奇数索引值？抱歉，这是一个简单的问题sml是一种有趣但令人困惑的语言。
最佳答案
在这种情况下，您也可以使用模式匹配来“分解”列表-模式可以任意复杂。
例如，a::b::bs匹配具有至少两个元素的列表，a::b::c::bs至少包含三个元素，依此类推。
如果我们索引第一个元素:
fun everyOther _ [] = []
| everyOther f [x] = [f x]
| everyOther f (x::y::xs) = (f x)::y::(everyOther f xs)
测试:
val everyOther = fn : ('a -> 'a) -> 'a list -> 'a list
val it = () : unit
- fun square x = x * x;
val square = fn : int -> int
- everyOther square [1,2,3,4];
val it = [1,2,9,4] : int list
- everyOther square [1,2,3,4,5];
val it = [1,2,9,4,25] : int list
作为练习，第一个元素被索引为0而不是1的情况。