let rec longer (xs, ys) match (xs, ys) with | (_, []) -> true (* line 1 *) | ([],_) -> false (* line 2 *) | (_::xs,_::ys) -> longer (xs, ys) (* line 3 *) (a) For each of the following alternate orders of the branches, indicate one of the following: (A) The function would still be correct. (B) The function would still type-check (no unreachable branch) but would no longer be correct. (C) The function would no longer type-check (due to an unreachable branch). i. line 2; then line 1; then line 3 ii. line 3; then line 1; then line 2 iii. line 3; then line 2; then line 1 iv. line 1; then line 3; then line 2

Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
icon
Related questions
Question
let rec longer (xs, ys)
match (xs, ys) with
| (_, []) -> true
(* line 1 *)
| ([],_) -> false
(* line 2 *)
| (_::xs,_::ys) -> longer (xs,ys) (* line 3 *)
=
(a) For each of the following alternate orders of the branches, indicate one of the following:
(A) The function would still be correct.
(B) The function would still type-check (no unreachable branch) but would no longer be correct.
(C) The function would no longer type-check (due to an unreachable branch).
i. line 2; then line 1; then line 3
ii. line 3; then line 1; then line 2
iii. line 3; then line 2; then line 1
iv. line 1; then line 3; then line 2
Transcribed Image Text:let rec longer (xs, ys) match (xs, ys) with | (_, []) -> true (* line 1 *) | ([],_) -> false (* line 2 *) | (_::xs,_::ys) -> longer (xs,ys) (* line 3 *) = (a) For each of the following alternate orders of the branches, indicate one of the following: (A) The function would still be correct. (B) The function would still type-check (no unreachable branch) but would no longer be correct. (C) The function would no longer type-check (due to an unreachable branch). i. line 2; then line 1; then line 3 ii. line 3; then line 1; then line 2 iii. line 3; then line 2; then line 1 iv. line 1; then line 3; then line 2
Expert Solution
steps

Step by step

Solved in 3 steps

Blurred answer
Knowledge Booster
Returning value from Function
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Database System Concepts
Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education
Starting Out with Python (4th Edition)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education