プログラミングの基礎

少しサボったので11章まで。

List.lengthを使わない2つのリストの長さが等しいかのチェックはなるほどと思いました。

let rec equal_length l1 l2 =
        match (l1, l2) with
        | ([], []) -> true
        | ([], _) -> false
        | (_, []) -> false
        | (f1::r1, f2::r2) ->
                equal_length r1 r2

読み物系はちょっと予定変更で別のを先に読む。