WOLFRAM

Wolfram Language & System Documentation Center

"FunctionType" ()

{ty1, ty2, …}tyres

represents a function type with specified argument and result types.

Details

  • Function types can be used in Typed and related constructs to specify a type.

Expression Conversions

    From Expressions

  • CompiledCodeFunction expressions can be converted into compiled code elements with function types.

    • To Expressions

  • A code element representing a function type cannot currently be converted into an expression.

Examples

Basic Examples  (1)

Function types can be used as an input to a CompiledCodeFunction. Create a function that takes a "MachineInteger" as argument:

Wolfram Language code: cf1 = FunctionCompile[Function[Typed[arg, "MachineInteger"], arg + 1]]

A function with argument of a function and a number:

Wolfram Language code: cf2 = FunctionCompile[Function[{Typed[fun, {"MachineInteger"} -> "MachineInteger"], Typed[arg, "MachineInteger"]}, fun[arg]]]

Call the function passing in the appropriate arguments:

Wolfram Language code: cf2[cf1, 10]