Args | precursor-ts

Argument continuation

An ordered n-tuple of 0-or-more arbitrary values entangled together in order to evaluate functions: application constructs and pushes these onto the current continuation, while abstraction pops them off and binds them to names.

example

(reset ((shift k k) 1 #f))

example

{
  "k": {
    "_args": [
      {
        "v": 1
      },
      {
        "v": false
      }
    ],
    "_k": {}
  }
}

remarks

This is the constructor for the categorical tensor product.

see

Kont

see

Value

internal

Type parameters

T

The underlying TypeScript types which we wrap in our language.

Hierarchy

Args

Index

Constructors

constructor

Properties

_args
_k

Constructors

constructor

new Args<T>(_args: Value<T>[], _k: Kont<T>): Args<T>

- Defined in ceskm.ts:149
Type parameters
- T
Parameters
- _args: Value<T>[]
  
  Array of values to push on the stack simultaneously.
- _k: Kont<T>
  
  The next continuation.
Returns Args<T>

Class Args<T>

Type parameters

T

Hierarchy

Index

Constructors

Properties

Constructors

constructor

Type parameters

T

Parameters

_args: Value<T>[]

_k: Kont<T>

Returns Args<T>

Properties

Readonly _args

Readonly _k