37 lines
694 B
Plaintext
37 lines
694 B
Plaintext
:- module partial_function_application.
|
|
:- interface.
|
|
|
|
:- import_module io.
|
|
|
|
:- pred main(io::di, io::uo) is det.
|
|
|
|
:- implementation.
|
|
:- import_module int, list.
|
|
|
|
main(!IO) :-
|
|
io.write((fsf1)([0, 1, 2, 3]), !IO), io.nl(!IO),
|
|
io.write((fsf2)([0, 1, 2, 3]), !IO), io.nl(!IO),
|
|
io.write((fsf1)([2, 4, 6, 8]), !IO), io.nl(!IO),
|
|
io.write((fsf2)([2, 4, 6, 8]), !IO), io.nl(!IO).
|
|
|
|
:- func fs(func(V) = V, list(V)) = list(V).
|
|
|
|
fs(_, []) = [].
|
|
fs(F, [V | Vs]) = [F(V) | fs(F, Vs)].
|
|
|
|
:- func f1(int) = int.
|
|
|
|
f1(V) = V * 2.
|
|
|
|
:- func f2(int) = int.
|
|
|
|
f2(V) = V * V.
|
|
|
|
:- func fsf1 = (func(list(int)) = list(int)).
|
|
|
|
fsf1 = fs(f1).
|
|
|
|
:- func fsf2 = (func(list(int)) = list(int)).
|
|
|
|
fsf2 = fs(f2).
|