Commit Graph

5 Commits

Author SHA1 Message Date
31add66f4c feat: Return type annotations ()
Provides the infrastructure to allow annotating the return types of functions, and does so for essentially every operation in the system (the only known exceptions being add, multiply, etc., on arbitrarily many arguments).

One main infrastructure enhancements are bounded template types, e.g. `T:number` being a template parameter where T can take on the type `number` or any subtype thereof.

A main internal enhancement is that base template types are no longer added to the typed universe; rather, there is a secondary, "meta" typed universe where they live. The primary point/purpose of this change is then the necessary search order for implementations can be much better modeled by typed-function's search order, using the `onMismatch` facility to redirect the search from fully instantiated implementations to the generic catchall implementations for each template (these catchalls live in the meta universe).

Numerous other small improvements and bugfixes were encountered along the way.

Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: 
2022-08-30 19:36:44 +00:00
845a2354c9 feat: Template types ()
Includes a full implementation of a type-homogeneous Tuple type, using the template types
  feature, as a demonstration/check of its operation.

Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: 
2022-08-05 12:48:57 +00:00
9fb3aa2959 feat: Switch to function-based specification of dependencies
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/41525264

  Resolves .
2022-07-23 09:55:02 -07:00
b72212d929 fix: Prevent PocomathInstance from clobbering its own methods
Resolves .
2022-07-22 14:25:26 -07:00
0069597a76 fix: Separate typed instance for each PocomathInstance ()
Also starts each PocomathInstance with no types at all, and uses the new
  situation to eliminate the need for a Complex "base case".

  Resolves .
  Resolves .

Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: 
2022-07-22 20:49:14 +00:00