Named parameters

From Rosetta Code
Task
Named parameters
You are encouraged to solve this task according to the task description, using any language you may know.

Create a function which takes in a number of arguments which are specified by name rather than (necessarily) position, and show how to call the function. If the language supports reordering the arguments or optionally omitting some of them, note this.

Note:

Named parameters relies on being able to use the names given to function parameters when the function is defined, when assigning arguments when the function is called.
For example, if a function were to be defined as define func1( paramname1, paramname2); then it could be called normally as func1(argument1, argument2) and in the called function paramname1 would be associated with argument1 and paramname2 with argument2.
func1 must also be able to be called in a way that visually binds each parameter to its respective argument, irrespective of argument order, for example: func1(paramname2=argument2, paramname1=argument1) which explicitly makes the same parameter/argument bindings as before.
Named parameters are often a feature of languages used in safety critical areas such as Verilog and VHDL.

See also:



11l

F sqlen(x = 0, y = 0, z = 0)
   R x*x + y*y + z*z

print(sqlen(z' 3)) // equivalent to print(sqlen(0, 0, 3))

Ada

All callable entities (procedures, functions, entries) require named arguments. All of them can be called using either positional or keyed association of the actual arguments. The arguments supplied with default values can be omitted.

procedure Foo (Arg_1 : Integer; Arg_2 : Float := 0.0);

It can be equivalently called as:

Foo (1, 0.0);
Foo (1);
Foo (Arg_2 => 0.0, Arg_1 => 1);
Foo (Arg_1 => 1);

ALGOL 68

Translation of: Lua
BEGIN
  MODE OPTNAME = STRUCT(STRING name),
       OPTSPECIES = STRUCT(STRING species),
       OPTBREED = STRUCT(STRING breed),
       OWNER=STRUCT(STRING first name, middle name, last name);

  # Version 2 of Algol 68G would not allow empty options to be specified as () so     #
  # VOID would need to be included in the MODEs for options and Empty option lists    #
  # would need to be written as (EMPTY)                                               #
  MODE OPTIONS = FLEX[1:0]UNION(OPTNAME,OPTSPECIES,OPTBREED,OWNER); # add ,VOID for Algol 68G version 2 #

  # due to the Yoneda ambiguity simple arguments must have an unique operator defined #
  # E.g. a string cannot be coerced to a structure with a single string field         #
  OP NAME = (STRING name)OPTNAME: (OPTNAME opt; name OF opt := name; opt),
     SPECIES = (STRING species)OPTSPECIES: (OPTSPECIES opt; species OF opt := species; opt),
     BREED = (STRING breed)OPTBREED: (OPTBREED opt; breed OF opt := breed; opt);

  PROC print pet = (OPTIONS option)VOID: (
    STRING name:="Rex", species:="Dinosaur", breed:="Tyrannosaurus"; # Defaults #
    OWNER owner := ("George","W.","Bush");
    FOR i TO UPB option DO
      CASE option[i] IN
        (OPTNAME option): name := name OF option,
        (OPTSPECIES option): species := species OF option,
        (OPTBREED option): breed := breed OF option,
        (OWNER option): owner := option
      ESAC
    OD;
    print(("Details: "
          ,IF CHAR c = breed[LWB breed]; char in string( c, NIL, "AaEeIiOoUu" ) THEN "an " ELSE "a " FI
          ,breed, " ", species, " named ",name," owned by ",owner, newline))
  );

  print pet((NAME "Mike", SPECIES "Dog", BREED "Irish Setter", OWNER("Harry", "S.", "Truman")));
  print pet(())     # use print pet((EMPTY)) for Algol 68G version 2 #
END

Output:

Details: an Irish Setter Dog named Mike owned by HarryS.Truman
Details: a Tyrannosaurus Dinosaur named Rex owned by GeorgeW.Bush

AppleScript

AppleScript does not implement default or optional parameters, but they can be simulated using records.

on getName(x)
	set {firstName, lastName} to {"?", "?"}
	try
		set firstName to x's firstName
	end try
	try
		set lastName to x's lastName
	end try

	return firstName & ", " & lastName
end getName

Examples:

getName({firstName:"John", lastName:"Doe"})
--> Returns: "John, Doe"
getName({lastName:"Doe"})
--> Returns: "?, Doe"

An easier way to achieve the above is by concatenating a record containing default values for the expected properties to the record actually passed. The result will contain the labels and values from both records, except that where the same label exists in both records, there'll only be one instance in the result and its value will be that from the first record:

on getName(x) -- x assumed to be a record for this demo.
    set x to x & {firstName:"?", lastName:"?"}

    return x's firstName & ", " & x's lastName
end getName

getName({lastName:"Doe"})
--> "?, Doe"

One of AppleScript's handler types has long been "handlers with labeled parameters". These haven't proved particularly popular as they have a limited set of AppleScript-defined labels, which can require some creativity when choosing one to make sense in the script narrative. However, labelled parameters can be given in any order in calls:

on getName from firstName beside lastName
    return firstName & ", " & lastName
end getName

getName beside "Doe" from "John"
--> "John, Doe"

However, it's also possible to define user labels, with the same flexibility of order, using a slightly different syntax:

on getName given firstName:firstName, lastName:lastName
    return firstName & ", " & lastName
end getName

getName given lastName:"Doe", firstName:"John"
--> "John, Doe"

AppleScript-defined and user labels can be combined, but the AppleScript ones must be given first if used. The given syntax also has a neat feature whereby if the value to be passed is a boolean, the keyword with or without can be used instead in the call. In fact the compiler imposes this anyway when a boolean is hard-coded into the call:

on getName given firstName:firstName, lastName:lastName, comma:comma
    if (comma) then
        return firstName & ", " & lastName
    else
        return firstName & space & lastName
    end if
end getName

getName given lastName:"Doe", firstName:"John" comma:true -- compiles as: getName with comma given lastName:"Doe", firstName:"John"
--> "John, Doe"
getName without comma given lastName:"Doe", firstName:"John"
--> "John Doe"

Since Mac OS X 10.10, it has been possible to make labelled parameters optional by defining default values for them in the handler declarations. But at least one parameter must be provided in any call:

use AppleScript version "2.4" -- Mac OS X 10.10 (Yosemite) or later.

on getName under category : "Misc: " given firstName:firstName : "?", lastName:lastName : "?", comma:comma : true
    if (comma) then
        return category & firstName & ", " & lastName
    else
        return category & firstName & space & lastName
    end if
end getName

getName given lastName:"Doe"
--> "Misc: ?, Doe"

Applesoft BASIC

Function definitions in Applesoft BASIC using the DEF FN statement can only have one parameter. Subroutines and functions with many parameters can be simulated using global variables which are effectively named parameters. Default or optional parameters can be simulated with a check in the subroutine.

 100  IF LAST$ = "" THEN  PRINT "?";
 110  IF LAST$ <  > "" THEN  PRINT LAST$;
 120  IF FIRST$ <  > "" THEN  PRINT ", "FIRST$;
 200 FIRST$ = ""
 210 LAST$ = ""
 220  RETURN
]FIRST$ = "JOHN" : GOSUB 100"PRINT NAME
?, JOHN
]LAST$ = "DOE" : GOSUB 100"PRINT NAME
DOE
]FIRST$ = "JOHN" : LAST$ = "DOE" : GOSUB 100"PRINT NAME
DOE, JOHN

Arturo

