ML 语言中的 cdr 字符串

Question

我尝试在 ML 中找到一个等于 Scheme 中的 (cdr string) 的库函数（意思是 (cdr abcd) = bcd）。

Answer 1

（假设 SML）

另一种方法是将字符串转换为字符列表（爆炸），然后你可以选择拿走头部（hd) 或 tail (tl），然后最后将其转换回字符串（implode)：

- (implode o tl o explode) "this is a string";
val it = "his is a string" : string

字符串转换函数可以在 < a href="http://www.standardml.org/Basis/string.html" rel="nofollow">String 模块，head 和 tail 函数可以在 List 模块

显然你也可以在这里使用 substring 方法，但是在 SML 中你有 extract 函数在这种情况下非常方便：

- String.extract("This is a string", 1, NONE);
val it = "his is a string" : string

给它 <代码>无参数使其提取直到字符串末尾。

Answer 2

假设使用 Ocaml 方言，您可以使用标准 String模块例如

let rest_str str = 
  let slen = String.length str in
  String.sub str 1 (slen-1)
;;