我正在尝试使用List.filter删除类型（int * int）的列表的标题，但出现错误。 这就是我想要做的：
List.filter (fun (i,j) -> List.tl <> List.hd) lst
答案 0 :(得分：1)
您真的想用import java.util.Scanner;
public class Question_9 {
public static void main(String[] args) {
Scanner input = new Scanner(System.in);
int HIGH = 0;
int LOW = 0;
for (int i = 1; i <= 10; i++) {
System.out.print("Enter a value: ");
int value = input.nextInt();
if (value > HIGH) {
HIGH = value;
} else if (value < LOW) {
LOW = value;
}
}
System.out.println("The highest value you entered is " + HIGH);
System.out.println(LOW);
}
}
来做吗？这不是它的目的。如果您完全确定列表中没有重复的头，则可以这样做
List.filter但是请注意List.filter (fun u -> u <> List.hd lst) lst
会做得更好。