Concept for the "ultimate dependency notation" #21

New Issue

glen · 2022-07-23T15:37:45Z

glen commented

2022-07-23 15:37:45 +00:00

The idea is we should be able to just write

export const subtract = {
   'any, any': ({add, negate}) => (l, r) => add(l, negate(r))
}

and for an implementation with no dependencies

export const negate = {
   number: () => n => -n
}

(I don't see a way to make the initial () => to record no dependencies optional,
but that seems like a fairly small price to pay, and being explicit that there are no dependencies isn't terrible.)

And for signature-specific dependencies, this would be:

export const foo = {
	'any': ({'bar(string)':barS, baz}) => arg => expression(barS(arg), baz(arg)
}

This seems to simplify both the dependency specification and the function body so much that it seems well worth switching to.

The implementation idea is actually to call the implementation on a specially-Proxied object that records all the property gets, so it extracts the names of the dependencies.

The idea is we should be able to just write ``` export const subtract = { 'any, any': ({add, negate}) => (l, r) => add(l, negate(r)) } ``` and for an implementation with no dependencies ``` export const negate = { number: () => n => -n } ``` (I don't see a way to make the initial `() =>` to record no dependencies optional, but that seems like a fairly small price to pay, and being explicit that there are no dependencies isn't terrible.) And for signature-specific dependencies, this would be: ``` export const foo = { 'any': ({'bar(string)':barS, baz}) => arg => expression(barS(arg), baz(arg) } ``` This seems to simplify both the dependency specification and the function body so much that it seems well worth switching to. The implementation idea is actually to call the implementation on a specially-Proxied object that records all the property gets, so it extracts the names of the dependencies.

glen added the

enhancement

label 2022-07-23 15:37:45 +00:00

glen referenced this issue from a commit

2022-07-23 16:58:35 +00:00

feat: Switch to function-based specification of dependencies

glen referenced a pull request that will close this issue

2022-07-23 16:59:07 +00:00

feat: Switch to function-based specification of dependencies #22

glen closed this issue

2022-07-23 16:59:21 +00:00

Sign in to join this conversation.