ex1 02

← Back

Basic Info

• Type: sml
• Size: 333 B

• Origin

• Download

Functional Programming
└── Lab ML
    └── 0​314
        └── ex1 02.sml

---

Preview

(*
Consider the pattern

(x::y::xs,w)

Does it match the following expressions? If so, give the variable bindings
• (["a","b","c"],["d","e"])
• (["a","b"],4.5)
• ([5],[6,7])
*)

(*
• Yes; x="a", y="b", zs=["c"], and w=["d","e"]
• Yes; x="a", y="b", zs=[], and w=4.5
• No; the expression y::zs must match the empty list
*)