Commit Graph

Select branches

Hide Pull Requests

benchmark

main

polynomialRoot

return_types

template_operations

template_types

#1

#12

#15

#16

#17

#18

#19

#2

#22

#23

#25

#28

#3

#33

#35

#37

#4

#40

#41

#42

#43

#44

#45

#46

#48

#5

#50

#53

#57

Mono Color

• f1a2d04f4b feat: working benchmark of pocomath benchmark Glen Whitney 2023-08-15 17:38:31 -0700
• 0dbb95bbbe feat(polynomialRoot) (#57) main Glen Whitney 2022-12-01 17:47:20 +0000
• d76eddc7a5 feat(polynomialRoot): Complete implementation #57 polynomialRoot Glen Whitney 2022-12-01 12:40:05 -0500
• 269b9f5fc6 refactor(core): Resolve partial self-references at Pocomath level Glen Whitney 2022-11-30 09:00:39 -0500
• c4b1ac9045 feat(polynomialRoot): Progress commit, quadratic implemented Glen Whitney 2022-11-30 08:55:12 -0500
• de52c041e5 feat(polynomialRoot): Initial implementation (linear only) Glen Whitney 2022-11-26 17:28:19 -0500
• 31add66f4c feat: Return type annotations (#53) Glen Whitney 2022-08-30 19:36:44 +0000
• d83f2a7f23 feat: Instantiate instances of template instantiation need for self-reference #53 return_types Glen Whitney 2022-08-30 15:15:23 -0400
• be9794fd4c feat(ops): Provide return types in all of the operation-centric examples Glen Whitney 2022-08-29 21:30:32 -0400
• 1ee6da4294 feat(number): Provide return types for all operations Glen Whitney 2022-08-29 21:18:59 -0400
• 3957ae8adf feat: Add return types for all generic operations Glen Whitney 2022-08-29 19:42:48 -0400
• 23b3ef4fdd feat(Complex): Define return types of all operations Glen Whitney 2022-08-29 11:10:34 -0400
• de42c22ab4 refactor: Convert resolution to two-tier system Glen Whitney 2022-08-29 09:30:07 -0400
• a2f76a55b8 feat(return types): Add more return types for complex functions Glen Whitney 2022-08-26 23:54:32 -0400
• bc434c7163 feat(bigint): Specify return types for all methods Glen Whitney 2022-08-24 20:59:30 -0400
• 0950d7d585 feat(PocomathInstance): Specify return types of all core methods Glen Whitney 2022-08-24 19:34:33 -0400
• 775bb9ddb7 feat(returnTypeOf): Support template and upper bound types Also changed the notation for an upper bound template to the more readable 'T:number' (instead of 'T (= number', which was supposed to look like the non-strict subset relation). Glen Whitney 2022-08-24 13:37:32 -0400
• f7bb3697ed feat(PocomathInstance): Add bounded template parameters Glen Whitney 2022-08-22 12:38:23 -0400
• dc6921e768 feat(PocomathInstance): Add subtypesOf and isSubtypeOf methods Glen Whitney 2022-08-12 09:10:53 -0700
• 340dbd436e feat(PocomathInstance): Add .returnTypeOf method Glen Whitney 2022-08-11 23:51:47 -0700
• 95f6ccc5a0 refactor: Put return types as properties on implementations Glen Whitney 2022-08-11 08:13:10 -0700
• 4b28f8eac0 refactor: Add a stub for supplying return type information Glen Whitney 2022-08-10 12:00:06 -0700
• 207ac4330b doc(README): Add a note about adopting 3rd party types Glen Whitney 2022-08-07 16:38:15 +0000
• 9267a8df60 Merge pull request 'feat: Generic numerical types' (#50) from numeric_adapter into main Glen Whitney 2022-08-07 16:34:43 +0000
• bcbb24acd2 feat: Generic numerical types #50 Glen Whitney 2022-08-07 09:19:27 -0700
• 199ffd2654 doc(README): Add brief notes about new template facilities Glen Whitney 2022-08-07 03:34:39 +0000
• 28ccbf8d48 Merge pull request 'feat(quaternion): Add convenience quaternion creator function' (#48) from quaternion into main Glen Whitney 2022-08-07 03:27:46 +0000
• e26df5f4fc feat(quaternion): Add convenience quaternion creator function #48 Glen Whitney 2022-08-06 20:13:50 -0700
• 40619b9a2e Merge pull request 'refactor(Complex): Now a template type!' (#46) from template_complex into main Glen Whitney 2022-08-06 15:42:19 +0000
• 1444b9828f refactor(Complex): Now a template type! #46 Glen Whitney 2022-08-06 08:27:44 -0700
• 845a2354c9 feat: Template types (#45) Glen Whitney 2022-08-05 12:48:57 +0000
• 7ec9686019 feat: Homogeneous typed Tuple class using templates #45 template_types Glen Whitney 2022-08-05 05:44:28 -0700
• b0fb004224 feat: Template types for Pocomath Glen Whitney 2022-08-04 08:23:14 -0700
• a743337134 refactor: fill in stub for instantiating template type Glen Whitney 2022-08-03 19:57:11 -0700
• e82bcf5a9c refactor: Include more code that should work for instantiating type templates Glen Whitney 2022-08-03 17:55:53 -0700
• 27bf23db54 feat(Tuple): Stub for a template type Glen Whitney 2022-08-03 11:27:40 -0700
• 21ce098f98 test(templates): Check that unjoinable types are detected Glen Whitney 2022-08-03 10:20:34 -0700
• 01658b13c2 test(templates): Add one more (unfortunate) test case Glen Whitney 2022-08-03 09:42:13 -0700
• 5dab7d64e7 fix(templates): Enhance the catchall to call the correct specialization Glen Whitney 2022-08-03 09:35:11 -0700
• 880efac15b feat(gcd,lcm): Allow arbitrarily many arguments Glen Whitney 2022-08-02 10:32:06 -0700
• 1b8314c0cc refactor: Tighten definition of complex gcd to just GaussianInteger Glen Whitney 2022-08-02 09:52:39 -0700
• fd32ee1f10 Merge pull request 'feat(install): Allow plain functions' (#44) from install_plain into main Glen Whitney 2022-08-02 07:50:14 +0000
• 8418817f9f feat(install): Allow plain functions #44 Glen Whitney 2022-08-02 00:47:37 -0700
• 0ce4de086c Merge pull request 'feat(Chain): add computation pipelines like mathjs' (#43) from chainify into main Glen Whitney 2022-08-01 23:28:32 +0000
• 814f660000 feat(Chain): add computation pipelines like mathjs #43 Glen Whitney 2022-08-01 16:24:20 -0700
• 46ae7f78ab Merge pull request 'feat(floor): Provide example of op-centric organization' (#42) from op_centric into main Glen Whitney 2022-08-01 15:30:10 +0000
• 7d1a435aa0 feat(floor): Provide example of op-centric organization #42 Glen Whitney 2022-08-01 08:28:21 -0700
• fe54bc6004 feat: Template operations (#41) Glen Whitney 2022-08-01 10:09:32 +0000
• 36e7b750ce refactor: Make generics more strict via templates 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. #41 template_operations Glen Whitney 2022-08-01 02:57:38 -0700
• fd3d6b2eb3 feat: Template implementations Glen Whitney 2022-07-31 23:33:58 -0700
• 1076c3c727 feat: add built-in typeOf operator to PocomathInstance Glen Whitney 2022-07-31 21:26:16 -0700
• 7bbdc049ce refactor: add stub for patch to generic template behavior Glen Whitney 2022-07-31 21:08:28 -0700
• 171b6941f4 refactor: add stub for instantiating the template Glen Whitney 2022-07-31 10:01:20 -0700
• 5cea71cb25 refactor: isolate in the code the point of template instantiation Glen Whitney 2022-07-31 09:44:36 -0700
• 0fbcbf661e refactor: separate the generation of a typed-function implementation Glen Whitney 2022-07-31 09:36:45 -0700
• 5c3716ff99 refactor: Avoid use of a "magic string " 'T' Glen Whitney 2022-07-31 09:13:41 -0700
• d4a4d8f331 refactor: track all the 'prior types' of a type as types are installed Glen Whitney 2022-07-31 00:17:36 -0700
• 883a351aa8 refactor: Add stubs for function templates Glen Whitney 2022-07-30 09:40:47 -0700
• 2609310b8e Merge pull request 'feat(Complex): support division' (#40) from complex_division into main Glen Whitney 2022-07-31 18:09:52 +0000
• 102a7c42dc feat(Complex): support division #40 Glen Whitney 2022-07-31 11:08:07 -0700
• 6775b66686 Merge pull request 'feat: Implement subtypes' (#37) from subtypes into main Glen Whitney 2022-07-30 12:02:45 +0000
• c429c19dfe feat: Implement subtypes #37 Glen Whitney 2022-07-30 04:59:04 -0700
• 4d38f4161c Merge pull request 'test: Check for undefined types, as a means to detect typos in type names' (#35) from check_type_names into main Glen Whitney 2022-07-30 02:45:44 +0000
• 81127b8a9b test: Check for undefined types, as a means to detect typos in type names #35 Glen Whitney 2022-07-29 19:43:24 -0700
• 31d3be277d Merge pull request 'refactor: Simpler merging mechanism' (#33) from merge_instances into main Glen Whitney 2022-07-29 04:42:05 +0000
• d9d7af961f refactor: Simpler merging mechanism #33 Glen Whitney 2022-07-27 22:28:40 -0700
• 58fa661a2d Merge pull request 'fix(Types): Move distinct types into distinct identifiers' (#28) from bigint_sqrt into main Glen Whitney 2022-07-25 19:54:56 +0000
• f68c7bd1fb fix(Types): Move distinct types into distinct identifiers #28 Glen Whitney 2022-07-25 11:56:12 -0700
• e5cce2eaff Document new features in README. Glen Whitney 2022-07-25 11:44:19 +0000
• b21d2b59fa Merge pull request 'feat: Implement signature-specifc reference' (#25) from specific_signature into main Glen Whitney 2022-07-25 11:33:50 +0000
• 91ec20edd8 feat: Implement signature-specifc reference #25 Glen Whitney 2022-07-25 04:20:13 -0700
• 79f261ff65 Merge pull request 'feat(Types): Improve type spec and ignore signatures that use unknown type' (#23) from forgiving_types into main Glen Whitney 2022-07-24 19:53:40 +0000
• 358f68fbbd feat(Types): Improve type spec and ignore signatures that use unknown type #23 Glen Whitney 2022-07-24 12:52:05 -0700
• 890752a1e7 Merge pull request 'feat: Switch to function-based specification of dependencies' (#22) from ultimate_notation into main Glen Whitney 2022-07-23 16:59:21 +0000
• 9fb3aa2959 feat: Switch to function-based specification of dependencies #22 Glen Whitney 2022-07-23 09:55:02 -0700
• d72c443616 feat: Add and illustrate multiple ways of specifying implementations (#19) Glen Whitney 2022-07-23 05:06:48 +0000
• 0002a55bcb doc: describe the added implementation notations #19 Glen Whitney 2022-07-22 22:04:58 -0700
• 81ff04f88f feat: Additional notations for specifying dependencies and implementations Allow just a plain function for when there are no dependencies, and allow an object with 'uses' and 'does' properties for the dependencies (optional) and implementation, respectively. Glen Whitney 2022-07-22 21:48:06 -0700
• 2ef0b5b263 feat(PocomathInstance): Add use(deps, imp) function for defining signatures Glen Whitney 2022-07-22 19:49:10 -0700
• 4fdafc751e feat: Add a couple of ways to install generics safely. (#18) Glen Whitney 2022-07-23 02:41:59 +0000
• e48d927b5f feat(PocomathInstance): Add importDependencies to follow the dependency graph #18 Glen Whitney 2022-07-22 19:40:29 -0700
• 0fba6544b4 feat: A module that supplies subtract and its dependencies (for numbers) Glen Whitney 2022-07-22 18:56:31 -0700
• 2a60cc0989 Merge pull request 'refactor: Use Object.defineProperty with a getter to invalidate' (#17) from no_invalid into main Glen Whitney 2022-07-22 22:09:17 +0000
• e6699ce642 refactor: Use Object.defineProperty with a getter to invalidate #17 Glen Whitney 2022-07-22 15:06:56 -0700
• 4a2d53a68a Merge pull request 'fix: Prevent PocomathInstance from clobbering its own methods' (#16) from protect_reserve into main Glen Whitney 2022-07-22 21:29:17 +0000
• b72212d929 fix: Prevent PocomathInstance from clobbering its own methods #16 Glen Whitney 2022-07-22 14:25:26 -0700
• 0069597a76 fix: Separate typed instance for each PocomathInstance (#15) Glen Whitney 2022-07-22 20:49:14 +0000
• 8070754fb9 doc: new special key for PocomathInstance.install #15 Glen Whitney 2022-07-22 13:46:38 -0700
• cf8ad1edfc chore: Remove complex 'base cases' that are no longer needed Glen Whitney 2022-07-22 13:40:40 -0700
• 6e7f244c33 fix: Each typed instance must have its own typed universe Glen Whitney 2022-07-22 13:29:59 -0700
• ed71b15969 Merge pull request 'fix: Avoid files that differ just by case' (#12) from no_case_duplicates into main Glen Whitney 2022-07-22 16:47:09 +0000
• 664f30ddef fix: Avoid files that differ just by case #12 Glen Whitney 2022-07-22 09:45:58 -0700
• 89f4977e78 doc: Move an incorrectly placed comment Glen Whitney 2022-07-20 02:57:46 +0000
• 9a63389a4c doc: Fix a couple of typos in README Glen Whitney 2022-07-20 02:53:29 +0000
• a16d6a5ce3 feat: Add all remaining features of original Picomath PoC (#5) Glen Whitney 2022-07-19 19:37:52 +0000
• ac826916ec feat: Add all remaining features of original Picomath PoC #5 Glen Whitney 2022-07-19 12:34:36 -0700
• 92485678f1 feat: Add (and test) a custom loader for extending existing ops to Complex Glen Whitney 2022-07-19 12:08:18 -0700
• 84a8b9d5c4 feat: Allow self-reference in implementations (#4) Glen Whitney 2022-07-19 18:54:22 +0000
• 4999cad775 fix: prevent obsolete typed-functions from hanging around #4 Glen Whitney 2022-07-19 11:48:52 -0700
• 66cbccfbbe feat: Allow self-reference in implementations Glen Whitney 2022-07-19 11:16:29 -0700