2. OCaml

著者:梅谷武

演習用マシンにOCamlを導入する方法について記す。

作成:2024-05-07
更新:2024-10-24

2.1 OCaml

OCamlのインストール方法については

Installing OCaml

を参照のこと。

opam 導入

最初にUbuntuをアップグレードし、OCamlのパッケージマネージャーopamを導入する。

$ sudo apt update
$ sudo apt upgrade
$ sudo apt install opam

opam 初期化

$ opam init -y

初期化を完了するには最終出力行の指示に従う。

$ eval $(opam env --switch=default)

OCaml 導入

$ opam clean
$ opam update
$ opam upgrade
$ opam switch
#  switch   compiler      description
→  default  ocaml.4.14.1  default
$ opam upgrade ocaml
$ opam switch
#  switch   compiler     description
→  default  ocaml.5.2.0  default
$ eval $(opam env)

.bashrcの最後に eval $(opam env) 追加する。

$ opam install ocaml-lsp-server odoc ocamlformat utop
$ utop -version
The universal toplevel for OCaml, version 2.14.0, compiled for OCaml version 5.2.0$ ocaml -version
The OCaml toplevel, version 5.2.0

utop 動作確認

utopを起動し、A Tour of OCamlを参考にして動作を確認する。

$ utop
────────┬──────────────────────────────────────────────────────────────┬────────
        │ Welcome to utop version 2.14.0 (using OCaml version 4.14.1)! │
        └──────────────────────────────────────────────────────────────┘
 
Type #utop_help for help about using utop.
 
─( 15:02:23 )─< command 0 >──────────────────────────────────────{ counter: 0 }─
utop # let str_length = String.length "Hello, world!";;
val str_length : int = 13
─( 15:02:23 )─< command 1 >──────────────────────────────────────{ counter: 0 }─
utop #

Zarith 導入

多倍長整数計算のためにZarithライブラリを導入する。

$ opam install zarith

This document is licensed under the MIT License.
Copyright (C) 2024 Takeshi Umetani