Method

Methods are recipes that can take arguments to "fill in the blanks".

in FatScript, we refer to all functions as Methods, irrespective of their definition context

Definition

A method is anonymously defined with a thin arrow ->, like so:

<parameters> -> <recipe>

Parameters can be omitted if none are needed:

-> <recipe>  # arity zero

To register a method to the scope, assign it to an identifier:

<identifier> = <parameters> -> <recipe>

Parameters within a method's execution scope are immutable, ensuring that the method's operations do not alter their original state. For mutable behavior, consider passing a scope or utilizing a custom type capable of encapsulating multiple values and states.

Optional parameters

While method signatures typically require a fixed number of mandatory parameters, FatScript supports optional parameters through default values:

greet = (name: Text = 'World') -> {
  'Hello, {name}'
}

greet()  # 'Hello, World'

In this example, the name parameter is optional, defaulting to 'World' if no argument is provided. This feature allows for more flexible method invocations.

Argument handling

Method calls in FatScript are designed to accept more arguments than required; extra arguments are simply ignored. This behavior is part of the language's design to enhance flexibility and performance.

Auto-return

FatScript uses auto-return, meaning the last standing value is returned:

answer: Method = (theGreatQuestion) -> {
  # TODO: explain Life, the Universe and Everything
  42
}

answer('6 x 7 = ?')  # outputs: 42

Return type safety

In FatScript, one peculiarity is that even when you declare a method with a specific return type, the language allows for null values, like in:

fn = (arg: Text): Text -> ... ? ... : null

This means that while the method is declared to return Text, the return value is, in a sense, optional because the method can also return Void. The only strict guarantee is that if the method tries to return an incompatible type, such as a Number or Boolean, a TypeError will be raised. This design choice introduces implicit flexibility while still maintaining a degree of type safety.

If you need to ensure a non-null outcome, you can wrap your call with Option like this:

Option(fn(myArg)).getOrElse('fallbackVal')

Automatic calls

FatScript introduces a unique feature that simplifies method calls, when no arguments are involved. This feature is known as the "automatic call trick" and it offers several key benefits:

  • Reduced Boilerplate: Reduces the need for parentheses, making code cleaner and more concise, for zero-parameter methods that act like properties.

  • Dynamic Computation: Allows for dynamic computation with outputs that can change based on the object's internal or global state.

  • Deferred Execution: Enables deferred execution, useful in asynchronous programming and complex initialization patterns.

Basic usage

In FatScript, a method defined without parameters is executed "automagically" when referenced:

foo = {
  bar = -> 'Hello!'
}

# Both lines below output 'Hello!'
foo.bar()  # explicit call
foo.bar    # automatic call

Referencing

To reference a method without triggering the automatic calling feature, you can use the the get syntax:

foo('bar')  # yields a reference to foo.bar, without calling it

FatScript also offers self and root keywords to reference methods at the local and global levels, respectively:

self('myLocalMethod')
root('myGlobalMethod')

Avoiding an automatic call

The tilde ~ operator allows you to bypass the automatic call feature, providing flexibility in method handling:

# Both lines below fetch the method reference, without calling it
foo.~bar
~ myMethod

Or you can simply wrap the method call into yet another (anonymous) method:

-> foo.bar

Passing methods as arguments

There's an important exception when it comes to passing methods as arguments, specifically in the case of a local method:

another(bar)  # passes `bar` as a reference, without executing it

however, this does not apply with chaining: another(foo.bar) passes the result of bar, not the reference

In this case, to pass the value resulting of the local method bar, an explicit call must be made:

another(bar())

this behavior might seem counterintuitive, but it is extremely useful in various use cases, such as when passing methods to reduce, to an asynchronous task, to a mapping operation etc.

Implicit argument

A convenience offered by FatScript is the ability to reference a value passed to the method without explicitly specifying a name for it. In this case, the implicit argument is represented by the underscore _.

Here's an example that illustrates the use of implicit argument:

double = -> _ * 2
double(3)  # output: 6

You can use an implicit argument whenever you need to perform a simple operation on a single parameter without assigning a specific name to it, but note that the method must have arity zero to trigger it.

Tail Recursion Optimization

starting with version 3.2.0

FatScript supports Tail Recursion Optimization (TRO) to enhance performance by conserving stack space. To benefit from this optimization, several conditions must be satisfied:

  1. Explicit parameters: Methods must explicitly declare parameters; the implicit argument feature is not supported for TRO.

  2. Flow control: TRO is only compatible with If-Else, Cases, and Switch constructs for branching.

  3. Call structure: Nested method calls, such as x(a)(b)(c), are not supported for TRO.

  4. Recursive calls: The method must call itself recursively by name as the final operation in its execution path.

For example, a function correctly set up for TRO might look like this:

tailRec = (n: Number, m: Number): Void -> {
  n > m => console.log('done')
  _     => {
    console.log(n)
    tailRec(n + 1, m)
  }
}

In this example, tailRec recursively calls itself as the final operation in one of the branches, making it eligible for optimization.

You can check if TRO has been enabled for your method using static analysis with the fry --probe option.

TRO can be disabled by wrapping the recursive call within parentheses, as shown below:

  ...
  (tailRec(n + 1, m))  # no TRO

See also

results matching ""

    No results matching ""