「標準ライブラリ」しか使えないという場合は、たとえば、自分で
val split : string -> char -> string list
という分割関数を書いた後、
List.map int_of_string @@ split s ' '
のが普通です。このような関数が「標準ライブラリ」に存在しないので仕方ありません。
OCaml コンパイラ自身のソースコードでもこういった分割関数が定義されています。こんなコードです:
(* split a string [s] at every char [c], and return the list of sub-strings *)
let split s c =
let len = String.length s in
let rec iter pos to_rev =
if pos = len then List.rev ("" :: to_rev) else
match try
Some ( String.index_from s pos c )
with Not_found -> None
with
Some pos2 ->
if pos2 = pos then iter (pos+1) ("" :: to_rev) else
iter (pos2+1) ((String.sub s pos (pos2-pos)) :: to_rev)
| None -> List.rev ( String.sub s pos (len-pos) :: to_rev )
in
iter 0 []
これが「標準ライブラリ」に移ってくれると助かるのですが、されません。文字列の分割というと単に一つの文字で区切るだけでなく、複数の文字をデリミタにしたい、エスケープされているデリミタでは分割したくない、など、いろんな仕様が考えられ、それぞれに最適な実装も異なります。こういう場合、 OCaml では「標準ライブラリ」では提供しない、自分でライブラリモジュールを書いてくれ、ということが多いみたいです。
外部ライブラリを使える場合は
- Str の
Str.split
(正規表現を使うので空白分割ごときに使うのはあまりよくないと思います
- Core の
Core.Std.String.split_on_chars : string -> on:char list -> string list
- Batteries の
BatString.nsplit : string -> by:string -> string list
- Extlib の
ExtLib.String.nsplit : string -> string -> string list
などがあるので、これらを使うのが良いです。