func: function [x][
    print ["argument x:" x]
    print ["attribute foo:" attr 'foo]
    print ["attribute bar:" attr 'bar]
    print ""
]

func 1
func .foo:"foo" 2
func .bar:"bar" 3
func .foo:123 .bar:124 4
func .bar:124 .foo:123 5
Output:
argument x: 1
attribute foo: null
attribute bar: null

argument x: 2
attribute foo: foo
attribute bar: null

argument x: 3
attribute foo: null
attribute bar: bar

argument x: 4
attribute foo: 123
attribute bar: 124

argument x: 5
attribute foo: 123
attribute bar: 124

AutoHotkey

AutoHotkey doesn't have named parameters, but they can be simulated as follows. ahk discussion

MyFunc( "Val=0, w=1024, Text=The Quick Brown Fox, newVar=I'm New" )

MyFunc( _overrides="" ) {
 Static x=5, y=5, w=100, h=100, Count
 Name:="AutoHotkey", Type:="Scripting", Text:="qwerty", Val:=True

 Loop, Parse, _overrides,`,=, %A_Space%  ; Override routine for Local/Static variables
   A_Index & 1  ? (_:=A_LoopField) : (%_%:=A_LoopField)

Listvars
 WinWaitClose, %A_ScriptFullPath%
}

Bracmat

In Bracmat, all functions have exactly one argument, called "arg". To split the argument and assign values to local variables, you always have to use pattern matching. In this task, the pattern is just made a bit more complex than would have been the case without explicit parameter names in the argument.

( ( testproc
  =   i x y z
    .   out$"Calling testproc"
      & (=~):(=?i:?x:?y:?z)     { initialise variables to 'failure' }
      &   !arg
        : (? (i,?i) ?|?)        { if "i" found, assign value to i. Otherwise just match with no side effect. }
        : (? (x,?x) ?|?)        { if "x" found, assign value to x. Otherwise just match with no side effect. }
        : (? (y,?y) ?|?)        { likewise }
        : (? (z,?z) ?|?)        { likewise }
      & (~!i|put$("   i:=" !i)) { if variable doesn't fail, show its value }
      & (~!x|put$("   x:=" !x))
      & (~!y|put$("   y:=" !y))
      & (~!z|put$("   z:=" !z))
      & put$\n                  { add new line }
  )
& testproc$((x,1) (y,2) (z,3))
& testproc$((x,3) (y,1) (z,2))
& testproc$((z,4) (x,2) (y,3))  { order is not important }
& testproc$((i,1) (y,2) (z,3))
);

Output:

Calling testproc
   x:= 1   y:= 2   z:= 3
Calling testproc
   x:= 3   y:= 1   z:= 2
Calling testproc
   x:= 2   y:= 3   z:= 4
Calling testproc
   i:= 1   y:= 2   z:= 3

C

C has no direct support for named parameters to functions, but it does permit named parameters to struct initializers. These can be used to simulate named function parameters:

Works with: C99
#include <stdio.h>

// 1. Named parameters

typedef struct { int x, y, z; } FTest_args;

void FTest (FTest_args args) {
	printf("x: %d, y: %d, z: %d\n", args.x, args.y, args.z);
}

#define FT(...) FTest((FTest_args){ __VA_ARGS__ })


// 2. Default parameters

#define DFT(...) FTest((FTest_args){ .x = 142, .y = 143, .z = 144, __VA_ARGS__ })


// 3. Convenience wrapper to avoid accessing args as "args.name"

void FTest2 (int x, int y, int z) {
	printf("x: %d, y: %d, z: %d\n", x, y, z);
}

static inline void FTest2_default_wrapper (FTest_args args) {
	return FTest2(args.x, args.y, args.z);
}

#define DF2(...) FTest2_default_wrapper((FTest_args){ .x = 142, .y = 143, .z = 144, __VA_ARGS__ })


int main(int argc, char **argv)
{
	// Named parameters
	FTest((FTest_args){ .y = 10 });
	FTest((FTest_args){ .y = 10, .z = 42 });
	FT( .z = 47, .y = 10, .x = 42 );

	// Default parameters
	DFT();
	DFT( .z = 99 );

	// Default parameters with wrapper
	DF2();
	DF2( .z = 99 );

	return 0;
}

As a bonus, default values for the parameters left unspecified can be either implicitly set to zero by the struct initializer, or supplied in a wrapper-macro definition. But this is not idiomatic C by any stretch.

C#

Works with: C# version 4.0

Named parameters were added in C# 4.0. The examples below demonstrate how named parameters and optional parameters are a single concept in the language.

using System;

namespace NamedParams
{
    class Program
    {
        static void AddWidget(string parent, float x = 0, float y = 0, string text = "Default")
        {
            Console.WriteLine("parent = {0}, x = {1}, y = {2}, text = {3}", parent, x, y, text);
        }

        static void Main(string[] args)
        {
            AddWidget("root", 320, 240, "First");
            AddWidget("root", text: "Origin");
            AddWidget("root", 500);
            AddWidget("root", text: "Footer", y: 400);
        }
    }
}

Output:

parent = root, x = 320, y = 240, text = First
parent = root, x = 0, y = 0, text = Origin
parent = root, x = 500, y = 0, text = Default
parent = root, x = 0, y = 400, text = Footer

C++

C++ does not support name parameters, but they can be simulated with the "Named Parameter Idiom" (http://www.parashift.com/c++-faq-lite/ctors.html#faq-10.18).

You wrap the parameters in a class, and make the function a friend of the parameter class.

class foo_params{
	friend void foo(foo_params p);
public:
    foo_params(int r):
        required_param_(r),
	optional_x_(0),
	optional_y_(1),
	optional_z_(3.1415)
	{}
     foo_params& x(int i){
	optional_x_=i;
	return *this;
     }
     foo_params& y(int i){
	optional_y_=i;
	return *this;
     }
     foo_params& z(float f){
	optional_z_=f;
	return *this;
     }
private:
        int 	required_param_;
	int 	optional_x_;
	int 	optional_y_;
	float 	optional_z_;
};

Declare the function to take the parameter class as its only parameter.

void foo(foo_params p){ . . .}

Call the function using the parameter object constructor with the required parameters and chaining the optional parameters.

foo(foo_params(42).x(7).z(23.54));


Library: Boost

If you want real named parameters you can use The Boost Parameter Library.

#include <boost/parameter/name.hpp>
#include <boost/parameter/preprocessor.hpp>
#include <string>

BOOST_PARAMETER_NAME(foo)
BOOST_PARAMETER_NAME(bar)
BOOST_PARAMETER_NAME(baz)
BOOST_PARAMETER_NAME(bonk)

BOOST_PARAMETER_FUNCTION(
    (int),  // the return type of the function, the parentheses are required.
    function_with_named_parameters, // the name of the function.
    tag,  // part of the deep magic. If you use BOOST_PARAMETER_NAME you need to put "tag" here.
    (required // names and types of all required parameters, parentheses are required.
        (foo, (int))
        (bar, (float))
    )
    (optional // names, types, and default values of all optional parameters.
        (baz, (bool) , false)
        (bonk, (std::string), "default value")
    )
)
{
    if (baz && (bar > 1.0)) return foo;
    return bonk.size();
}

Once the definition is written, using it is easy, by name or position.

function_with_named_parameters(1, 10.0);
function_with_named_parameters(7, _bar = 3.14);
function_with_named_parameters( _bar = 0.0, _foo = 42);
function_with_named_parameters( _bar = 2.5, _bonk= "Hello", _foo = 9);
function_with_named_parameters(9, 2.5, true, "Hello");

Clojure

Clojure doesn't have built-in support for named or keyword arguments, but you can use destructuring to achieve a similar effect.

(defn foo [& opts]
  (let [opts (merge {:bar 1 :baz 2} (apply hash-map opts))
        {:keys [bar baz]} opts]
    [bar baz]))

Clojure 1.2 supports destructuring of trailing arguments as a map:

(defn foo [& {:keys [bar baz] :or {bar 1, baz 2}}]
  [bar baz])

You can also use defnk from clojure.contrib.def, which is a macro that works similarly.

(use 'clojure.contrib.def)
(defnk foo [:bar 1 :baz 2]
  [bar baz])

Sample output for all variants:

user> (foo :baz 123)
[1 123]

user> (foo :bar 456)
[456 2]

Common Lisp

(defun print-name (&key first (last "?"))
  (princ last)
  (when first
    (princ ", ")
    (princ first))
  (values))

&key indicates that further parameters are named (keyword parameters); a bare symbol (e.g. first) has a default of NIL, whereas a list (e.g. (last "?")) gives the variable name and the default value (which is evaluated when the function is called, unlike Python).

CL-USER> (print-name)
?
CL-USER> (print-name :first "John")
?, John
CL-USER> (print-name :first "John" :last "Doe")
Doe, John
CL-USER> (print-name :last "Doe")
Doe

In Common Lisp, the arguments to a function are always a simple list of values; the &key facility merely defines an interpretation of that list by the function: alternating keys and values. (As a result of this, mixing varargs (&rest) with named parameters is not recommended as it requires some additional means of distinguishing them. On the other hand, functions which pass their arguments on to other functions need not handle named arguments distinctly.)

Delphi

Translation of: C++

Delphi not support named params in any version, this is a uneficient, but functional, adaptation of c++ answer.

program Named_parameters;

{$APPTYPE CONSOLE}

uses
  System.SysUtils;

type
  TParams = record
    fx, fy, fz: Integer;
    function x(value: Integer): TParams;
    function y(value: Integer): TParams;
    function z(value: Integer): TParams;
    class function _: TParams; static;
  end;

function Sum(Param: TParams): Integer;
begin
  Result := Param.fx + Param.fy + Param.fz;
end;

{ TParams }

function TParams.x(value: Integer): TParams;
begin
  Result := Self;
  Result.fx := value;
end;

function TParams.y(value: Integer): TParams;
begin
  Result := Self;
  Result.fy := value;
end;

function TParams.z(value: Integer): TParams;
begin
  Result := Self;
  Result.fz := value;
end;

class function TParams._: TParams;
begin
  Result.fx := 0;  // default x
  Result.fy := 0;  // default y
  Result.fz := 0;  // default z
end;

begin
  writeln(sum(TParams._.x(2).y(3).z(4))); // 9

  writeln(sum(TParams._.z(4).x(3).y(5))); // 12

  {$IFNDEF UNIX} readln; {$ENDIF}
end.

Dyalect

Dyalect supports both named and optional parameters.

func fun(x, y = 0, z = 12.2, dsc = "Useless text") {
    print("x=\(x), y=\(y), z=\(z), dsc=\(dsc)")
}

fun(12, z: 24.4, dsc: "Foo", y: 3)
fun(y: 42, x: 12)
Output:
x=12, y=3, z=24.4, dsc=Foo
x=12, y=42, z=12.2, dsc=Useless text

E

Since E supports arbitrary pattern matching (in the sense of Pattern Matching in parameter lists, a map-pattern can be used to provide named parameters, though the syntax is sufficiently noisy that this is not used casually.

def printName([=> first := null, => last := null]) {
    if (last == null) {
        print("?")
    } else {
        print(last)
    }
    if (first != null) {
        print(", ")
        print(first)
    }
}

(Note: In map literals and map patterns, “=> x” is shorthand for “"x" => x”.)

? printName(["first" => "John"])
?, John

? printName(["last" => "Doe"])
Doe

? printName(["first" => "John", "last" => "Doe"])
Doe, John

Ecstasy

Method and function arguments are passed in order, unless argument names are specified by the caller. Both named arguments and default values for arguments are supported. Ordered and named arguments can both be used in the same invocation, but once a named argument is specified, all subsequent arguments in the invocation must also be named.

A common example of using named arguments is a "wither" method:

module NamedParams {
    const Point(Int x, Int y) {
        Point with(Int? x=Null, Int? y=Null) {
            return new Point(x ?: this.x, y ?: this.y);
        }
    }

    @Inject Console console;

    void run() {
        Point origin = new Point(0, 0);
        console.print($"origin={origin}");
        Point moveRight = origin.with(x=5);
        console.print($"moveRight(x=5)={moveRight}");
        Point moveUp = moveRight.with(y=3);
        console.print($"moveUp(y=3)={moveUp}");
    }
}
Output:
origin=(x=0, y=0)
moveRight(x=5)=(x=5, y=0)
moveUp(y=3)=(x=5, y=3)

Elixir

The easiest and visually most appealing way to have named parameters is using a proplist as last parameter of the function.

def fun(bar: bar, baz: baz), do: IO.puts "#{bar}, #{baz}."

fun(bar: "bar", baz: "baz")

For this way to use them, order matters, as well as you can't define default values for arguments.

Erlang

At a guess "named parameters" are supposed to be used like proplists in Erlang.

Fun = fun( Proplists ) ->
    Argument1 = proplists:get_value( argument1, Proplists, 1 ),
    Kalle = proplists:get_value( kalle, Proplists, "hobbe" ),
    io:fwrite( "~p ~s~n", [Argument1, Kalle] )
end.

The function can now be called like these examples.

25> Fun( [] ).
1 hobbe
26> Fun( [{argument1, 99}] ).
99 hobbe
27> Fun( [{kalle, "gustav"}, {argument1, 9}] ).
9 gustav

F#

F# supports named method arguments directly. However they are not supported for functions, function values, or lambda functions.

This example comes from the F# documentation:

type SpeedingTicket() =
    member this.GetMPHOver(speed: int, limit: int) = speed - limit

let CalculateFine (ticket : SpeedingTicket) =
    let delta = ticket.GetMPHOver(limit = 55, speed = 70)
    if delta < 20 then 50.0 else 100.0

let ticket1 : SpeedingTicket = SpeedingTicket()
printfn "%f" (CalculateFine ticket1)

Factor

Named parameters in Factor are as simple as changing the : word to :: and using the variables defined in the stack effect declaration.

:: my-named-params ( a b -- c ) a b * ;

Forth

As with many of the other languages here, Forth does not have named parameters, but it does have practices that arise in situations where a Forth programmer might want named parameters. In Forth's case, these practices also arise when a more natural control language is wanted (e.g., LEFT ARM 36 DEGREES LIFT) or when a word would otherwise take excessively many arguments.

Two regrettably unnatural examples:

Works with: Gforth
256 buffer: first-name
256 buffer: last-name
: is ( a "name" -- )  parse-name rot place ;

: greet ( -- )
  cr ." Hello, " first-name count type space  last-name count type ." !" ;

first-name is Bob  last-name is Hall  greet


require mini-oof2.fs
require string.fs
object class
  field: given-name
  field: surname
end-class Person

: hiya ( -- )
  cr ." Hiya, " given-name $. space surname $. ." !" ;

Person new >o s" Bob" given-name $!  s" Hall" surname $!  hiya o>
Output:
Hello, Bob Hall!
Hiya, Bob Hall!

Fortran

Works with: Fortran version 95 and later

Fortran accepts named parameter and optional parameter. Arguments are always named: if the name is omitted, the order used in the definition of the function / subroutine must be used.

subroutine a_sub(arg1, arg2, arg3)
  integer, intent(in) :: arg1, arg2
  integer, intent(out), optional :: arg3
  ! ...
end subroutine a_sub
! usage
  integer :: r
  call a_sub(1,2, r)
  call a_sub(arg2=2, arg1=1)

The presence of an optional argument can be tested with PRESENT; if optional arguments come before a non optional argument, the usage of the name of the argument is mandatory.

subroutine b_sub(arg1, arg2)
   integer, intent(in), optional :: arg1
   integer, intent(in) :: arg2
   !...
end subroutine b_sub
call b_sub(1)              ! error: missing non optional arg2
call b_sub(arg2=1)         ! ok
call b_sub(1, 2)           ! ok: arg1 is 1, arg2 is 2
call b_sub(arg2=2, arg1=1) ! the same as the previous line


FreeBASIC

Translation of: Visual Basic
Dim Shared foo As Long, bar As Integer, baz As Byte, qux As String
'la función
Sub LoqueSea(foo As Long, bar As Integer, baz As Byte, qux As String)
    '...
End Sub

'llamando a la función
Sub Algo()
    LoqueSea(bar = 1, baz = 2, foo = -1, qux = "Probando")
End Sub


Go

Although Go doesn't support named parameters as such, they can be simulated using a struct with fields corresponding in name and type to the desired parameters.

A struct literal can then be passed to the function labelling the individual fields with their names. The fields need not appear in the same order as they are declared and, if one or more are omitted, they are given their 'zero' values.

Here's a simple example.

package main

import (
   "fmt"
)

type params struct {x, y, z int}

func myFunc(p params) int {
    return p.x + p.y + p.z
}

func main() {
    r := myFunc(params{x: 1, y: 2, z: 3}) // all fields, same order
    fmt.Println("r =", r)
    s := myFunc(params{z: 3, y: 2, x: 1}) // all fields, different order
    fmt.Println("s =", s)
    t := myFunc(params{y: 2})             // only one field, others set to zero
    fmt.Println("t =", t)
}
Output:
r = 6
s = 6
t = 2

Haskell

We can simulate named, but not moveable arguments, with nullary data constructors:

data X = X
data Y = Y
data Point = Point Int Int deriving Show

createPointAt :: X -> Int -> Y -> Int -> Point
createPointAt X x Y y = Point x y

main = print $ createPointAt X 5 Y 3

We can also emulate named, moveable, optional arguments with record syntax:

data Point = Point {x, y :: Int} deriving Show
defaultPoint = Point {x = 0, y = 0}

createPointAt :: Point -> Point
createPointAt = id
main = print $ createPointAt (defaultPoint { y = 3, x = 5 })

Though this is cumbersome without using template Haskell, as the call site must supply the defaults.

Icon and Unicon

Icon and Unicon do not support named parameters. There are a couple of approaches that could be adapted to provide this kind of functionality. The basic considerations are:

  • writing a string like "parm1=value" would be limiting as the value would have to be parsed and this form would be challenged to represent all data types
  • using two parameters like this (...,"parm1:=",x,"parm2:=",y,...) removes this limitation

The test procedure below includes a list of valid parameter names to check against


procedure main()
   testproc("x:=",1,"y:=",2,"z:=",3)
   testproc("x:=",3,"y:=",1,"z:=",2)
   testproc("z:=",4,"x:=",2,"y:=",3)
   testproc("i:=",1,"y:=",2,"z:=",3)
end

procedure testproc(A[])   #: demo to test named parameters
   write("Calling testproc")

   while a := get(A) do               # implement named parameters here
      (( a ? (v := =!["x","y","z"], =":=")  |   #  valid parameter name?
         stop("No parameter ",a)) &             #  . . no
            ((variable(a[1:-2]) := get(A))  |   #  assign
               runerr(205,a)))                  #  . . problem

   write("   x:=",x)
   write("   y:=",y)
   write("   z:=",z)
end
This example is in need of improvement:

there is currently a bug in Icon that causes assignments via variable("x") to fail for local and static variables. Remove this when this is fixed. The bug does not appear in Unicon.

Output:

Calling testproc
   x:=1
   y:=2
   z:=3
Calling testproc
   x:=3
   y:=1
   z:=2
Calling testproc
   x:=2
   y:=3
   z:=4
Calling testproc
No parameter i:=

J

J is similar to Perl in that all arguments to functions come in as separate elements in an array. But it is possible to emulate more complex calling conventions. For example, using the calling convention J script, one could write:

NB.  Strand notation
myFunc['c:\file.txt'  906  'blue' fs]

NB.  Commas, like other langs
myFunc['c:\file.txt', 906, 'blue' fs]

NB.  Unspecified args are defaulted ("optional")
myFunc['c:\file.txt' fs]

NB.  Can use named arguments, like eg VB
myFunc[color='blue'  fs]

NB.  Often values needn't be quoted
myFunc[color= blue   fs]

NB.  Combination of comma syntax and name=value
myFunc[max=906, color=blue fs]

NB.  Spelling of names is flexible
myFunc[MAX=906, COLOR=blue fs]

NB.  Order of names is flexible
myFunc[COLOR=blue, MAX=906  fs]

NB.  Even the delimiters are flexible...
myFunc<MAX=906, COLOR=blue fs>

For further discussion, see the corresponding thread in the J Forums.

Java

Like C++, Java also does not support named parameters. Named parameters can however be simulated simply with the "Builder pattern". (Joshua Bloch: Builder Pattern)

processNutritionFacts(new NutritionFacts.Builder(240, 8).calories(100).sodium(35).carbohydrate(27).build());

Follow the link for extra details about the 'NutritionFacts' class example.

JavaScript

JavaScript only has positional parameters, but named parameters can be emulated by passing an object with the appropriate properties:

function example(options) {
  // assign some defaults where the user's has not provided a value
  opts = {}
  opts.foo = options.foo || 0;
  opts.bar = options.bar || 1;
  opts.grill = options.grill || 'pork chops'

  alert("foo is " + opts.foo + ", bar is " + opts.bar + ", and grill is " + opts.grill);
}

example({grill: "lamb kebab", bar: 3.14});
// => "foo is 0, bar is 3.14, and grill is lamb kebab"

ECMAScript 2015 (ES6) variants

With this version, ECMAScript adds destrucuring assignments and destructuring in function parameters. Thus you could do something like this (this works in ES6 Fiddle, but is syntax error in Mozilla SpiderMonkey JS Shell, so uses console.log instead of print):

let
  example = // The member name in the object can either be the same as the parameter (as in bar, grill),
            // or a different parameter name as in the case of member foo being assigned to parameter a here.
    ({foo: a=0, bar=1, grill='pork chops'}={}) => (
      console.log('foo is ',a,', bar is ',bar,', and grill is '+grill));

example();
//  foo is 0 , bar is 1 , and grill is pork chops
example({grill: "lamb kebab", bar: 3.14});
//  foo is 0 , bar is 3.14 , and grill is lamb kebab
example({foo:null});
//  foo is , bar is 1 , and grill is pork chops

jq

jq does not strictly speaking support named function arguments, but since jq is JSON-oriented, it is possible to achieve the desired effect by using JSON objects.

For example, here is the jq analog of "print-name" defined in the Common Lisp section above. Here we format the full name and return it as a string:

def formatName(obj):
  ({ "name": "?"} + obj) as $obj  # the default default value is null
  | ($obj|.name) as $name
  | ($obj|.first) as $first
  | if ($first == null) then $name
    else $name + ", " + $first
    end;

Here are examples of how the function can be invoked:

formatName({"first": "George", "name": "Eliot"})

formatName({"name": "Eliot", "first": "George"})

formatName({"name": "Eliot"})

formatName({"first": "George"})

formatName({})

Julia

Julia supports arbitrary named keyword arguments, which are listed (with their default values) after a ; in the function definition:

function surround(string ; border = :default, padding = 0)

 ve, ho, ul, ur, dl, dr =
   border == :round  ? ("\u2502","\u2500","\u256d","\u256e","\u2570","\u256f") :
   border == :bold   ? ("\u2503","\u2501","\u250F","\u2513","\u2517","\u251b") :
   border == :double ? ("\u2551","\u2550","\u2554","\u2557","\u255a","\u255d") :
   border == :dotted ? ("\u254e","\u254c","\u250c","\u2510","\u2514","\u2518") :
   border == :cross  ? ("\u2502","\u2500","\u253c","\u253c","\u253c","\u253c") :
                       ("\u2502","\u2500","\u250c","\u2510","\u2514","\u2518")

 println(ul, ho^(length(string) + 2padding),  ur, "\n",
         ve, " "^padding, string," "^padding, ve, "\n",
         dl, ho^(length(string) + 2padding),  dr)
end
Output:
julia> surround("♡", border = :round)
╭─╮
│♡│
╰─╯

julia> surround("Julia", padding = 1, border = :double)
╔═══════╗
║ Julia ║
╚═══════╝

Kotlin

// version 1.0.6

fun someFunction(first: String, second: Int = 2, third: Double) {
    println("First = ${first.padEnd(10)}, Second = $second, Third = $third")
}

fun main(args: Array<String>) {
    // using positional parameters
    someFunction("positional", 1, 2.0)

    // using named parameters
    someFunction(first = "named", second = 1, third = 2.0)

    // omitting 2nd parameter which is optional because it has a default value
    someFunction(first = "omitted", third = 2.0)

    // using first and third parameters in reverse
    someFunction(third = 2.0, first = "reversed")
}
Output:
First = positional, Second = 1, Third = 2.0
First = named     , Second = 1, Third = 2.0
First = omitted   , Second = 2, Third = 2.0
First = reversed  , Second = 2, Third = 2.0

LabVIEW

Function calls in LabVIEW are implemented as instantiated VIs, small icons representing the function to be called. All parameters are positional, by drawing wires to different points along the icon edge. By right-clicking on the VI icon and unchecking "View as Icon", the parameter names can be shown. The parameter names are mainly informational for the user.

This image shows a VI with "View as Icon" unchecked.

This image is a VI Snippet, an executable image of LabVIEW code. The LabVIEW version is shown on the top-right hand corner. You can download it, then drag-and-drop it onto the LabVIEW block diagram from a file browser, and it will appear as runnable, editable code.

Lasso

define mymethod(
	-first::integer, // with no default value the param is required
	-second::integer,
	-delimiter::string = ':' // when given a default value the param becomes optional
) => #first + #delimiter + #second

mymethod(
	-first = 54,
	-second = 45
)
'<br />'
mymethod(
	-second = 45, // named params can be given in any order
	-first = 54,
	-delimiter = '#'
)

-> 54:45

54#45

Lingo

Lingo does not support named function parameters. But this can be simulated by using a single property list (hash) with named properties as function argument. You can also create functions that support both calling methods, like e.g. this function that accepts either 3 integers or a single property list with such named properties:

-- accepts either 3 integers or a single property list
on foo (arg1, arg2, arg3)
  if ilk(arg1)=#propList then
    args = arg1
    arg1 = args[#arg1]
    arg2 = args[#arg2]
    arg3 = args[#arg3]
  end if
  put "arg1="&arg1
  put "arg2="&arg2
  put "arg3="&arg3
end

foo(1,2) -- 3rd argument omitted
-- "arg1=1"
-- "arg2=2"
-- "arg3="

foo([#arg3:3]) -- only 3rd argument specified
-- "arg1="
-- "arg2="
-- "arg3=3"

Lua

function CreatePet(options)
  local name=options.name
  local species=options.species
  local breed=options.breed
  print('Created a '..breed..' '..species..' named '..name)
end
CreatePet{name='Rex',species='Dog',breed='Irish Setter'}
--position does not matter here.

M2000 Interpreter

We can use named parameters for modules only. Modules are like functions but can't be called from expressions. We can use current stack to return values using Push statement. Here we define type and we set values to make them optionals. Passing optionals in modules may cause problems if we have values in stack, so we can use Stack New {] to open an empty current stack (the old one is hidden until exit from that block), or using ? as "use standard value".

module namedparam (x as decimal=10, y as integer=50) {
      Print type$(x), x
      Print type$(y), y
}
namedparam 10, 20
namedparam  ?, ?
Push 1, 2 : namedparam
Stack New {
      \\ it is empty
      namedparam
      namedparam  %y=500
      namedparam  %x=20
}
namedparam %x=1, %y=1

Maple

f := proc(a, {b:= 1, c:= 1})
    print (a*(c+b));
end proc:
#a is a mandatory positional parameter, b and c are optional named parameters
f(1);#you must have a value for a for the procedure to work
                                                                                 2
f(1, c = 1, b = 2);
                                                                                 3
f(2, b = 5, c = 3);#b and c can be put in any order
                                                                                16

Mathematica /Wolfram Language

Options[fn]={Add->False,Offset-> 0};
fn[x_,y_,OptionsPattern[]]:=If[OptionValue[Add]==True,x+y+OptionValue[Offset],{x,y,OptionValue[Offset]}]
fn[3,4,{Add->True,Offset->2}]
fn[3,4,{Offset->2,Add->True}]
Output:
9
9

MATLAB / Octave

Named parameters are not natively supported. However, the following code can be used to implement them.

   function foo(varargin)
      for k= 1:2:length(varargin);
         switch (varargin{k})
         case {'param1'}
            param1 = varargin{k+1};
         case {'param2'}
            param2 = varargin{k+1};
	 end;
      end;
      printf('param1: %s\n',param1);
      printf('param2: %s\n',param2);
   end;

   foo('param1','a1','param2','b2');
   foo('param2','b2','param1','a1');

Output:

>>    foo('param1','a1','param2','b2');
param1: a1
param2: b2
>>    foo('param2','b2','param1','a1');
param1: a1
param2: b2

Modula-3

Much like Ada, Modula-3 allows either positional or keyed association of actual parameters. Defaults can also be ignored.

PROCEDURE Foo(Arg1: INTEGER; Arg2: REAL := 0.0);

It can be equivalently called as:

Foo(1, 0.0);
Foo(1);
Foo(Arg2 := 0.0, Arg1 := 1);
Foo(Arg1 := 1);

Nemerle

Foo(number : int, word = "Default", option = true) : void // note type inference with default values

Foo(word = "Bird", number = 3)        // an argument with a default value can be omitted from function call
Foo(3, option = false, word = "Bird") // unnamed arguments must be in same order as function definition and precede named arguments

Nim

In Nim, a regular parameter of a procedure can be used as either a positional or a named parameter.

proc subtract(x, y): auto = x - y

echo subtract(5, 3)         # used as positional parameters
echo subtract(y = 3, x = 5) # used as named parameters

Parameters can be made optional by providing a default argument.

Objective-C

Objective-C, like Smalltalk, has a method call syntax that is visually identical to named arguments, but they are not optional and may not be reordered. (Optional arguments may be simulated by defining multiple methods with the same leading name part.)

@interface Demo : NSObject {
    // Omitted ...
}

- (double) hypotenuseOfX: (double)x andY: (double)y;
- (double) hypotenuseOfX: (double)x andY: (double)y andZ: (double)z;

@end
@implementation Demo

- (double) hypotenuseOfX: (double)x andY: (double)y {
    return hypot(x,y);
}
- (double) hypotenuseOfX: (double)x andY: (double)y andZ: (double)z {
    return hypot(hypot(x, y), z);
}

@end
Demo *example = [[Demo alloc] init];
double h = [example hypotenuseOfX:1.23 andY:3.79];

Note in the example above that the name of the method, the selector; is actually “hypotenuseOfX:andY:”.

OCaml

You can make a named argument (called labels in OCaml) by putting a tilde (~) before the name:

# let foo ~arg1 ~arg2 = arg1 + arg2;;
val foo : arg1:int -> arg2:int -> int = <fun>

# let foo ~arg1:x ~arg2:y = x + y;; (* you can also use different variable names internally if you want *)
val foo : arg1:int -> arg2:int -> int = <fun>

# foo ~arg2:17 ~arg1:42;;
- : int = 59

Named arguments can be re-ordered, but two arguments of the same label cannot be re-ordered relative to each other.

Named arguments can be curried. If you partially apply a function on a named argument (even if the named argument is not first in the function declaration), it will evaluate to a function of the remaining arguments.

Named arguments can be made optional, with the ?(arg = value) syntax in the parameter declaration. See the optional parameters task for more details.

Oz

For methods, Oz does support named parameters with default values. The named parameters can be freely reordered.

declare
class Foo
   meth init skip end
   meth bar(PP %% positional parameter
	    named1:N1
	    named2:N2
	    namedWithDefault:NWD <= 42)
      {System.showInfo "PP: "#PP#", N1: "#N1#", N2: "#N2#", NWD: "#NWD}
   end
end

O = {New Foo init}
{O bar(1 named1:2 named2:3 namedWithDefault:4)} %% ok
{O bar(1 named2:2 named1:3)} %% ok
{O bar(1 named1:2)} %% not ok, "missing message feature in object application"

For procedures only positional parameters are supported. However, you can emulate named parameters by using records:

declare
proc {Foo PP Other=unit(named1:N1 named2:N2 ...)}
   NWD = {CondSelect Other namedWithDefault 42}
in
      {System.showInfo "PP: "#PP#", N1: "#N1#", N2: "#N2#", NWD: "#NWD}
end

{Foo 1 unit(named1:2 named2:3 namedWithDefault:4)}
{Foo 1 unit(named2:2 named1:3)}
{Foo 1 unit(named1:2)} %% not ok...

The procedure Foo is defined with pattern matching in the argument list. The ellipsis means that additional record fields are allowed. To access optional record fields, we have to explicitly try to select a field and provide a default value in case it is missing ("CondSelect").

Perl

Perl has no non-experimental formal parameters. Instead, Perl subroutines access all of their arguments through the special array @_. You can easily implement named arguments by making your function interpret @_ (or part of it) as a hash.

sub funkshun {
my %h = @_;
  # Print every argument and its value.
    print qq(Argument "$_" has value "$h{$_}".\n)
        foreach sort keys %h;
  # If a 'verbosity' argument was passed in, print its value
  # whatever that value may be.
    print "Verbosity specified as $h{verbosity}.\n" if exists $h{verbosity};
  # Say that safe mode is on if 'safe' is set to a true value.
  # Otherwise, say that it's off.
    print "Safe mode ", ($h{safe} ? 'on' : 'off'), ".\n";
}

The semantics of calling such a function follow directly from the semantics of using a hash. For instance, if you provide multiple values for the same named argument, only the last one will be used. An example call:

funkshun(
    verbosity   => 3,
    password    => 'foobie blech',
    extra_lives => 3,
    '42'        => 'answer',
    password    => 'joshua'
);

Its output:

Argument "42" has value "answer".
Argument "extra_lives" has value "3".
Argument "password" has value "joshua".
Argument "verbosity" has value "3".
Verbosity specified as 3.
Safe mode off.

Further flexibility can be obtained by using Pass by reference semantics:

sub event
{
    my ($params_ref, $name) = @_;
    my %params = %$params_ref;
    my @known_params = qw(attendees event food time);

    printf "%s called event() with the following named parameters:\n",
        $name // 'Anonymous';

    say sort map {
        sprintf "%s: %s\n",
            ucfirst $_,
            ref $params{$_} eq ref []
            ? join ', ', @{ $params{$_} }
            : $params{$_};
    } grep exists $params{$_}, @known_params;
    delete $params{$_} foreach @known_params;

    say "But I didn't recognize these ones:";
    while (my ($key, $val) = each %params)
    {
        say "$key: $val";
    }
}

event(
    {   # Curly braces with no label (e.g. 'sub' before it)
        # create a reference to an anonymous hash
        attendees => ['Bob', 'Betty', 'George', 'Bertha'],
        event     => 'birthday',
        foo       => 'bar',
        food      => 'cake',
        frogblast => 'vent core',
        time      => 3,
    },
    "Joe Schmoe"
);

Prints:

Joe Schmoe called event() with the following named parameters:
Attendees: Bob, Betty, George, Bertha
Event: birthday
Food: cake
Time: 3

But I didn't recognize these ones:
frogblast: vent core
foo: bar

This is useful when you want your function to take both named (the hash) and positional (Joe Schmoe's $name) parameters.

Phix

Library: Phix/basics

Phix supports named and optional parameters in a simple, natural, and intuitive way, erring on the side of caution when faced with potential ambiguity.
Optional parameters are simply any with a default, and any non-defaulted parameters must occur before (to the left of) such.
Named parameters can be provided in any order, but must be grouped together after (to the right of) any positional parameters.
Note that low-level builtins (those defined using AutoAsm() in psym.e/syminit()) do not [yet] support named parameters, but everything else does.

The classic example (inspired by the standard Python equivalent) is that builtins\timedate.e defines:

global function timedelta(atom weeks=0, days=0, hours=0, minutes=0, seconds=0, milliseconds=0, microseconds=0)

which can be invoked as follows:

with javascript_semantics
include timedate.e
constant days = 1, hours = 7,
         fourdays = timedelta(days:=4),
--       fourdays = timedelta(0,4) -- equivalent, **NB** a plain '=' is a very different thing:
         slipup = timedelta(days=4) -- === timedelta([weeks:=]iff(equal(days,4)?true:false))
                                      -- with error if no local/in scope identifier days exists.
         shift = timedelta(hours:=hours) -- perfectly valid (param hours:=local hours)
--               timedelta(0,hours:=15,3) -- illegal (not clear whether days:=3 or minutes:=3)
                                           -- though of course the weeks:=0 part is fine

printf(1,"fourdays = %s\n",{elapsed(fourdays)})
printf(1,"wrong = %s\n",{elapsed(slipup)})
printf(1,"shift = %s\n",{elapsed(shift)})

Note that pwa/p2js automatically maps named parameters to positional parameters for you, since JavaScript does not support named parameters.

Output:
fourdays = 4 days
wrong = 0s
shift = 7 hours

PHP

PHP doesn't support named parameters but you can simulate the behavior with PHP arrays.

function named($args) {
  $args += ["gbv" => 2,
            "motor" => "away",
            "teenage" => "fbi"];
  echo $args["gbv"] . " men running " . $args['motor'] . " from the " . $args['teenage'];
}

named(["teenage" => "cia", "gbv" => 10]);

Output:

10 men running away from the cia

PicoLisp

PicoLisp uses normally positional parameters, but 'bind' can be used to establish bindings to passed names.

Passing symbol-value pairs

(de foo @
   (bind (rest)  # Bind symbols in CARs to values in CDRs
      (println 'Bar 'is Bar)
      (println 'Mumble 'is Mumble) ) )

(foo '(Bar . 123) '(Mumble . "def"))

Passing a name list followed by values

(de foo @
   (bind (next)                # Save all symbols in first argument
      (mapc set (arg) (rest))  # then bind them to remaining arguments
      (println 'Bar 'is Bar)
      (println 'Mumble 'is Mumble) ) )

(foo '(Bar Mumble) 123 "def")

Output in both cases:

Bar is 123
Mumble is "def"

PowerShell

Positional parameters

When writing a function and not stating any parameters explicitly, such as the following function

function Test {
    Write-Host Argument 1 is $args[0]
}

the only option are positional parameters using the $args array.

Named parameters

Stating any number of parameters directly in the function definition, such as

function Test ($SomeArgument, $AnotherArgument, $ThirdArgument) {
    Write-Host "Some argument:    $SomeArgument"
    Write-Host "Another argument: $AnotherArgument"
    Write-Host "Third argument:   $ThirdArgument"
}

will cause them to be named automatically which enables the caller to state the arguments in any order. The syntax follows the convention used with cmdlets as well:

PS> Test -ThirdArgument foo -AnotherArgument bar -SomeArgument baz
Some argument:    baz
Another argument: bar
Third argument:   foo

However, one can still just give the arguments in order without explicitly having to state the names of the parameters.

Arbitrary arguments can be omitted as well:

PS> Test -ThirdArgument foo -AnotherArgument bar
Some argument:
Another argument: bar
Third argument:   foo

This will cause the omitted arguments to have the value $null

Switch parameters

Functions can have so-called switch parameters which are always boolean and either present or not. There is no need to give a value for them.

function SwitchTest ([switch] $on) {
    Write-Host Switched $(if ($on) { "on" } else { "off" })
}

When calling a function with such a parameter the switch is simply given directly (which sets its value to true) or omitted (which causes it to evaluate to false):

PS> SwitchTest
Switched off
PS> SwitchTest -on
Switched on

Optional parameters and default values

Usually all parameters can be omitted. In the case of switch parameters this will cause them to assume the value false, for normal parameters they will have the value $null. This is not always the desired value, though. Default values can be given too:

function Greeting ($Name = "Nobody") {
    Write-Host Hello, $Name!
}

If the Name argument is omitted now, its value will be "Nobody" instead of $null:

PS> Greeting
Hello Nobody!
PS> Greeting John
Hello John!

Prolog

Works with: SWI Prolog
:- initialization(main).

main :-
	sum(b=2,output=Output,a=1),
	writeln(Output).

sum(A1,B1,C1) :-
	named_args([A1,B1,C1],[a=A,b=B,output=Output]),
	Output is A + B.

named_args([],_).
named_args([A|B],C) :-
	member(A,C),
	named_args(B,C).

Python

Basic explanation

A more detailed explanation of parameters, arguments, and how they are used is in the sections below. This is a simplified explanation:

In Python, a regular parameter of a function can be used as either a positional or a named parameter. The variable name that you use for the parameter when you declare the function becomes the "name" for the parameter, should you use it as a named parameter. When you call a function, you use the "name = value" syntax to provide the argument to a named parameter. The named arguments must come after all the positional arguments.

def subtract(x, y):
    return x - y

subtract(5, 3)         # used as positional parameters; evaluates to 2
subtract(y = 3, x = 5) # used as named parameters;      evaluates to 2

Parameters can be made optional by providing a default argument, as described in the optional parameters article.

Detailed Explanation

Function Definition Parameters

Function definitions in Python allow for the following parameter types:

  • Optional default parameter types which are explicitly specified by name, and may have an optional default value.
  • An optional positional parameter which is an identifier preceded by "*".
  • And an optional keyword parameter which is an identifier preceded by "**".

If any of the parameter types are given then they must appear in the order specified above.

The syntax of function parameter declarations is more formally defined as:

funcdef        ::=  "def" funcname "(" [parameter_list] ")" ":" suite
dotted_name    ::=  identifier ("." identifier)*
parameter_list ::=  (defparameter ",")*
                    (  posparameter [, keyparameter]
                    | keyparameter
                    | defparameter [","] )
defparameter   ::=  parameter ["=" expression]
posparameter   ::=  "*" identifier
keyparameter   ::=  "**" identifier
sublist        ::=  parameter ("," parameter)* [","]
parameter      ::=  identifier | "(" sublist ")"

Function Call Arguments

The call of a function in python can use the following argument types:

  • Positional arguments that are mapped by their position in the call argument list to the defparameter name in the corresponding position of the function definition.
  • Sequence arguments that are the character "*" followed by an expression evaluating to a sequence (such as a list or tuple). The values from the sequence are unpacked and mapped like individual positional arguments to defparameters of the function definition. Sequence arguments are “evaluated before any keyword argument, irrespecctive of their relative positions in an argument list”.
  • All positional arguments must appear before any keyword argument.
  • Keyword arguments of the form parameter_name "=" value will map the value to the defparameter in the definition of the same name.
  • Mapping arguments that are the characters "**" followed by an expression evaluating to a mapping (such as a dict/hash). The key, value pairs from the mapping are unpacked and mapped like individual keyword arguments to defparameters of the function definition.
  • If the function definition includes a positional parameter, then if the assignment of positional arguments and sequence arguments in the call gives more values than the defparameters of the definition, then these extra arguments are assembled, in order, into a tuple that is assigned to the posparameter of the definition.
  • If the function definition includes a keyword parameter, then if the parameter name of any keyword arguments and mapping arguments in the call is unknown in the defparameters of the function definition, then these extra keyword/value pairs are assembled into a dict that is assigned to the keyparameter of the definition.
  • Any default parameter of the function definition that is not assigned a value at this point, but which has a default value, will be aassigned this default value, without re-evaluating the default value.
  • Any default parameter of the function definition that is still un-assigned will cause a TypeError exception to be raised.
  • In addition, multiple mappings to any parameter will raise a TypeError exception. (This includes multiple mappings into a keyparameter or keyword arguments clashing with positional/sequence arguments).

The more formal definition of a function call's syntax is

call                 ::=  primary "(" [argument_list [","]
                          | expression genexpr_for] ")"
argument_list        ::=  positional_arguments ["," keyword_arguments]
                            ["," sequence_argument] ["," keyword_arguments]
                            ["," mapping_argument]
                          | keyword_arguments ["," sequence_argument]
                            ["," mapping_argument]
                          | sequence_argument ["," sequence_argument] ["," mapping_argument]
                          | mapping_argument
positional_arguments ::=  expression ("," expression)*
keyword_arguments    ::=  keyword_item ("," keyword_item)*
sequence_argument    ::=  "*" expression
mapping_argument     ::=  "**" expression
keyword_item         ::=  identifier "=" expression

Examples

>>> from __future__ import print_function
>>>
>>> def show_args(defparam1, defparam2 = 'default value', *posparam, **keyparam):
  "Straight-forward function to show its arguments"
  print ("  Default Parameters:")
  print ("    defparam1 value is:", defparam1)
  print ("    defparam2 value is:", defparam2)

  print ("  Positional Arguments:")
  if posparam:
    n = 0
    for p in posparam:
      print ("    positional argument:", n, "is:", p)
      n += 1
  else:
    print ("    <None>")

  print ("  Keyword Arguments (by sorted key name):")
  if keyparam:
    for k,v in sorted(keyparam.items()):
      print ("    keyword argument:", k, "is:", v)
  else:
    print ("    <None>")


>>> show_args('POSITIONAL', 'ARGUMENTS')
  Default Parameters:
    defparam1 value is: POSITIONAL
    defparam2 value is: ARGUMENTS
  Positional Arguments:
    <None>
  Keyword Arguments (by sorted key name):
    <None>
>>> show_args(defparam2='ARGUMENT', defparam1='KEYWORD')
  Default Parameters:
    defparam1 value is: KEYWORD
    defparam2 value is: ARGUMENT
  Positional Arguments:
    <None>
  Keyword Arguments (by sorted key name):
    <None>
>>> show_args( *('SEQUENCE', 'ARGUMENTS') )
  Default Parameters:
    defparam1 value is: SEQUENCE
    defparam2 value is: ARGUMENTS
  Positional Arguments:
    <None>
  Keyword Arguments (by sorted key name):
    <None>
>>> show_args( **{'defparam2':'ARGUMENTS', 'defparam1':'MAPPING'} )
  Default Parameters:
    defparam1 value is: MAPPING
    defparam2 value is: ARGUMENTS
  Positional Arguments:
    <None>
  Keyword Arguments (by sorted key name):
    <None>
>>> show_args('ONLY DEFINE defparam1 ARGUMENT')
  Default Parameters:
    defparam1 value is: ONLY DEFINE defparam1 ARGUMENT
    defparam2 value is: default value
  Positional Arguments:
    <None>
  Keyword Arguments (by sorted key name):
    <None>
>>> show_args('POSITIONAL', 'ARGUMENTS',
              'EXTRA', 'POSITIONAL', 'ARGUMENTS')
  Default Parameters:
    defparam1 value is: POSITIONAL
    defparam2 value is: ARGUMENTS
  Positional Arguments:
    positional argument: 0 is: EXTRA
    positional argument: 1 is: POSITIONAL
    positional argument: 2 is: ARGUMENTS
  Keyword Arguments (by sorted key name):
    <None>
>>> show_args('POSITIONAL', 'ARGUMENTS',
              kwa1='EXTRA', kwa2='KEYWORD', kwa3='ARGUMENTS')
  Default Parameters:
    defparam1 value is: POSITIONAL
    defparam2 value is: ARGUMENTS
  Positional Arguments:
    <None>
  Keyword Arguments (by sorted key name):
    keyword argument: kwa1 is: EXTRA
    keyword argument: kwa2 is: KEYWORD
    keyword argument: kwa3 is: ARGUMENTS
>>> show_args('POSITIONAL',
              'ARGUMENTS', 'EXTRA', 'POSITIONAL', 'ARGUMENTS',
              kwa1='EXTRA', kwa2='KEYWORD', kwa3='ARGUMENTS')
  Default Parameters:
    defparam1 value is: POSITIONAL
    defparam2 value is: ARGUMENTS
  Positional Arguments:
    positional argument: 0 is: EXTRA
    positional argument: 1 is: POSITIONAL
    positional argument: 2 is: ARGUMENTS
  Keyword Arguments (by sorted key name):
    keyword argument: kwa1 is: EXTRA
    keyword argument: kwa2 is: KEYWORD
    keyword argument: kwa3 is: ARGUMENTS
>>> # But note:
>>> show_args('POSITIONAL', 'ARGUMENTS',
              kwa1='EXTRA', kwa2='KEYWORD', kwa3='ARGUMENTS',
              'EXTRA', 'POSITIONAL', 'ARGUMENTS')
SyntaxError: non-keyword arg after keyword arg
>>>

R

R parameters are all named; arguments can be passed either positionally or with explicit naming. The named arguments are matched to their parameters first, then the unnamed arguments fill in remaining slots. A parameter whose name begins with a period will not be matched to unnamed arguments. R allows abbreviated names to be used as long as they match uniquely to an argument.

divide <- function(numerator, denominator) {
  numerator / denominator
}

divide(3, 2)                       # 1.5
divide(numerator=3, denominator=2) # 1.5
divide(n=3, d=2)                   # 1.5
divide(den=3, num=2)               # 0.66
divide(den=3, 2)                   # 0.66
divide(3, num=2)                   # 0.66

Racket

Racket has built-in keyword and optional arguments:

#lang racket

(define (pizza sauce
               ;; mandatory keyword argument
               #:topping topping
               ;; optional keyword argument with default
               #:type [type "deep dish"])
  (printf "~a pizza with ~a sauce topped with ~a~n"
          type sauce topping))

(pizza "tomato" #:topping "onion")
(pizza #:topping "onion" "garlic" #:type "pan")

Raku

(formerly Perl 6)

Works with: Rakudo version #22 "Thousand Oaks"

Raku's support for optional parameters is much like Python's. Consider this declaration:

sub funkshun ($a, $b?, $c = 15, :$d, *@e, *%f) {
   ...
}

In the above signature:

  • $a is a mandatory parameter accepted by position (funkshun 15, ...).
  • $b is an optional parameter that can be passed by position or by name. By default, it's undefined.
  • $c is an optional parameter that can be passed by position or by name. Its default value is 15.
  • $d is an optional parameter that can only be passed by name. By default, it's undefined.
  • @e is a slurpy array: it receives any leftover positional arguments.
  • %f is a slurpy hash: it receives any leftover named arguments.

So, if we defined the function like this:

sub funkshun ($a, $b?, :$c = 15, :$d, *@e, *%f) {
   say "$a $b $c $d";
   say join ' ', @e;
   say join ' ', keys %f;
}

# this particularly thorny call:

funkshun
    'Alfa', k1 => 'v1', c => 'Charlie', 'Bravo', 'e1',
    d => 'Delta', 'e2', k2 => 'v2';

would print this:

Alfa Bravo Charlie Delta
e1 e2
k1 k2

REXX

version 1

/*REXX pgm shows named parameters when called as a subroutine/function*/
/*┌────────────────────────────────────────────────────────────────────┐
  │ The syntax of:   xxx = func1(parmName2=arg2, parmName1=arg1)       │
  │                                                                    │
  │ in the REXX language is interpreted specifically as:               │
  │                                                                    │
  │                  xxx = func1(    yyy       ,       zzz     )       │
  │                                                                    │
  │ where  yyy  is the logical result of comparing (the REXX variables)│
  │                                                                    │
  │                    parmName2   with   arg2                   and   │
  │                                                                    │
  │ where  zzz  is the logical result of comparing (the REXX variables)│
  │                                                                    │
  │                    parmName1   with   arg1                         │
  │                                                                    │
  │ (either as two strings,  or arithmetically if both "parmName2" and │
  │ "arg2"  are both valid REXX numbers.   In the REXX language, there │
  │ is no way to declare (define) what a variable is [or its type], as │
  │ each literal that can be a variable is assumed to be one.  If it's │
  │ not defined, then its uppercase name is used for the value.        │
  │                                                                    │
  │ Consider the one-line REXX program:    say Where are you?          │
  │ causes REXX to consider that four-word expression as a  "SAY"      │
  │ statement, followed by three REXX variables,  each of which aren't │
  │ defined (that is, have a value), so REXX uses a value which is the │
  │ uppercased value of the REXX variable name, namely three values in │
  │ this case,  so the following is displayed:   WHERE ARE YOU?        │
  │                                                                    │
  │ [There is a mechanism in REXX to catch this behavior and raise the │
  │ NOVALUE  condition.]                                               │
  │                                                                    │
  │ To allow a solution to be used for this task's requirement,  and   │
  │ and not get tangled up with the legal REXX syntactical expressions │
  │ shown,  this REXX  programming example  uses a  variation  of the  │
  │ task's illustration  to allow a  method in REXX  of using  named   │
  │ parameters:      xxx = func1('parmName2=' arg2, "parmName1=" arg1) │
  │                                                                    │
  │ Also,  REXX allows the omitting of arguments by just specifying a  │
  │ comma  (or nothing at all,  in the case of a single argument):     │
  │                                                                    │
  │                  xxx = func1(,zzz)                                 │
  │                                                                    │
  │ would indicate that the 1st argument has been omitted.             │
  │                                                                    │
  │                  xxx = func1(yyy)                                  │
  │                                                                    │
  │ would indicate that the 2nd argument  (and all other subsequent    │
  │ arguments)  has/have been omitted.                                 │
  └────────────────────────────────────────────────────────────────────┘*/

parse arg count,itemX                  /*assume 2 values have been used,*/
                                       /*or whatever ... just to show...*/
  do j=1  for arg();      _=arg(1)     /*now, lets examine each argument*/
  if arg(j,'Omitted')     then iterate /*skip examining if argJ omitted.*/
                                       /*(above)   This is superfluous, */
                                       /* but it demonstrates a method. */
  if \arg(j,"Exists")     then iterate /*exactly the same as previous.  */
                                       /*Only 1st char (2nd arg) is used*/
  first=strip(word(_,1))               /*extract the 1st word in arg(j).*/
  if right(first,1)\=='=' then iterate /*skip if 1st word isn't:  xxx=  */
  parse var _ varname '= ' value       /*parse the named variable &value*/
  if varname==''          then iterate /*not the correct format, so skip*/
                                       /*(above) fix this for real pgm. */
  call value varname,value             /*use BIF to set REXX variable.  */
  end   /*j*/

/* ∙∙∙ perform some REXX magic here with specified parameters and stuff:*/
/*     do this,  do that,  perform dis & dat, compute, gears whiz, cogs */
/*     turn,  wheels spin,  belts move, things get assigned, stuff gets */
/*     computed,  wheels spin,  belts move,  things get assigned, motors*/
/*     humm, engines roar, coal gets burned, water turns to steam, real */
/*     work (some of it useful)  gets done,  and something is produced. */

return  'the final meaning of life, or 42  --- whichever is appropriate.'
                                       /*stick a fork in it, we're done.*/

version 2

/* REXX ---------------------------------------------------------------
* 01.07.2014 Walter Pachl
* Argument values must not start with 'arg'
*--------------------------------------------------------------------*/
x=f(2,3)
Say x
Say ''
y=f('arg2='3,'arg1='2)
Say y
Exit
f: Procedure
Parse Arg p1,p2
Do i=1 to arg()
  If left(arg(i),3)='arg' Then
    Parse Value arg(i) With 'arg' j '=' p.j
  Else p.i=arg(i)
  End
Do i=1 To arg()
  Say 'p.'i'='p.i
  End
Return p.1**p.2
Output:
p.1=2
p.2=3
8

p.1=2
p.2=3
8

Ruby

Ruby 2.0 adds keyword arguments to the language. All keyword arguments are optional, because they have default values. Ruby 2.0 rejects unknown keys; example(typo: 4) raises ArgumentError. In Ruby 2.1 the mandatory default values were dropped.

Translation of: Tcl
Works with: Ruby version 2.0
def example(foo: 0, bar: 1, grill: "pork chops")
  puts "foo is #{foo}, bar is #{bar}, and grill is #{grill}"
end

# Note that :foo is omitted and :grill precedes :bar
example(grill: "lamb kebab", bar: 3.14)

Ruby 1.9 can fake the effect with a Hash. If a caller passes name: value pairs, Ruby makes a Hash, and the called method sees this Hash in its last argument. To complete the effect, the method may declare an optional last argument that defaults to an empty Hash {}. In this version, example(typo: 4) causes no error.

Works with: Ruby version 1.9
def example(opts = {})
  # Hash#merge raises TypeError if _opts_ is not a Hash.
  # Nothing checks if _opts_ contains unknown keys.
  defaults = {foo: 0, bar: 1, grill: "pork chops"}
  opts = defaults.merge(opts)

  printf("foo is %s, bar is %s, and grill is %s\n",
         opts[:foo], opts[:bar], opts[:grill])
end

example(grill: "lamb kebab", bar: 3.14)

Scala

Scala 2.8 utilizes named parameters and default values:

def add(x: Int, y: Int = 1) = x + y
scala> add(5)
6

scala> add(y=10, x=4)
14

Scheme

(define (keyarg-parser argdefs args kont)
  (apply kont
	 (map (lambda (argdef)
		(let loop ((args args))
		  (cond ((null? args)
			 (cadr argdef))
			((eq? (car argdef) (car args))
			 (cadr args))
			(else
			 (loop (cdr args))))))
	      argdefs)))

(define (print-name . args)
  (keyarg-parser '((first #f)(last "?"))
		 args
		 (lambda (first last)
		   (display last)
		   (cond (first
			  (display ", ")
			  (display first)))
		   (newline))))
=> (print-name)
?
=> (print-name 'first "John")
?, John
=>(print-name 'first "John" 'last "Doe")
Doe, John
=>(print-name 'last "Doe")
Doe

SenseTalk

The introduce handler here includes a default value for greeting. Ordinarily, parameters are passed sequentially, but by name can be used to match values from a property list to the corresponding parameters of the handler that is being called.

introduce "Mary"
introduce "Pablo", "Hola"
introduce greeting:"Bonjour", name:"Brigitte" by name

to introduce name, greeting:"Hello"
	put greeting && name
end introduce
Output:
Hello Mary
Hola Pablo
Bonjour Brigitte

Sidef

func example(foo: 0, bar: 1, grill: "pork chops") {
    say "foo is #{foo}, bar is #{bar}, and grill is #{grill}";
}

# Note that :foo is omitted and :grill precedes :bar
example(grill: "lamb kebab", bar: 3.14);
Output:
foo is 0, bar is 3.14, and grill is lamb kebab

Smalltalk

As for Objective-C the methods signature is made of "Symbol:[OtherSymbol:]*" (* stands for 0 or more repetition of the part in the brackets), without the possibility to reorder them (it would be another signature) or to make them optional.

Works with: GNU Smalltalk
Object subclass: AnotherClass [
   "..."
   initWithArray: anArray [ "single argument" ]
   initWithArray: anArray andString: aString [
        "two args; these two methods in usage resemble
         a named argument, with optional andString argument"
   ]
   "..."
]

Standard ML

This example uses Standard ML "fields".

fun dosomething (a, b, c) = print ("a = " ^ a ^ "\nb = " ^ Real.toString b ^ "\nc = " ^ Int.toString c ^ "\n")

fun example {a, b, c} = dosomething (a, b, c)

To call the procedure example, use:

example {a="Hello World!", b=3.14, c=42}

However, this does not support optional parameters. To emulate them, we can process a parameter list:

datatype param = A of string | B of real | C of int

fun args xs =
	let
	  (* Default values *)
	  val a = ref "hello world"
	  val b = ref 3.14
	  val c = ref 42
	in
	  map (fn (A x) => a := x | (B x) => b := x | (C x) => c := x) xs;
	  (!a, !b, !c)
	end

To process the argument list and call example, use:

dosomething (args [A "tam", B 42.0]);

Suneido

Suneido can handle named and unnamed parameters. When using a combination, unnamed parameters must come before named ones and must be in the correct order. Named parameters can be in any order. Named parameters are given a default value so they are not mandatory.

test = function (one, two, three = '', four = '', five = '')
    {
    Print('one: ' $ one $ ', two: ' $ two $ ', three: ' $ three $
        ', four: ' $ four $ ', five: ' $ five)
    }
test('1', '2', five: '5', three: '3')

Output:

one: 1, two: 2, three: 3, four: , five: 5

Swift

Each function parameter has both an argument label and a parameter name. The argument label is used when calling the function; each argument is written in the function call with its argument label before it. The parameter name is used in the implementation of the function. By default, parameters use their parameter name as their argument label.

func greet(person: String, hometown: String) -> String {
    return "Hello \(person)!  Glad you could visit from \(hometown)."
}
print(greet(person: "Bill", hometown: "Cupertino"))

You write an argument label before the parameter name, separated by a space:

func greet(person: String, from hometown: String) -> String {
    return "Hello \(person)!  Glad you could visit from \(hometown)."
}
print(greet(person: "Bill", from: "Cupertino"))

If you don’t want an argument label for a parameter, write an underscore (_) instead of an explicit argument label for that parameter. If a parameter has an argument label, the argument must be labeled when you call the function.

func greet(_ person: String, _ hometown: String) -> String {
    return "Hello \(person)!  Glad you could visit from \(hometown)."
}
print(greet("Bill", "Cupertino"))

You can define a default value for any parameter in a function by assigning a value to the parameter after that parameter’s type. If a default value is defined, you can omit that parameter when calling the function.

func greet(person: String, from hometown: String = "Cupertino") -> String {
    return "Hello \(person)!  Glad you could visit from \(hometown)."
}
print(greet(person: "Bill"))

Tcl

Using arrays

The simplest way of passing named parameters is to use the Tcl language's strong support for variadic commands together with its arrays. By convention (originally from Tk) the named parameters names start with a hyphen (“-”) and are called options.

proc example args {
    # Set the defaults
    array set opts {-foo 0 -bar 1 -grill "hamburger"}
    # Merge in the values from the caller
    array set opts $args
    # Use the arguments
    return "foo is $opts(-foo), bar is $opts(-bar), and grill is $opts(-grill)"
}
# Note that -foo is omitted and -grill precedes -bar
example -grill "lamb kebab" -bar 3.14
# => ‘foo is 0, bar is 3.14, and grill is lamb kebab’

More complex option parsing is possible, e.g., with the opt package (of which only a small fraction of the functionality is shown here). This package also allows you to specify type constraints, though that is usually not necessary, and will generate a standard help message that can be obtained with the -help option:

package require opt
tcl::OptProc example {
    {-foo   -int   0           "The number of foos"}
    {-bar   -float 1.0         "How much bar-ness"}
    {-grill -any   "hamburger" "What to cook on the grill"}
} {
    return "foo is $foo, bar is $bar, and grill is $grill"
}
example -grill "lamb kebab" -bar 3.14
# => ‘foo is 0, bar is 3.14, and grill is lamb kebab’
example -help
# Usage information:
#     Var/FlagName Type  Value       Help
#     ------------ ----  -----       ----
#     ( -help                        gives this help )
#     -foo         int   (0)         The number of foos
#     -bar         float (1.0)       How much bar-ness
#     -grill       any   (hamburger) What to cook on the grill

According to wiki.tcl.tk discussions, ::tcl::OptProc is deprecated. The recommended replacement is cmdline in tcllib. "This is probably the most standard and widely-used of these packages."

Using dicts

Now (8.5) that dicts are here to replace arrays in most places, this can be achieved more cleanly as long as you do the authorized key checking yourself. Example of summary testing (to put in a nice uplevel wrapper):

proc example {x y args} {
    set keyargs {arg1 default1 arg2 default2}
    if {[llength $args] % 2 != 0} {
		error "$args: invalid keyword arguments (spec: $keyargs)"
	}
	set margs [dict merge $keyargs $args]
	if {[dict size $margs] != [dict size $keyargs]} {
		error "$args: invalid keyword arguments (spec: $keyargs)"
	}
	lassign [dict values $margs] {*}[dict keys $margs]
	puts "x: $x, y: $y, arg1: $arg1, arg2: $arg2"
}
example 1 2         # => x: 1, y: 2, arg1: default1, arg2: default2
example 1 2 arg2 3  # => x: 1, y: 2, arg1: default1, arg2: 3
example 1 2 test 3  # => test 3: invalid keyword arguments (spec: arg1 default1 arg2 default2)
example 1 2 test    # => test: invalid keyword arguments (spec: arg1 default1 arg2 default2)

Of course, more work is required to reach the flexibility of something like Common Lisp's ordinary lambda list.


VBA

Translation of: Phix
Public Function timedelta(Optional weeks As Integer = 0, Optional days As Integer = 0, _
    Optional hours As Integer = 0, Optional minutes As Integer = 0, Optional seconds As Integer = 0, _
    Optional milliseconds As Integer = 0, Optional microseconds As Integer = 0) As Variant
End Function
Public Sub main()
    '-- can be invoked as:
    fourdays = timedelta(days:=4)
    '--       fourdays = timedelta(0,4) '-- equivalent
    '-- **NB** a plain '=' is a very different thing
    oneday = timedelta(days = 1) '-- equivalent to timedelta([weeks:=]IIf((days=1,-1:0))
                                        '-- with NO error if no local variable days exists.
                                        'VBA will assume local variable days=0
    Dim hours As Integer
    shift = timedelta(hours:=hours) '-- perfectly valid (param hours:=local hours)
    '-- timedelta(0,hours:=15,3) '-- illegal (it is not clear whether you meant days:=3 or minutes:=3)
                                 'VBA expects a named parameter for 3
End Sub

Visual Basic

'the function
Sub whatever(foo As Long, bar As Integer, baz As Byte, qux As String)
    '...
End Sub
'calling the function -- note the Pascal-style assignment operator
Sub crap()
    whatever bar:=1, baz:=2, foo:=-1, qux:="Why is ev'rybody always pickin' on me?"
End Sub

V (Vlang)

1) Vlang allows for a struct literal to be passed to the function, instead of named parameters.

2) Using this style, fields need not appear in the same order as they are declared.

3) If one or more fields are omitted, their default values will be used instead.

4) The named parameter feature was deliberately omitted, for greater code readability.

5) Depending on the situation, variadic and/or sum types can also be considered.

struct Params {
	a int
	b int
	c int
}

fn a_fn(p Params) int {
    return p.a + p.b + p.c
}

fn main() {
    x := a_fn(Params{a: 1, b: 2, c: 3}) // same order
    println("x = ${x}")
    y := a_fn(Params{c: 3, b: 2, a: 1}) // different order
    println("y = ${y}")
    z := a_fn(Params{c: 2})             // only one field
    println("z = ${z}")
	
}
Output:
x = 6
y = 6
z = 2

Wren

Wren doesn't support named parameters as such though they can be simulated using a map.

var printName = Fn.new { |name|
    if (!(name is Map && name["first"] != null && name["last"] !=  null)) {
        Fiber.abort("Argument must be a map with keys \"first\" and \"last\"")
    }
    System.print("%(name["first"]) %(name["last"])")
}

printName.call({"first": "Abraham", "last": "Lincoln"}) // normal order
printName.call({"last": "Trump", "first": "Donald"})  // reverse order
printName.call({"forename": "Boris", "lastname": "Johnson"}) // wrong parameter names
Output:
Abraham Lincoln
Donald Trump
Argument must be a map with keys "first" and "last"
[./named_params line 3] in new(_) block argument
[./named_params line 10] in (script)

XSLT

XSLT only allows specification of template parameters by name, not position.

<xsl:template name="table-header">
    <xsl:param name="title"/>
    ...
</xsl:template>