Write a function foldl (also called reduce) with type: foldl: ('a * 'b -> 'b) -> 'b -> 'a list -> 'b The type (’a * 'b -> 'a) is the type of the input function (say f), ’b is the type of an initial nd 'a list is the type of the input list. foldl(f,init, [x1,...xn]) eturns f (xn,...,f(x2, f(x1,init))...)

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
Write a function foldl (also called reduce) with type:
foldl: ('a * 'b -> 'b)
-> 'b ->
'a list -> 'b
The type ('a * 'b -> 'a) is the type of the input function (say f), 'b is the type of an initial value,
and 'a list is the type of the input list.
foldl(f,init, [x1,...xn])
returns
f (xn,...,f(x2, f(x1,init))...)
For example, we have:
- fun plus (x,y) = x + y + 0
foldl (plus, 0, [1,2,3,4]) ;
val it = 10 : int
fun foldl (f: 'a*'b->'b) (init: 'b) (1: 'a list): 'b =
case 1 of
Transcribed Image Text:Write a function foldl (also called reduce) with type: foldl: ('a * 'b -> 'b) -> 'b -> 'a list -> 'b The type ('a * 'b -> 'a) is the type of the input function (say f), 'b is the type of an initial value, and 'a list is the type of the input list. foldl(f,init, [x1,...xn]) returns f (xn,...,f(x2, f(x1,init))...) For example, we have: - fun plus (x,y) = x + y + 0 foldl (plus, 0, [1,2,3,4]) ; val it = 10 : int fun foldl (f: 'a*'b->'b) (init: 'b) (1: 'a list): 'b = case 1 of
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Knowledge Booster
Linked List Representation
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
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