Function Schemable

[jacob-alford]

WithFunction will be a schemable mostly useful for deriving TypeScriptNodes. I don't think it can have much use outside of that, for example Decoder can detect the number of parameters, but not the types of those parameters.

[jacob-alford]

My concern with a function Schemable is that it might make it seem that it's possible to guard for/decode an unknown to a function of known shape.

Consider the following:

const f: (a: string, b: string) => string = (a, b) => `${a}${b}`

const Fn = S.Function([S.Number, S.Number], S.Number)

const guard = getGuard(Fn)

guard.is(f) // true

I'm not sure if it's possible to guard/decode that

[jacob-alford]

Maybe this is a good argument to really push for dynamic requirements