ex1 4

← Back

Basic Info

• Type: sml
• Size: 382 B

• Origin

• Download

Functional Programming
└── Lab ML
    └── 0​404
        └── ex1 4.sml

---

Preview

(*
Consider the following

val L = [(1,2),(3,4)];
val M = (1,2);
val N = (3,4);

Which of the following are true?

• L = M::[N]
• M::L = L@[N]
• [(1,2)]@[N] = L@nil
• N::L = (3,4)::M::N::nil
*)

L = M::[N];
(* val it = true: bool *)

M::L = L@[N];
(* val it = false: bool *)

[(1,2)]@[N] = L@nil;
(* val it = true: bool *)

N::L = (3,4)::M::N::nil;
(* val it = true: bool *)