Partial function application: Difference between revisions
Added FreeBASIC
(Added FreeBASIC) |
|||
(19 intermediate revisions by 14 users not shown) | |||
Line 32:
* This task is more about ''how'' results are generated rather than just getting results.
<br><br>
=={{header|11l}}==
{{trans|Python}}
<syntaxhighlight lang="11l">F partial(f, g)
F fg(x)
R @f(@g, x)
R fg
F main()
F ffs(f, x)
R x.map(a -> @f(a))
F f1(a) {R a * 2}
F f2(a) {R a * a}
V fsf1 = partial(ffs, f1)
V fsf2 = partial(ffs, f2)
print(fsf1([1, 2, 3, 4]))
print(fsf2([1, 2, 3, 4]))
main()</syntaxhighlight>
{{out}}
<pre>
[2, 4, 6, 8]
[1, 4, 9, 16]
</pre>
=={{header|Ada}}==
Line 37 ⟶ 65:
Ada allows to define generic functions with generic parameters, which are partially applicable.
<
procedure Partial_Function_Application is
Line 86 ⟶ 114:
Print(FSF1((2,4,6,8)));
Print(FSF2((2,4,6,8)));
end Partial_Function_Application;</
Output:
Line 100 ⟶ 128:
{{works with|ALGOL 68G|Any - tested with release [http://sourceforge.net/projects/algol68/files/algol68g/algol68g-1.18.0/algol68g-1.18.0-9h.tiny.el5.centos.fc11.i386.rpm/download 1.18.0-9h.tiny].}}
{{wont work with|ELLA ALGOL 68|Any (with appropriate job cards) - tested with release [http://sourceforge.net/projects/algol68/files/algol68toc/algol68toc-1.8.8d/algol68toc-1.8-8d.fc9.i386.rpm/download 1.8-8d] - due to extensive use of '''format'''[ted] ''transput''.}}
<
MODE F = PROC(INT)INT,
Line 127 ⟶ 155:
printf((set fmt, fsf1((2, 4, 6, 8)))); # prints (4, 8, 12, 16) #
printf((set fmt, fsf2((2, 4, 6, 8)))) # prints (4, 16, 36, 64) #
</syntaxhighlight>
Output:
<pre>
Line 139 ⟶ 167:
To derive first class functions in AppleScript, we have to lift ordinary handlers into script objects with lambda handlers.
<
on f1(x)
Line 200 ⟶ 228:
end script
end if
end mReturn</
{{Out}}
<pre>{{0, 2, 4, 6}, {0, 1, 4, 9}, {4, 8, 12, 16}, {4, 16, 36, 64}}</pre>
=={{header|
==={{header|BBC BASIC}}===
{{works with|BBC BASIC for Windows}}
<
fsf2 = FNpartial(PROCfs(), FNf2())
Line 244 ⟶ 273:
DEF FNf1(n) = n * 2
DEF FNf2(n) = n ^ 2</
'''Output:'''
<pre>
Line 256 ⟶ 285:
4 16 36 64
</pre>
==={{header|FreeBASIC}}===
{{trans|Lua}}
<syntaxhighlight lang="vbnet">Sub map(f As Function(As Integer) As Integer, arr() As Integer, result() As Integer)
For i As Integer = Lbound(arr) To Ubound(arr)
result(i) = f(arr(i))
Next i
End Sub
Function timestwo(n As Integer) As Integer
Return n * 2
End Function
Function squared(n As Integer) As Integer
Return n ^ 2
End Function
Sub printArray(arr() As Integer)
For i As Integer = Lbound(arr) To Ubound(arr)
Print arr(i);
If i < Ubound(arr) Then Print ",";
Next i
Print
End Sub
Dim As Integer arr1(3) = {0, 1, 2, 3}
Dim As Integer arr2(3) = {2, 4, 6, 8}
Dim As Integer result(3)
map(@timestwo, arr1(), result())
printArray(result())
map(@squared, arr1(), result())
printArray(result())
map(@timestwo, arr2(), result())
printArray(result())
map(@squared, arr2(), result())
printArray(result())
Sleep</syntaxhighlight>
{{out}}
<pre>Same as Lua entry.</pre>
==={{header|Visual Basic .NET}}===
Functions are not curried in VB, and so this entry details the creation of functions that take a function and one or more arguments and returns a function that is the result of the partial application of the given function to those arguments.
This is done with two approaches: one that takes generic functions of fixed arity and returns a lambda that then calls the function, and a generalized one that allows arbitrary arity of function and arguments.
====First approach====
The "type-safe" approach, which has the disadvantage that a new overload of PartialApply must be created for every combination of function arity and applied argument arity.
<syntaxhighlight lang="vbnet">Module PartialApplication
Function fs(Of TSource, TResult)(f As Func(Of TSource, TResult), s As IEnumerable(Of TSource)) As IEnumerable(Of TResult)
' This is exactly what Enumerable.Select does.
Return s.Select(f)
End Function
Function f1(x As Integer) As Integer
Return x * 2
End Function
Function f2(x As Integer) As Integer
Return x * x
End Function
' The overload that takes a binary function and partially applies to its first parameter.
Function PartialApply(Of T1, T2, TResult)(f As Func(Of T1, T2, TResult), arg As T1) As Func(Of T2, TResult)
Return Function(arg2) f(arg, arg2)
End Function
Sub Main()
Dim args1 As Integer() = {0, 1, 2, 3}
Dim args2 As Integer() = {2, 4, 6, 8}
Dim fsf1 = PartialApply(Of Func(Of Integer, Integer), IEnumerable(Of Integer), IEnumerable(Of Integer))(AddressOf fs, AddressOf f1)
Dim fsf2 = PartialApply(Of Func(Of Integer, Integer), IEnumerable(Of Integer), IEnumerable(Of Integer))(AddressOf fs, AddressOf f2)
Console.WriteLine("fsf1, 0-3: " & String.Join(", ", fsf1(args1)))
Console.WriteLine("fsf1, evens: " & String.Join(", ", fsf1(args2)))
Console.WriteLine("fsf2, 0-3: " & String.Join(", ", fsf2(args1)))
Console.WriteLine("fsf2, evens: " & String.Join(", ", fsf2(args2)))
End Sub
End Module</syntaxhighlight>
====Second approach====
f1 and f2 in the second approach will also be defined to use late binding in order to work with any argument that can be multiplied. In the interest of idiomatic VB.NET, a minimal amount of code is to have Option Strict off:
<syntaxhighlight lang="vbnet">Option Strict Off
Partial Module PartialApplicationDynamic
Function f1(x As Object) As Object
Return x * 2
End Function
Function f2(x As Object) As Object
Return x * x
End Function
End Module</syntaxhighlight>
and in a separate file,
<syntaxhighlight lang="vbnet">Option Strict On
Partial Module PartialApplicationDynamic
' Create a matching delegate type to simplify delegate creation.
Delegate Function fsDelegate(Of TSource, TResult)(f As Func(Of TSource, TResult), s As IEnumerable(Of TSource)) As IEnumerable(Of TResult)
Function fs(Of TSource, TResult)(f As Func(Of TSource, TResult), s As IEnumerable(Of TSource)) As IEnumerable(Of TResult)
' This is exactly what Enumerable.Select does.
Return s.Select(f)
End Function
Function ArrayConcat(Of T)(arr1 As T(), arr2 As T()) As T()
Dim result(arr1.Length + arr2.Length - 1) As T
Array.Copy(arr1, result, arr1.Length)
Array.Copy(arr2, 0, result, 1, arr2.Length)
Return result
End Function
' C# can define ParamArray delegates and VB can consume them, but VB cannot define them on its own.
' The argument list of calls to the resulting function thus must be wrapped in a coerced array literal.
' VB also doesn't allow Delegate as a type constraint. :(
' The function is generic solely to ease use for callers. In this case generics aren't providing any type-safety.
Function PartialApplyDynamic(Of TDelegate, TResult)(f As TDelegate, ParamArray args As Object()) As Func(Of Object(), TResult)
Dim del = CType(CObj(f), [Delegate])
Return Function(rest) CType(del.DynamicInvoke(ArrayConcat(args, rest).Cast(Of Object).ToArray()), TResult)
End Function
Sub Main()
Dim args1 As Object = New Object() {0, 1, 2, 3}
Dim args2 As Object = New Object() {2, 4, 6, 8}
Dim fsf1 = PartialApplyDynamic(Of fsDelegate(Of Object, Object), IEnumerable(Of Object))(AddressOf fs, New Func(Of Object, Object)(AddressOf f1))
Dim fsf2 = PartialApplyDynamic(Of fsDelegate(Of Object, Object), IEnumerable(Of Object))(AddressOf fs, New Func(Of Object, Object)(AddressOf f2))
' The braces are array literals.
Console.WriteLine("fsf1, 0-3: " & String.Join(", ", fsf1({args1})))
Console.WriteLine("fsf1, evens: " & String.Join(", ", fsf1({args2})))
Console.WriteLine("fsf2, 0-3: " & String.Join(", ", fsf2({args1})))
Console.WriteLine("fsf2, evens: " & String.Join(", ", fsf2({args2})))
End Sub
End Module</syntaxhighlight>
{{out|note=for both versions}}
<pre>fsf1, 0-3: 0, 2, 4, 6
fsf1, evens: 4, 8, 12, 16
fsf2, 0-3: 0, 1, 4, 9
fsf2, evens: 4, 16, 36, 64</pre>
=={{header|Bracmat}}==
Line 261 ⟶ 439:
The the function <code>fs</code> consists of a lambda abstraction inside a lambda abstraction. In that way <code>fs</code> can take two arguments. Similarly, the function <code>partial</code>, which also needs to take two arguments, is defined using lambda abstractions.
Currying takes place by applying a two-argument function to its first argument. This happens in <code>($x)$($y)</code>.
<
& (f1=/('(x.$x*2)))
& (f2=/('(x.$x^2)))
Line 271 ⟶ 449:
& out$(!fsf1$(2 4 6 8))
& out$(!fsf2$(2 4 6 8))
);</
Output:
<pre>0 2 4 6
Line 277 ⟶ 455:
4 8 12 16
4 16 36 64</pre>
=={{header|C}}==
Nasty hack, but the partial does return a true C function pointer, which is otherwise hard to achieve. (In case you are wondering, no, this is not a good or serious solution.) Compiled with <code>gcc -Wall -ldl</code>.
<
#include <unistd.h>
#include <stdlib.h>
Line 386 ⟶ 515:
return 0;
}</
1
4
Line 395 ⟶ 524:
4
6
8</
=={{header|C sharp}}==
Line 476 ⟶ 532:
A partial application function for binary functions.
<
using System.Collections.Generic;
using System.Linq;
Line 503 ⟶ 559:
Console.WriteLine(string.Join(", ", fsf2(s)));
}
}</
{{out}}
Line 517 ⟶ 573:
A partial application function that accepts arbitrary function and applied function arity. f1 and f2 also use late binding in this example to work with any argument that can be multiplied.
<
using System.Collections.Generic;
using System.Linq;
Line 561 ⟶ 617:
Console.WriteLine("fsf2, evens: " + string.Join(", ", fsf2(args2)));
}
}</
{{out}}
Line 568 ⟶ 624:
fsf2, 0-3: 0, 1, 4, 9
fsf2, evens: 4, 16, 36, 64</pre>
=={{header|C++}}==
<syntaxhighlight lang="cpp">#include <utility> // For declval.
#include <algorithm>
#include <array>
#include <iterator>
#include <iostream>
/* Partial application helper. */
template< class F, class Arg >
struct PApply
{
F f;
Arg arg;
template< class F_, class Arg_ >
PApply( F_&& f, Arg_&& arg )
: f(std::forward<F_>(f)), arg(std::forward<Arg_>(arg))
{
}
/*
* The return type of F only gets deduced based on the number of arguments
* supplied. PApply otherwise has no idea whether f takes 1 or 10 args.
*/
template< class ... Args >
auto operator() ( Args&& ...args )
-> decltype( f(arg,std::declval<Args>()...) )
{
return f( arg, std::forward<Args>(args)... );
}
};
template< class F, class Arg >
PApply<F,Arg> papply( F&& f, Arg&& arg )
{
return PApply<F,Arg>( std::forward<F>(f), std::forward<Arg>(arg) );
}
/* Apply f to cont. */
template< class F >
std::array<int,4> fs( F&& f, std::array<int,4> cont )
{
std::transform( std::begin(cont), std::end(cont), std::begin(cont),
std::forward<F>(f) );
return cont;
}
std::ostream& operator << ( std::ostream& out, const std::array<int,4>& c )
{
std::copy( std::begin(c), std::end(c),
std::ostream_iterator<int>(out, ", ") );
return out;
}
int f1( int x ) { return x * 2; }
int f2( int x ) { return x * x; }
int main()
{
std::array<int,4> xs = {{ 0, 1, 2, 3 }};
std::array<int,4> ys = {{ 2, 4, 6, 8 }};
auto fsf1 = papply( fs<decltype(f1)>, f1 );
auto fsf2 = papply( fs<decltype(f2)>, f2 );
std::cout << "xs:\n"
<< "\tfsf1: " << fsf1(xs) << '\n'
<< "\tfsf2: " << fsf2(xs) << "\n\n"
<< "ys:\n"
<< "\tfsf1: " << fsf1(ys) << '\n'
<< "\tfsf2: " << fsf2(ys) << '\n';
}</syntaxhighlight>
=={{header|Ceylon}}==
<
function fs(Integer f(Integer n), {Integer*} s) => s.map(f);
Line 586 ⟶ 715:
value evens = (2..8).by(2);
print("fsf1(``evens``) is ``fsf1(evens)`` and fsf2(``evens``) is ``fsf2(evens)``");
}</
=={{header|Clojure}}==
<syntaxhighlight lang="clojure">(defn fs [f s] (map f s))
(defn f1 [x] (* 2 x))
(defn f2 [x] (* x x))
(def fsf1 (partial fs f1))
(def fsf2 (partial fs f2))
(doseq [s [(range 4) (range 2 9 2)]]
(println "seq: " s)
(println " fsf1: " (fsf1 s))
(println " fsf2: " (fsf2 s)))</syntaxhighlight>
Output:
<pre>seq: (0 1 2 3)
fsf1: (0 2 4 6)
fsf2: (0 1 4 9)
seq: (2 4 6 8)
fsf1: (4 8 12 16)
fsf2: (4 16 36 64)</pre>
=={{header|CoffeeScript}}==
<
partial = (f, g) ->
(s) -> f(g, s)
Line 603 ⟶ 751:
console.log fsf1 seq
console.log fsf2 seq
</syntaxhighlight>
output
<syntaxhighlight lang="text">
> coffee partials.coffee
[ 0, 2, 4, 6 ]
Line 611 ⟶ 759:
[ 4, 8, 12, 16 ]
[ 4, 16, 36, 64 ]
</syntaxhighlight>
=={{header|Common Lisp}}==
<syntaxhighlight lang="lisp">(defun fs (f s)
(mapcar f s))
(defun f1 (i)
(* i 2))
(defun f2 (i)
(expt i 2))
(defun partial (func &rest args1)
(lambda (&rest args2)
(apply func (append args1 args2))))
(setf (symbol-function 'fsf1) (partial #'fs #'f1))
(setf (symbol-function 'fsf2) (partial #'fs #'f2))
(dolist (seq '((0 1 2 3) (2 4 6 8)))
(format t
"~%seq: ~A~% fsf1 seq: ~A~% fsf2 seq: ~A"
seq
(fsf1 seq)
(fsf2 seq)))
</syntaxhighlight>
Output: <pre>seq: (0 1 2 3)
fsf1 seq: (0 2 4 6)
fsf2 seq: (0 1 4 9)
seq: (2 4 6 8)
fsf1 seq: (4 8 12 16)
fsf2 seq: (4 16 36 64)</pre>
=={{header|D}}==
fs has a static template argument f and the runtime argument s. The template constraints of fs statically require f to be a callable with just one argument, as requested by the task.
<
auto fs(alias f)(in int[] s) pure nothrow
Line 634 ⟶ 811:
d.fsf2.writeln;
}
}</
{{out}}
<pre>[0, 2, 4, 6]
Line 643 ⟶ 820:
=={{header|E}}==
<
return def partial {
match [`run`, args2] {
Line 668 ⟶ 845:
println(f(s))
}
}</
=={{header|Egison}}==
<
(define $fs (map $1 $2))
Line 685 ⟶ 862:
(test (fsf1 {2 4 6 8}))
(test (fsf2 {2 4 6 8}))
</syntaxhighlight>
'''Output:'''
<
{0 2 4 6}
{0 1 4 9}
{4 8 12 16}
{4 16 36 64}
</syntaxhighlight>
=={{header|Elena}}==
{{trans|Smalltalk}}
ELENA
<
import system'routines;
import extensions;
Line 704 ⟶ 882:
var partial := (afs,af => (s => afs(af, s)));
var fs := (f,s => s.selectBy::(x => f(x)).summarize(new ArrayList()).toArray());
var f1 := (x => x * 2);
var f2 := (x => x * x);
Line 711 ⟶ 889:
var fsf2 := partial(fs, f2);
console.printLine(fsf1(new int[]
console.printLine(fsf2(new int[]
}</
{{out}}
<pre>
Line 720 ⟶ 898:
</pre>
=={{
Translation of Racket
<
let fs f s = List.map f s
let f1 n = n * 2
Line 735 ⟶ 913:
printfn "%A" (fsf2 [0; 1; 2; 3])
printfn "%A" (fsf2 [2; 4; 6; 8])
</syntaxhighlight>
Output:
<pre>
Line 745 ⟶ 923:
=={{header|Factor}}==
<syntaxhighlight lang="text">USING: kernel math prettyprint sequences ;
IN: rosetta-code.partial-function-application
Line 755 ⟶ 933:
{ 0 1 2 3 } [ fsf1 . ] [ fsf2 . ] bi
{ 2 4 6 8 } [ fsf1 . ] [ fsf2 . ] bi</
{{out}}
<pre>
Line 765 ⟶ 943:
=={{header|FunL}}==
<
f1 = (* 2)
f2 = (^ 2)
Line 775 ⟶ 953:
println( fsf2(0..3) )
println( fsf1(2..8 by 2) )
println( fsf2(2..8 by 2) )</
{{out}}
Line 789 ⟶ 967:
{{works with|Go|1.1}} (The first way shown uses [http://golang.org/ref/spec#Method_values Method values] which were added in Go 1.1. The second uses a function returning a function which was always possible.)
[http://play.golang.org/p/fbmK4qfFZr Run this in the Go playground].
<
import "fmt"
Line 843 ⟶ 1,021:
fmt.Println(" fsf3:", fsf3(s...))
fmt.Println(" fsf3(fsf1):", fsf3(fsf1(s...)...))
}</
{{out}}
<pre>For s = [0 1 2 3]
Line 857 ⟶ 1,035:
=={{header|Groovy}}==
<
def f1 = { v -> v * 2 }
def f2 = { v -> v ** 2 }
def fsf1 = fs.curry(f1)
def fsf2 = fs.curry(f2)</
Testing:
<
println "fsf1$seq = ${fsf1(seq)}"
println "fsf2$seq = ${fsf2(seq)}"
}</
Output:
<pre>fsf1[0, 1, 2, 3] = [0, 2, 4, 6]
Line 875 ⟶ 1,053:
=={{header|Haskell}}==
Haskell functions are curried. i.e. All functions actually take exactly one argument. Functions of multiple arguments are simply functions that take the first argument, which returns another function to take the remaining arguments, etc. Therefore, partial function application is trivial. Not giving a multi-argument function all of its arguments will simply return a function that takes the remaining arguments.
<
f1 = (* 2)
f2 = (^ 2)
Line 887 ⟶ 1,065:
print $ fsf2 [0, 1, 2, 3] -- prints [0, 1, 4, 9]
print $ fsf1 [2, 4, 6, 8] -- prints [4, 8, 12, 16]
print $ fsf2 [2, 4, 6, 8] -- prints [4, 16, 36, 64]</
=={{header|Icon}} and {{header|Unicon}}==
<
procedure main()
Line 928 ⟶ 1,106:
every (s := "[ ") ||:= !L || " "
return s || "]"
end</
{{libheader|Icon Programming Library}}
Line 945 ⟶ 1,123:
Given:
<
f1=:*&2
f2=:^&2
fsf1=:f1 fs
fsf2=:f2 fs</
The required examples might look like this:
<
0 2 4 6
fsf2 i.4
Line 960 ⟶ 1,138:
4 8 12 16
fsf2 fsf1 1+i.4
4 16 36 64</
That said, note that much of this is unnecessary, since f1 and f2 already work the same way on list arguments.
<
0 2 4 6
f2 i.4
Line 971 ⟶ 1,149:
2 4 6 8
f2 f1 1+i.4
4 16 36 64</
That said, note that if we complicated the definitions of f1 and f2, so that they would not work on lists, the fs approach would still work:
Line 977 ⟶ 1,155:
In other words, given:
<
assert.1=#y
u y
Line 985 ⟶ 1,163:
F2=: f2 crippled
fsF1=: F1 fs
fsF2=: F2 fs</
the system behaves like this:
<
|assertion failure: F1
| 1=#y
fsF1 i.4
0 2 4 6
NB. and so on...</
=={{header|Java}}==
To solve this task, I wrote <tt>fs()</tt> as a curried method. I changed the syntax from <tt>fs(arg1, arg2)</tt> to <tt>fs(arg1).call(arg2)</tt>. Now I can use <tt>fs(arg1)</tt> as partial application.
<
public class PartialApplication {
Line 1,061 ⟶ 1,239:
}
}
}</
The aforementioned code, lambda-ized in Java 8.
<
import java.util.function.BiFunction;
import java.util.function.Function;
Line 1,132 ⟶ 1,310:
;
}
}</
Compilation and output for both versions: <pre>$ javac PartialApplication.java
Line 1,142 ⟶ 1,320:
fsf1(array): [4, 8, 12, 16]
fsf2(array): [4, 16, 36, 64]</pre>
=={{header|JavaScript}}==
Line 1,150 ⟶ 1,327:
(No special libraries are required for the creation or application of partial functions)
<
f2 = function (x) { return x * x; },
Line 1,169 ⟶ 1,346:
fsf1([2, 4, 6, 8]),
fsf2([2, 4, 6, 8])
]</
Output:
Line 1,177 ⟶ 1,354:
For additional flexibility ( allowing for an arbitrary number of arguments in applications of a partially applied function, and dropping the square brackets from the function calls in the tests above ) we can make use of the array-like ''arguments'' object, which is a property of any JavaScript function.
<
f2 = function (x) { return x * x; },
Line 1,197 ⟶ 1,374:
fsf1(2, 4, 6, 8, 10, 12),
fsf2(2, 4, 6, 8)
]</
Output:
Line 1,205 ⟶ 1,382:
===ES6===
====Simple curry====
<
'use strict';
Line 1,236 ⟶ 1,413:
fsf2([2, 4, 6, 8])
];
})();</
{{Out}}
<pre>[[0, 2, 4, 6], [0, 1, 4, 9], [4, 8, 12, 16], [4, 16, 36, 64]]</pre>
Line 1,242 ⟶ 1,419:
The simple version of the higher-order '''curry''' function above works only on functions with two arguments. For more flexibility, we can generalise it to a form which curries functions with an arbitrary number of arguments:
<
'use strict';
Line 1,278 ⟶ 1,455:
fsf2([2, 4, 6, 8])
];
})();</
{{Out}}
<pre>[[0, 2, 4, 6], [0, 1, 4, 9], [4, 8, 12, 16], [4, 16, 36, 64]]</pre>
=={{header|jq}}==
{{works with|jq}}
'''Works with gojq, the Go implementation of jq'''
<syntaxhighlight lang="jq"># fs(f, s) takes a function, f, of one value and a sequence of values s,
# and returns an ordered sequence of the result of applying function f to every value of s in turn.
def fs(f; s): s | f;
# f1 takes a value and returns it multiplied by 2:
def f1: 2 * .;
# f2 takes a value and returns it squared:
def f2: . * .;
# Partially apply f1 to fs to form function fsf1(s):
def fsf1(s): fs(f1;s);
# Partially apply f2 to fs to form function fsf2(s)
def fsf2(s): fs(f2; s);
# Test fsf1 and fsf2 by evaluating them with s being the sequence of integers from 0 to 3 inclusive ...
"fsf1",
[fsf1(range(0;4))],
"fsf2",
[fsf2(range(0;4))],
# and then the sequence of even integers from 2 to 8 inclusive:
"fsf1",
[fsf1(range(2;9;2))],
"fsf2",
[fsf2(range(2;9;2))]</syntaxhighlight>
{{out}}
<pre>
fsf1
[0,2,4,6]
fsf2
[0,1,4,9]
fsf1
[4,8,12,16]
fsf2
[4,16,36,64]
</pre>
=={{header|Julia}}==
<
fs(f, s) = map(f, s)
f1(x) = 2x
Line 1,296 ⟶ 1,519:
println("fsf1 of s2 is $(fsf1(s2))")
println("fsf2 of s2 is $(fsf2(s2))")
</syntaxhighlight>
{{output}}<pre>
fsf1 of s1 is [0, 2, 4, 6]
Line 1,305 ⟶ 1,528:
=={{header|Kotlin}}==
<
typealias Func = (Int) -> Int
Line 1,332 ⟶ 1,555:
println()
}
}</
{{out}}
Line 1,350 ⟶ 1,573:
{lambda talk} doesn't know closures but accepts de facto partial application. Not giving a multi-argument function all of its arguments will simply return a function that takes the remaining arguments.
<syntaxhighlight lang="scheme">
1) just define function as usual:
{def add {lambda {:a :b :c} {+ :a :b :c}}} -> add
Line 1,377 ⟶ 1,600:
4 8 12 16
4 16 36 64
</syntaxhighlight>
=={{header|LFE}}==
Line 1,384 ⟶ 1,607:
Here is the code, made more general to account for different arrities (note that to copy and paste into the LFE REPL, you'll need to leave out the docstring):
<
(defun partial
"The partial function is arity 2 where the first parameter must be a
Line 1,405 ⟶ 1,628:
((arg-2)
(funcall func arg-1 arg-2)))))
</syntaxhighlight>
Here is the problem set:
<
(defun fs (f s) (lists:map f s))
(defun f1 (i) (* i 2))
Line 1,427 ⟶ 1,650:
(4.0 16.0 36.0 64.0)
</syntaxhighlight>
=={{header|Logtalk}}==
Using Logtalk's built-in and library meta-predicates:
<
:- object(partial_functions).
Line 1,463 ⟶ 1,686:
:- end_object.
</syntaxhighlight>
Output:
<
| ?- partial_functions::show.
[0,1,2,3] -> fs(f1) -> [0,2,4,6]
Line 1,472 ⟶ 1,695:
[2,4,6,8] -> fs(f2) -> [4,16,36,64]
yes
</syntaxhighlight>
=={{header|Lua}}==
<
local t = {}
for k, v in ipairs(...) do
Line 1,504 ⟶ 1,727:
print(table.concat(squared_s{0, 1, 2, 3}, ', '))
print(table.concat(timestwo_s{2, 4, 6, 8}, ', '))
print(table.concat(squared_s{2, 4, 6, 8}, ', '))</
'''Output:'''
Line 1,513 ⟶ 1,736:
4, 16, 36, 64
=={{header|Mathematica}}/{{header|Wolfram Language}}==
<
f1 [n_] := n*2
f2 [n_] := n^2
fsf1[s_] := fs[f1, s]
fsf2[s_] := fs[f2, s]</
Example usage:
<pre>fsf1[{0, 1, 2, 3}]
Line 1,530 ⟶ 1,753:
=={{header|Mercury}}==
<
:- interface.
Line 1,565 ⟶ 1,788:
:- func fsf2 = (func(list(int)) = list(int)).
fsf2 = fs(f2).</
=={{header|min}}==
{{works with|min|0.19.3}}
<
(dup +) :f1
(dup *) :f2
Line 1,578 ⟶ 1,801:
(0 1 2 3) fsf2 puts!
(2 4 6 8) fsf1 puts!
(2 4 6 8) fsf2 puts!</
{{out}}
<pre>
Line 1,588 ⟶ 1,811:
=={{header|Nemerle}}==
<
using System.Console;
Line 1,632 ⟶ 1,855:
}
}</
=={{header|Nim}}==
{{trans|Kotlin}}
<syntaxhighlight lang="nim">import sequtils
type
Func = proc(n: int): int
FuncS = proc(f: Func; s: seq[int]): seq[int]
proc fs(f: Func; s: seq[int]): seq[int] = s.map(f)
proc partial(fs: FuncS; f: Func): auto =
result = proc(s: seq[int]): seq[int] = fs(f, s)
proc f1(n: int): int = 2 * n
proc f2(n: int): int = n * n
when isMainModule:
const Seqs = @[@[0, 1, 2, 3], @[2, 4, 6, 8]]
let fsf1 = partial(fs, f1)
let fsf2 = partial(fs, f2)
for s in Seqs:
echo fs(f1, s) # Normal.
echo fsf1(s) # Partial.
echo fs(f2, s) # Normal.
echo fsf2(s) # Partial.
echo ""</syntaxhighlight>
{{out}}
<pre>@[0, 2, 4, 6]
@[0, 2, 4, 6]
@[0, 1, 4, 9]
@[0, 1, 4, 9]
@[4, 8, 12, 16]
@[4, 8, 12, 16]
@[4, 16, 36, 64]
@[4, 16, 36, 64]</pre>
=={{header|OCaml}}==
OCaml functions are curried. i.e. All functions actually take exactly one argument. Functions of multiple arguments are simply functions that take the first argument, which returns another function to take the remaining arguments, etc. Therefore, partial function application is trivial. Not giving a multi-argument function all of its arguments will simply return a function that takes the remaining arguments.
<
let fs f s = List.map f s
let f1 value = value * 2
Line 1,657 ⟶ 1,922:
- : int list = [4; 8; 12; 16]
# fsf2 [2; 4; 6; 8];;
- : int list = [4; 16; 36; 64]</
=={{header|Oforth}}==
<
: f1 2 * ;
: f2 sq ;
#f1 #fs curry => fsf1
#f2 #fs curry => fsf2</
{{out}}
Line 1,682 ⟶ 1,947:
=={{header|Order}}==
Much like Haskell and ML, not giving a multi-argument function all of its arguments returns a function that will accept the rest.
<
#define ORDER_PP_DEF_8fs ORDER_PP_FN( 8fn(8F, 8S, 8seq_map(8F, 8S)) )
Line 1,697 ⟶ 1,962:
8print(8ap(8G, 8seq(0, 1, 2, 3)) 8comma 8space),
8print(8ap(8F, 8seq(2, 4, 6, 8)) 8comma 8space),
8print(8ap(8G, 8seq(2, 4, 6, 8))))) )</
{{out}}
<pre>(0)(2)(4)(6), (0)(1)(4)(9), (4)(8)(12)(16), (4)(16)(36)(64)</pre>
Line 1,704 ⟶ 1,969:
=={{header|PARI/GP}}==
This pure-GP solution cheats slightly, since GP lacks variadic arguments and reflection.
<
f1(x)=2*x;
f2(x)=x^2;
Line 1,712 ⟶ 1,977:
fsf1(2([1..4])
fsf2([0..3])
fsf2(2([1..4])</
PARI can do true partial function application, along the lines of [[#C|C]]; see also the <code>E*</code> parser code.
Line 1,718 ⟶ 1,983:
=={{header|Perl}}==
Note: this is written according to my understanding of the task spec and the discussion page; it doesn't seem a consensus was reached regarding what counts as a "partial" yet.
<
my $func = shift;
sub { map $func->($_), @_ }
}
sub double :prototype($) { shift() * 2 }
sub square :prototype($) { shift() ** 2 }
my $fs_double = fs(\&double);
Line 1,735 ⟶ 2,000:
@s = (2, 4, 6, 8);
print "fs_double(@s): @{[ $fs_double->(@s) ]}\n";
print "fs_square(@s): @{[ $fs_square->(@s) ]}\n";</
Output: <pre>fs_double(0 1 2 3): 0 2 4 6
fs_square(0 1 2 3): 0 1 4 9
Line 1,741 ⟶ 2,006:
fs_square(2 4 6 8): 4 16 36 64</pre>
=={{header|
Phix does not explicitly support this, but you can easily emulate it
<!--<syntaxhighlight lang="phix">(phixonline)-->
<span style="color: #008080;">with</span> <span style="color: #008080;">javascript_semantics</span>
<span style="color: #008080;">function</span> <span style="color: #000000;">fs</span><span style="color: #0000FF;">(</span><span style="color: #004080;">integer</span> <span style="color: #000000;">rid</span><span style="color: #0000FF;">,</span> <span style="color: #004080;">sequence</span> <span style="color: #000000;">s</span><span style="color: #0000FF;">)</span>
<span style="color: #004080;">sequence</span> <span style="color: #000000;">r</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">repeat</span><span style="color: #0000FF;">(</span><span style="color: #000000;">0</span><span style="color: #0000FF;">,</span><span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">s</span><span style="color: #0000FF;">))</span>
<span style="color: #008080;">for</span> <span style="color: #000000;">i</span><span style="color: #0000FF;">=</span><span style="color: #000000;">1</span> <span style="color: #008080;">to</span> <span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">s</span><span style="color: #0000FF;">)</span> <span style="color: #008080;">do</span>
<span style="color: #000000;">r</span><span style="color: #0000FF;">[</span><span style="color: #000000;">i</span><span style="color: #0000FF;">]</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">rid</span><span style="color: #0000FF;">(</span><span style="color: #000000;">s</span><span style="color: #0000FF;">[</span><span style="color: #000000;">i</span><span style="color: #0000FF;">])</span>
<span style="color: #008080;">end</span> <span style="color: #008080;">for</span>
<span style="color: #008080;">return</span> <span style="color: #000000;">r</span>
<span style="color: #008080;">end</span> <span style="color: #008080;">function</span>
<span style="color: #008080;">function</span> <span style="color: #000000;">p_apply</span><span style="color: #0000FF;">(</span><span style="color: #004080;">sequence</span> <span style="color: #000000;">f</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">args</span><span style="color: #0000FF;">)</span>
<span style="color: #004080;">integer</span> <span style="color: #0000FF;">{</span><span style="color: #000000;">f1</span><span style="color: #0000FF;">,</span><span style="color: #000000;">f2</span><span style="color: #0000FF;">}</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">f</span>
<span style="color: #008080;">return</span> <span style="color: #000000;">f1</span><span style="color: #0000FF;">(</span><span style="color: #000000;">f2</span><span style="color: #0000FF;">,</span><span style="color: #000000;">args</span><span style="color: #0000FF;">)</span>
<span style="color: #008080;">end</span> <span style="color: #008080;">function</span>
<span style="color: #008080;">function</span> <span style="color: #000000;">f1</span><span style="color: #0000FF;">(</span><span style="color: #004080;">integer</span> <span style="color: #000000;">i</span><span style="color: #0000FF;">)</span>
<span style="color: #008080;">return</span> <span style="color: #000000;">i</span><span style="color: #0000FF;">+</span><span style="color: #000000;">i</span>
<span style="color: #008080;">end</span> <span style="color: #008080;">function</span>
<span style="color: #008080;">function</span> <span style="color: #000000;">f2</span><span style="color: #0000FF;">(</span><span style="color: #004080;">integer</span> <span style="color: #000000;">i</span><span style="color: #0000FF;">)</span>
<span style="color: #008080;">return</span> <span style="color: #000000;">i</span><span style="color: #0000FF;">*</span><span style="color: #000000;">i</span>
<span style="color: #008080;">end</span> <span style="color: #008080;">function</span>
<span style="color: #7060A8;">printf</span><span style="color: #0000FF;">(</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span><span style="color: #008000;">"%v\n"</span><span style="color: #0000FF;">,{</span><span style="color: #000000;">p_apply</span><span style="color: #0000FF;">({</span><span style="color: #000000;">fs</span><span style="color: #0000FF;">,</span><span style="color: #000000;">f1</span><span style="color: #0000FF;">},{</span><span style="color: #000000;">0</span><span style="color: #0000FF;">,</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span><span style="color: #000000;">2</span><span style="color: #0000FF;">,</span><span style="color: #000000;">3</span><span style="color: #0000FF;">})})</span>
<span style="color: #7060A8;">printf</span><span style="color: #0000FF;">(</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span><span style="color: #008000;">"%v\n"</span><span style="color: #0000FF;">,{</span><span style="color: #000000;">p_apply</span><span style="color: #0000FF;">({</span><span style="color: #000000;">fs</span><span style="color: #0000FF;">,</span><span style="color: #000000;">f2</span><span style="color: #0000FF;">},{</span><span style="color: #000000;">0</span><span style="color: #0000FF;">,</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span><span style="color: #000000;">2</span><span style="color: #0000FF;">,</span><span style="color: #000000;">3</span><span style="color: #0000FF;">})})</span>
<!--</syntaxhighlight>-->
{{out}}
<pre>
{0,2,4,6}
{0,1,4,9}
</pre>
Should you want to supply partial arguments:
<!--<syntaxhighlight lang="phix">(phixonline)-->
<span style="color: #008080;">with</span> <span style="color: #008080;">javascript_semantics</span>
<span style="color: #008080;">function</span> <span style="color: #000000;">fs</span><span style="color: #0000FF;">(</span><span style="color: #004080;">integer</span> <span style="color: #000000;">rid</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">j</span><span style="color: #0000FF;">,</span> <span style="color: #004080;">sequence</span> <span style="color: #000000;">s</span><span style="color: #0000FF;">)</span>
<span style="color: #004080;">sequence</span> <span style="color: #000000;">r</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">repeat</span><span style="color: #0000FF;">(</span><span style="color: #000000;">0</span><span style="color: #0000FF;">,</span><span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">s</span><span style="color: #0000FF;">))</span>
<span style="color: #008080;">for</span> <span style="color: #000000;">i</span><span style="color: #0000FF;">=</span><span style="color: #000000;">1</span> <span style="color: #008080;">to</span> <span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">s</span><span style="color: #0000FF;">)</span> <span style="color: #008080;">do</span>
<span style="color: #000000;">r</span><span style="color: #0000FF;">[</span><span style="color: #000000;">i</span><span style="color: #0000FF;">]</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">rid</span><span style="color: #0000FF;">(</span><span style="color: #000000;">j</span><span style="color: #0000FF;">,</span><span style="color: #000000;">s</span><span style="color: #0000FF;">[</span><span style="color: #000000;">i</span><span style="color: #0000FF;">])</span>
<span style="color: #008080;">end</span> <span style="color: #008080;">for</span>
<span style="color: #008080;">return</span> <span style="color: #000000;">r</span>
<span style="color: #008080;">end</span> <span style="color: #008080;">function</span>
<span style="color: #008080;">function</span> <span style="color: #000000;">p_apply</span><span style="color: #0000FF;">(</span><span style="color: #004080;">sequence</span> <span style="color: #000000;">ffa</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">args</span><span style="color: #0000FF;">)</span>
<span style="color: #004080;">integer</span> <span style="color: #0000FF;">{</span><span style="color: #000000;">f1</span><span style="color: #0000FF;">,</span><span style="color: #000000;">f2</span><span style="color: #0000FF;">,</span><span style="color: #000000;">j</span><span style="color: #0000FF;">}</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">ffa</span>
<span style="color: #008080;">return</span> <span style="color: #000000;">f1</span><span style="color: #0000FF;">(</span><span style="color: #000000;">f2</span><span style="color: #0000FF;">,</span><span style="color: #000000;">j</span><span style="color: #0000FF;">,</span><span style="color: #000000;">args</span><span style="color: #0000FF;">)</span>
<span style="color: #008080;">end</span> <span style="color: #008080;">function</span>
<span style="color: #008080;">function</span> <span style="color: #000000;">f3</span><span style="color: #0000FF;">(</span><span style="color: #004080;">integer</span> <span style="color: #000000;">j</span><span style="color: #0000FF;">,</span><span style="color: #000000;">i</span><span style="color: #0000FF;">)</span>
<span style="color: #008080;">return</span> <span style="color: #000000;">j</span><span style="color: #0000FF;">+</span><span style="color: #000000;">i</span>
<span style="color: #008080;">end</span> <span style="color: #008080;">function</span>
<span style="color: #7060A8;">printf</span><span style="color: #0000FF;">(</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span><span style="color: #008000;">"%v\n"</span><span style="color: #0000FF;">,{</span><span style="color: #000000;">p_apply</span><span style="color: #0000FF;">({</span><span style="color: #000000;">fs</span><span style="color: #0000FF;">,</span><span style="color: #000000;">f3</span><span style="color: #0000FF;">,</span><span style="color: #000000;">1</span><span style="color: #0000FF;">},{</span><span style="color: #000000;">0</span><span style="color: #0000FF;">,</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span><span style="color: #000000;">2</span><span style="color: #0000FF;">,</span><span style="color: #000000;">3</span><span style="color: #0000FF;">})})</span>
<!--</syntaxhighlight>-->
{{out}}
<pre>
{
</pre>
=={{header|PicoLisp}}==
<
(de f1 (N) (* 2 N))
(de f2 (N) (* N N))
Line 1,813 ⟶ 2,080:
(for S '((0 1 2 3) (2 4 6 8))
(println (fsf1 S))
(println (fsf2 S)) )</
Output:
<pre>(0 2 4 6)
Line 1,822 ⟶ 2,089:
=={{header|Prolog}}==
Works with SWI-Prolog.
<
maplist(P, S, S1).
Line 1,847 ⟶ 2,114:
call(FSF1,S2, S21), format('~w : ~w ==> ~w~n',[FSF2, S2, S21]),
call(FSF2,S2, S22), format('~w : ~w ==> ~w~n',[FSF1, S2, S22]).
</syntaxhighlight>
Output :
<pre>?- fs.
Line 1,857 ⟶ 2,124:
=={{header|Python}}==
<
def fs(f, s): return [f(value) for value in s]
Line 1,874 ⟶ 2,141:
s = [2, 4, 6, 8]
assert fs(f1, s) == fsf1(s) # == [4, 8, 12, 16]
assert fs(f2, s) == fsf2(s) # == [4, 16, 36, 64]</
The program runs without triggering the assertions.
Explicitly spelling out the partial function without hiding behind a library:<
def fg(*x): return f(g, *x)
return fg
Line 1,890 ⟶ 2,157:
print fsf1(1, 2, 3, 4)
print fsf2(1, 2, 3, 4)</
=={{header|Quackery}}==
(It would be more natural in Quackery to take the arguments to ''fs'' in the order ''s f''. This code complies with the requirements of the task. To make it idiomatic, omit all but the second ''swap''.)
<syntaxhighlight lang="quackery"> [ [] unrot
swap nested
' join nested
join nested
' witheach nested
swap join
do ] is fs ( f s --> [ )
[ 2 * ] is f1 ( n --> n )
[ 2 ** ] is f2 ( n --> n )
[ ' f1 swap fs ] is fsf1 ( s --> [ )
[ ' f2 swap fs ] is fsf2 ( s --> [ )
' [ 0 1 2 3 ] fsf1 echo cr
' [ 0 1 2 3 ] fsf2 echo cr
' [ 2 4 6 8 ] fsf1 echo cr
' [ 2 4 6 8 ] fsf2 echo cr
( ... or, using Quackery's partial applicator "witheach",
which applies the word or nest following it to each
item in a nest on the top of the stack ... )
cr
' [ [ 0 1 2 3 ] [ 2 4 6 8 ] ]
witheach
[ dup ' [ fsf1 fsf2 ]
witheach [ do echo cr ] ]</syntaxhighlight>
{{Out}}
<pre>[ 0 2 4 6 ]
[ 0 1 4 9 ]
[ 4 8 12 16 ]
[ 4 16 36 64 ]
[ 0 2 4 6 ]
[ 0 1 4 9 ]
[ 4 8 12 16 ]
[ 4 16 36 64 ]</pre>
=={{header|R}}==
<
capture <- list(...)
function(...) {
Line 1,911 ⟶ 2,225:
fsf2(0:3)
fsf1(seq(2,8,2))
fsf2(seq(2,8,2))</
=={{header|Racket}}==
<
#lang racket
Line 1,929 ⟶ 2,243:
(fsf2 '(0 1 2 3))
(fsf2 '(2 4 6 8))
</syntaxhighlight>
=={{header|Raku}}==
(formerly Perl 6)
{{works with|rakudo|2015-09-25}}
All Code objects have the .assuming method, which partially applies its arguments. For both type safety reasons and parsing sanity reasons we do not believe in implicit partial application by leaving out arguments. Also, people can understand "assuming" without being steeped in FP culture.
<syntaxhighlight lang="raku" line>sub fs ( Code $f, @s ) { @s.map: { .$f } }
sub f1 ( $n ) { $n * 2 }
sub f2 ( $n ) { $n ** 2 }
my &fsf1 := &fs.assuming(&f1);
my &fsf2 := &fs.assuming(&f2);
for [1..3], [2, 4 ... 8] X &fsf1, &fsf2 -> ($s, $f) {
say $f.($s);
}</syntaxhighlight>
Output:<pre>(2 4 6)
(1 4 9)
(4 8 12 16)
(4 16 36 64)</pre>
The <tt>*+2</tt> is also a form of partial application in Raku. In this case we partially apply the <tt>infix:<+></tt> function with a second argument of 2. That is, the star (known as the "whatever" star) indicates which argument <em>not</em> to apply. In contrast to languages that keep some arguments unbound by leaving holes, the explicit star in Raku allows us to avoid syntactic ambiguity in whether to expect a term or an infix operator; such self-clocking code contributes to better error messages when things go wrong.
=={{header|REXX}}==
<
s=; do a=0 to 3 /*build 1st series of some low integers*/
s=strip(s a) /*append to the integer to the S list*/
Line 1,954 ⟶ 2,290:
interpret '$=$' f"("z')'
end /*j*/
return strip($)</
'''output'''
<pre>
Line 1,961 ⟶ 2,297:
for f1, series= 2 4 6 8, result= 4 8 12 16
for f2, series= 2 4 6 8, result= 4 16 36 64
</pre>
=={{header|RPL}}==
<code>fs(f,s)</code> is a built-in function in RPL named <code>DOLIST </code>
« 2 * » '<span style="color:blue">F1</span>' STO
« SQ » '<span style="color:blue">F2</span>' STO
« 1 '<span style="color:blue">F1</span>' DOLIST » '<span style="color:blue">FSF1</span>' STO
« 1 '<span style="color:blue">F2</span>' DOLIST » '<span style="color:blue">FSF2</span>' STO
{ 0 1 2 3 } <span style="color:blue">FSF1</span>
{ 0 1 2 3 } <span style="color:blue">FSF2</span>
{ 2 4 6 8 } <span style="color:blue">FSF1</span>
{ 2 4 6 8 } <span style="color:blue">FSF2</span>
{{out}}
<pre>
4: { 0 2 4 6 }
3! { 0 1 4 9 }
2: { 4 8 12 16 }
1: { 4 16 36 64 }
</pre>
Line 1,967 ⟶ 2,325:
{{works with|Ruby|1.9}}
<
f1 = proc { |n| n * 2 }
f2 = proc { |n| n ** 2 }
Line 1,976 ⟶ 2,334:
p fsf1[e]
p fsf2[e]
end</
Output
Line 1,985 ⟶ 2,343:
=={{header|Scala}}==
<
def f1(x:Int) = x * 2
def f2(x:Int) = x * x
Line 1,994 ⟶ 2,352:
assert(fsf1(List(0,1,2,3)) == List(0,2,4,6))
assert(fsf2(List(0,1,2,3)) == List(0,1,4,9))</
=={{header|Sidef}}==
{{trans|Perl}}
<
func(*args) {
args.map {f(_)}
Line 2,016 ⟶ 2,374:
s = [2, 4, 6, 8];
say "fs_double(#{s}): #{fs_double(s...)}";
say "fs_square(#{s}): #{fs_square(s...)}";</
{{out}}
<pre>
Line 2,027 ⟶ 2,385:
=={{header|Smalltalk}}==
{{works with|Pharo|1.3-13315}}
<
| f1 f2 fs fsf1 fsf2 partial |
Line 2,047 ⟶ 2,405:
fsf2 value: #(2 4 6 8).
" #(4 16 36 64)"
</syntaxhighlight>
=={{header|Tcl}}==
{{works with|Tcl|8.6}}
<
proc partial {f1 f2} {
variable ctr
Line 2,059 ⟶ 2,417:
}
}} $f1 $f2
}</
Demonstration:
<
set r {}
foreach n $s {
Line 2,075 ⟶ 2,433:
puts "$s ==f1==> [$fsf1 $s]"
puts "$s ==f2==> [$fsf2 $s]"
}</
Output:
<pre>
Line 2,090 ⟶ 2,448:
Indeed, functional language purists would probably say that even the explicit <code>op</code> operator spoils it, somewhat.
<
((0 2 4 6) (4 8 12 16))
$ txr -p "(mapcar (op mapcar (op * @1 @1)) (list (range 0 3) (range 2 8 2)))"
((0 1 4 9) (4 16 36 64))</
Note how in the above, '''no''' function arguments are explicitly mentioned at all except the necessary reference <code>@1</code> to an argument whose existence is implicit.
Line 2,100 ⟶ 2,458:
Now, without further ado, we surrender the concept of partial application to meet the task requirements:
<
(defun fs (fun seq) (mapcar fun seq))
(defun f1 (num) (* 2 num))
Line 2,110 ⟶ 2,468:
(print [fs fsf2 '((0 1 2 3) (2 4 6 8))]) (put-line \"\"))"
((0 2 4 6) (4 8 12 16))
((0 1 4 9) (4 16 36 64))</
=={{header|
<syntaxhighlight lang="wren">var fs = Fn.new { |f, s| s.map { |e| f.call(e) }.toList }
var f1 = Fn.new { |n| 2 * n }
var f2 = Fn.new { |n| n * n }
var partial = Fn.new { |f, g| Fn.new { |x| f.call(g, x) } }
var ss = [[0, 1, 2, 3], [2, 4, 6, 8]]
for (s in ss) {
var fsf1 = partial.call(fs, f1)
var fsf2 = partial.call(fs, f2)
System.print(fsf1.call(s))
System.print(fsf2.call(s))
System.print()
}</syntaxhighlight>
{{out}}
<pre>
[0, 2, 4, 6]
[0, 1, 4, 9]
[4, 8, 12, 16]
[4, 16, 36, 64]
</pre>
=={{header|zkl}}==
<syntaxhighlight lang="zkl">fcn fs(f,s){s.apply(f)} fcn f1(n){n*2} fcn f2(n){n*n}
var fsf1=fs.fp(f1), fsf2=fs.fp(f2);
fsf1([0..3]); //-->L(0,2,4,6)
fsf2([2..8,2]); //-->L(4,16,36,64)</syntaxhighlight>
=={{header|Z80 Assembly}}==
First, the implementation of the functions.
<syntaxhighlight lang="z80">func_fs:
;input
;hl = function to call
;ix = data range to operate over
;de = output area
;b = length of data range
push bc
ld (smc_fs+1),hl
ld a,(ix+0)
smc_fs:
call 0 ;overwritten with the function address passed in HL
ld (de),a
inc ix
inc de
pop bc
djnz func_fs
ret
f: ;dummy function - returns input as-is
ret
f1:
;returns A times 2
sla a
ret
f2:
;returns A squared
ld b,a
jp square_small
;ret
data1:
db 0,1,2,3
data2
db 2,4,6,8
output:
ds 4
;these libraries allow us to write the output to the screen
read "\SrcCPC\winape_monitor.asm"
read "\SrcCPC\winape_stringop.asm"
read "\SrcCPC\winape_showhex.asm"
square_small:
;returns a*a into a
LD C,B
mul8_small:
;multiplies two 8-bit regs, product is also 8 bit.
;no overflow protection!
;computes A = c * b
ld a,c
or a
ret z
djnz skip_return_C
;ADVANCED TRICKERY:
; we need to decrement B anyway.
; also if B = 1, then A = C.
; C is already in A, which we need for the multiplication regardless.
; This does the job for us in one instruction!
; Most DJNZs are backward but this one is FORWARD!
ret
skip_return_C:
add C
djnz skip_return_C
ret</syntaxhighlight>
{{out}}
And this is the unit test showing the results. Output is in hexadecimal but is otherwise correct.
<syntaxhighlight lang="z80">;;;;;;;;;;;;;;;;;;; HEADER ;;;;;;;;;;;;;;;;;;;
read "\SrcCPC\winape_macros.asm"
read "\SrcCPC\MemoryMap.asm"
read "\SrcALL\winapeBuildCompat.asm"
;;;;;;;;;;;;;;;;;;; PROGRAM ;;;;;;;;;;;;;;;;;;;
org &1000
ld hl,f1
ld ix,data1
ld de,output
ld b,4
call func_fs ;execute f1f(s) on data set 1
call monitor_memdump ;display the output
db 4
dw output
call newline
ld hl,f1
ld ix,data2
ld de,output
ld b,4
call func_fs ;;execute f1f(s) on data set 2
call monitor_memdump ;display the output
db 4
dw output
call newline
ld hl,f2
ld ix,data1
ld de,output
ld b,4
call func_fs
call monitor_memdump
db 4
dw output
call newline
ld hl,f2
ld ix,data2
ld de,output
ld b,4
call func_fs
call monitor_memdump
db 4
dw output
ret ;return to basic</syntaxhighlight>
<pre>;107D = address of output data buffer
107D:
00 02 04 06 ....
107D:
04 08 0C 10 ....
107D:
00 01 04 09 ....
107D:
04 10 24 40 ..$@</pre>
{{omit from|Euphoria}}
|