Higher Order Types and Parameters

[Sven Nilsen]

Related to #610

A Higher Order Type is written \-> T and accepts any type T or a closure returning T:

fn foo(a: \-> f64, b: \-> f64) -> \-> f64 {
    return a + b
}

The \ type operator can be thought of as specifying an unknown type ("from something") defined at runtime when calling the function. The type checker reports an error if the "from something" type does not match each other for every argument.

Examples

A higher order line:

line(a: \-> vec4, b: \-> vec4, t : \-> f64) = a + (b - a) * t

A higher order quadratic bezier:

qbez(a : \-> vec4, b: \-> vec4, c: \-> vec4, t: \-> f64) =
    line(line(a, b, t), line(b, c, t), t)

[Sven Nilsen]

An alternative is to write \T instead of \-> T.

[Sven Nilsen]

Two other alternatives are \> T or -> T.

[Sven Nilsen]

Closing, see #610 (comment)