This commit also adds a built-in `typeOf` function to every PocomathInstance.
It also adds a notation (prefix '!') for "eager" templeates that
instantiate themselves for all types immediately upon definition.
These are exactly the types that might match before the given type, and
hence which require to have their template instantiations defined when
an instantiation with the given type is made.
The stubs are so far all no-ops so basically at the moment the only
allowed template parameter 'T' is just a synonym for 'any'. But at least
this allows us to put the definition of the generic `subtract` into
the exact form we actually want to support.
This should eventually be moved into typed-function itself, but for
now it can be implemented on top of the existing typed-function.
Uses subtypes to define (and error-check) gcd and lcm, which are only
defined for integer arguments.
Resolves#36.
Merging of Pocomath modules is eased by allowing one PocomathInstance to
be merged into another. That allows types, for example, to be exported
as a PocomathInstance (so there is no need for a special identifier
convention for types; they can be directly added with an installType
method). Also, larger modules can just be exported as an instance, since
there is more flexibility and more checking in merging PocomathInstances
than raw modules.
This allows types to be collected; prior to this commit they
were conflicting from different modules.
Uses this fix to extend sqrt to bigint, with the convention
that it is undefined for non-perfect squares when 'predictable'
is false and is the "best" approximation to the square root when
'predictable' is true. Furthermore, for negative bigints, you might
get a Gaussian integer when predictable is false; or you will just get
your argument back when 'predictable' is true because what other
bigint could you give back for a negative bigint?
Also had to modify tests on the sign in sqrt(Complex) and add functions
'zero' and 'one' to get types to match, as expected in #27.
Adds numerous tests.
Resolves#26.
Resolves#27.
Also implements a config object that upon change, lazily invalidates
all operations that access it.
Also allows references to signatures with nonexistent types (which
typed-function does not); they come back as undefined.
Uses these features to implement sqrt for number and complex.
Resolves#7.
Allows dependencies to be economically expressed and used.
For example, see the new definition of subtract.
Credit for the basic idea goes to James Drew, see
https://stackoverflow.com/a/41525264Resolves#21.
Also starts each PocomathInstance with no types at all, and uses the new
situation to eliminate the need for a Complex "base case".
Resolves#14.
Resolves#13.
Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: #15
Namely, a README describing the proof-of-concept,
a custom selective loader, and some additional tests.
Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: #5
This PR also uses such self-reference to define negate and add
for Complex numbers in a way that is independent of component types.
Also adds a bigint type and verifies that pocomath will then handle
Gaussian integers "for free".
Ensures that if one function is invalidated, then any that depend on it will be.
Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: #4
Glen Whitney