Glen Whitney

Three major issues I see that would need to be explored right away in a proof-of-concept for Typescript along the lines Jos just suggested: 1) Naively, we would want the...

> So now I have to ask, why do we need `typed-function`? (Is this a package that could be deprecated with Typescript?) Well, I am pretty sure we want runtime...

> how [runtime type dispatch] is being used in mathjs Every operator of mathjs is defined "piecewise" by giving its behavior on different input types. The code for a complex...

> > more can be added later. > > It feels like in TypeScript something in that model... > > I need some examples in `mathjs` where this matters. Well,...

The discussion in https://github.com/josdejong/typed-function/pull/89 is probably also relevant

Note that the Pocomath proof of concept on offer for #1975 now allows return-type annotation, which should at least in some sense be a step closer to TypeScript.

> A simpler example of the problem, if it helps: > ``` simplify("(-0.5) x + y") x * -1 / 2 + y ``` Sorry, what's the desired output in...

Happy to update this to latest mathjs develop, but need guidance on the many questions above.

Sorry about the delay in getting back on this, I've been focused on Pocomath and/or the TypeScript experiments. 1. Well, this commit does include snapshots of the output of each...

OK, I think we are clear on all of the points. I will try to move this back toward being merge-ready.