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