ml - ML言語のcdr文字列

Question

（（cdr abcd）= bcdを意味するML）の（cdr string）に等しいライブラリ関数を見つけようとします。Scheme

Answer 1

(SML を想定)

もう 1 つの方法は、文字列を文字のリストに変換することです (爆発)。次に、先頭 ( hd ) または末尾 ( tl ) を取得し、最後に文字列に戻すオプションがあります ( 内破):

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

文字列変換関数はStringモジュールにあり、head 関数と tail 関数はListモジュールにあります。

明らかに、ここで substring メソッドを使用することもできますが、SML には、この場合に非常に便利な抽出関数があります。

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

引数を与えるとNONE、文字列の最後まで抽出されます。

Answer 2

Ocamlの方言を想定すると、標準のStringモジュールを次のように使用できます

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