青木日記

■ メーリスじゃないほうの ML

そういえばメインマシンには OCaml が入ってたような気がする。

~ % ocaml                                                        aamine@harmony
        Objective Caml version 3.06
　
#

いた。

そうだ、聞きそびれたやつを試そう。 同じコンストラクタを複数のバリアント型に使ったらどっちに型推論されるのか。

# type fruit = Apple | Banana | Orange;;
type fruit = Apple | Banana | Orange
# type corp = Apple | DEC | Intel | Sun;;
type corp = Apple | DEC | Intel | Sun
# Apple;;
- : corp = Apple

後のやつか。でもこれは対話型だからのような気もするなあ。 ファイルに書いて別々の型に推論できるようにしたらどうなるんだ。

~/c/test/ocaml % cat variant.ml                            aamine@harmony
type fruit = Apple | Banana | Orange
type corp = Apple | DEC | Intel | Sun
　
let f t = function
    | Apple -> 1
    | Banana -> 2
    | Orange -> 3
　
let g t = function
    | Apple -> 4
    | DEC -> 5
    | Intel -> 6
    | Sun -> 7
　
let () = Printf.printf "%d - %d\n" (f Apple) (g Apple)
　
~/c/test/ocaml % ocaml variant.ml                          aamine@harmony
File "variant.ml", line 6, characters 6-12:
This pattern matches values of type fruit
but is here used to match values of type corp

エラーですかそうですか。 明示的に型を書けば通りそうな気もするが文法がわかんね。

(06:02)

■ RHG

http://www.amazon.co.jp/exec/obidos/ASIN/4844317210

品切れが解消されたみたい？

(04:26)

■ ふつうのLinuxプログラミング・表紙

たしかにペンギンがゴミ箱に向かって歩いてるように見える。 よくよく見たら魚の入ったバケツであった。

あれ？ SBP のロゴ変わった？

(04:38)