Introduce BooleanT and boolean functions #17

Merged
glen merged 7 commits from booleans into main 2025-04-13 16:29:53 +00:00

7 commits

Author SHA1 Message Date
447c62eae9 fix: clear behaviors that depend on an object property
All checks were successful
/ test (pull_request) Successful in 17s
2025-04-13 02:00:20 -07:00
b2b41d6348 feat: factories can depend on the presence of types
All checks were successful
/ test (pull_request) Successful in 17s
Refactors each TypeDispatcher to have its own separate collection
  of types. Add isnan function which returns a boolean if that type
  is present, otherwise returns the number 1 for true, and 0 for fase.
2025-04-13 01:35:10 -07:00
a7673216c1 chore: add boolean test files omitted earlier
All checks were successful
/ test (pull_request) Successful in 18s
2025-04-13 00:14:56 -07:00
4b81fbe6e2 feat: add conversions to boolean and make mandatory
Some checks failed
/ test (pull_request) Failing after 16s
2025-04-12 07:46:15 -07:00
f38a2d5e88 test: ensure that a function requiring conversion depends on converter
All checks were successful
/ test (pull_request) Successful in 17s
This test turned out to be a very discerning one. Adding it uncovered
  numerous bugs, large and small, in the TypeDispatcher. The most major
  one was that a Map distinguishes keys by strict equality, and hence
  since every lookup for a cached behavior was using a newly-generated array
  of types, the cache was never being hit. So it looked like methods were
  being updated as dependencies changed, when what was really happening
  was that the behavior was simply being regenerated from scratch on every
  call, which would not be performant as the prototype scaled.
  This bug is now fixed (by switching to a third-party ArrayKeyedMap), along
  with many smaller bugs too numerous to list.

  It should now be feasible to go through Pocomath and add all of the functions
  that depend on numbers and booleans only.
2025-04-12 00:07:18 -07:00
bfc64f3789 feat: implicit convert BooleanT to NumberT
All checks were successful
/ test (pull_request) Successful in 19s
Also adds implicit conversion configuration option to Type constructor,
  and institutes a numbers-only bundle, and supports argument matching
  with implicit conversions.

  Still need to test that a behavior that invokes implicit conversion ends up
  with the conversion operation as a dependency (and so regenerates itself if
  the conversion changes).
2025-04-10 22:47:30 -07:00
5bee93dbb3 refactor: prepare for boolean functions
All checks were successful
/ test (pull_request) Successful in 19s
* Defines a BooleanT type
  * adds options to the Type constructor, so far just to allow conversions
    from other types
  * renames Number type to NumberT
  * records the name of types, and puts the name in the string representation
  * defines a conversion fron BooleanT to NumberT, specified to be automatic
  * stub code for automatic conversions, not yet complete
  * BooleanT not yet added to nanomath

Checked that the new facilities do not disrupt the prior behavior on numbers.
2025-04-10 14:01:45 -07:00