我创建了一个函数fun charListToInt (y) = map (fn x => Char.ord (x) - 64) y::[]
,它接受一个char列表并返回一个带有字符整数代码的int列表列表(A = 1,B = 2,C = 3 ......)。
例如:charListToInt [#"A", #"B", #"C", #"D", #"E"] = [[1, 2, 3, 4, 5]]
。
我真正想做的是为函数提供val charListToInt = fn : char list list -> int list list
类型,而不仅仅是char list
作为输入,如下所示:
[[#"A", #"B"], [#"C", #"D"]] = [[1, 2], [3, 4]]
这可以通过使用map-function来实现吗?
答案 0 :(得分:1)
val charListListToIntListList = map (map (fn c => ord c - ord #"A" + 1))