小技集

Objective Caml ライブラリ関数を使う

テキストで説明していない関数もライブラリ関数などとして用意されているので，その使い方を紹介するので，こんな関数ないかな，と思ったときは，調べてみよう． Objective Caml マニュアル Part IV にはライブラリ関数の説明がのっているが，このうち，よく使用するのは The standard library のものである．ライブラリはその機能ごとにまとめて，モジュールという形(そのうち説明します)で提供されている．ライブラリモジュールの使用例を以下に示す。モジュール内の関数は

     <モジュール名>.<関数名>

で呼び出すことができる。例えば， Char モジュールは char 型に関する関数が集まっている．この中の，ASCII コードを返す関数 code (int_of_char と同じ働き) は

Char.code 'Z';;

として呼ぶことができる． int_of_string などの既に紹介した関数は，Pervasiveモジュールにまとめられている．(Pervasive モジュール内の関数は Pervasive. をつけずに利用することができる．)

Emacs (tuareg-mode) での便利な小技

ファイルを EUC で保存するには C-x RET f とし，コーディングを聞かれるので，euc-jp-unix と打つ．モードライン(バッファ名などが表示されている反転表示の行)の左側に E がでてくればOK．

xxx.ml を編集しているバッファで，C-x C-e をタイプすると，カーソル位置のまわりの適当な部分がコンパイラに送られて，結果がコンパイラの立ち上がっているバッファに現れる．(事前にコンパイラを立ち上げることが必要)

let double x = 2 * x
この定義のあたりで C-x C-e すると，コンパイラの
立ち上がっているバッファに
val double : int -> int = <fun>

と現れる．

 コンパイラの立ち上がっているバッファで M-p, M-n で
過去に入力した内容を遡れる．

last update of $Revision: 1.11 $ on $Date: 2004/10/28 01:58:51 $.