練習問題 6.1

関数 similar を、2つの辺の長さが等しい長方形は正方形と相似だと判定するように改造しなさい。

これでいいんじゃないかな。

(* 図形を表すヴァリアント *)
type figure =
    Point
    | Circle of int
    | Rectangle of int * int
    | Square of int;;

let similar x y =
    match (x, y) with
    (Point, Point)
    | (Circle _, Circle _)
    | (Square _, Square _) -> true
    | (Rectangle (l1, l2), Rectangle (l3, l4)) ->
            (l3 * l2 - l4 * l1) = 0
    | (Rectangle (l1, l2), Square _) ->
            (l1 - l2) = 0
    | _ -> false;;

let test1 = similar (Rectangle (3, 3)) (Square 6) = true;;
let test2 = similar (Rectangle (3, 4)) (Square 6) = false;; 

Tweet