Does it hold for lists? :Write a function holds_for_lists : ’a list -> ’b list -> (’a -> ’b -> bool) -> bool = that takes an ’a list, an ’b list, a function f: ’ a -> ’b ->bool and returns true if and only if • The two list are of the same length, and • (f a b) is true for all pairs a, b such that a is from the first list, b is from the second list, and a and b appear in the same position in their lists. (oCaml) 1 # holds_for_lists [1;2] [2;3] (<) ;;: bool = true3 #holds_for_lists: bool = false5 # holds_for_lists: bool = false46-7 #holds_for_lists[1;2] [-1;3] (<) ;;[1;2] [2; 2] (<) ;;[] [2] (<) ;;8-: bool = false9 # holds_for_lists [true; false]10=: bool11 # holds_for_lists[true; false]12: bool = false13 # holds_for_lists[true; false] [false] () ;;14: bool = false15 # holds_for_lists [2;4] [1.; -3.4] (fun x y-> (float_of_int_x)>=y) ;;-20: bool=true1617 # holds_for_listsfloat_of_int_x)18.: bool = false19 # holds_for_listsfloat_of_int: bool = falsetrue[false; true] (IT) ; ;[false; false] (|| ; ;[2; 4; 6] [2.1; -3.4;1.] (fun x y-> (>=y) ;;[2;4] [2.1; -3.4;4.] (fun x y-> (x) >=y) ;;

In this question we have to write a code in oCaml for the given problem statement Let's understand,…

Answered: Does it hold for lists? :Write a…

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

See similar textbooks

Related questions

Question

Does it hold for lists? :Write a function holds_for_lists : ’a list -> ’b list -> (’a -> ’b -> bool) -> bool = that takes an ’a list, an ’b list, a function f: ’ a -> ’b ->bool and returns true if and only if • The two list are of the same length, and • (f a b) is true for all pairs a, b such that a is from the first list, b is from the second list, and a and b appear in the same position in their lists. (oCaml)

1 # holds_for_lists [1;2] [2;3] (<) ;;
: bool = true
3 #holds_for_lists
: bool = false
5 # holds_for_lists
: bool = false
4
6-
7 #holds_for_lists
[1;2] [-1;3] (<) ;;
[1;2] [2; 2] (<) ;;
[] [2] (<) ;;
8-
: bool = false
9 # holds_for_lists [true; false]
10
=
: bool
11 # holds_for_lists
[true; false]
12
: bool = false
13 # holds_for_lists
[true; false] [false] () ;;
14
: bool = false
15 # holds_for_lists [2;4] [1.; -3.4] (fun x y-> (
float_of_int_x)
>=y) ;;
-
20
: bool
=
true
16
17 # holds_for_lists
float_of_int_x)
18.
: bool = false
19 # holds_for_lists
float_of_int
: bool = false
true
[false; true] (IT) ; ;
[false; false] (|| ; ;
[2; 4; 6] [2.1; -3.4;1.] (fun x y-> (
>=y) ;;
[2;4] [2.1; -3.4;4.] (fun x y-> (
x) >=y) ;;

Expert Solution

Step by step

Solved in 3 steps with 1 images

SEE SOLUTION Check out a sample Q&A here

Knowledge Booster

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