feat: Template types #45

glen · 2022-08-05T12:48:38Z

glen commented

2022-08-05 12:48:38 +00:00

Includes a full implementation of a type-homogeneous Tuple type, using the template types
feature, as a demonstration/check of its operation.

Includes a full implementation of a type-homogeneous Tuple type, using the template types feature, as a demonstration/check of its operation.

glen added 10 commits 2022-08-05 12:48:38 +00:00

refactor: Tighten definition of complex gcd to just GaussianInteger 1b8314c0cc

feat(gcd,lcm): Allow arbitrarily many arguments 880efac15b

And add an 'associate' predicate for two complex numbers to check the results

fix(templates): Enhance the catchall to call the correct specialization 5dab7d64e7

Also enhances type inference in preparation for template types.

test(templates): Add one more (unfortunate) test case 01658b13c2

test(templates): Check that unjoinable types are detected 21ce098f98

feat(Tuple): Stub for a template type 27bf23db54

This adds the target initial definition of a homogeneous Tuple<T>
  type, and just enough processing that the type can be defined and
  non-template methods that deal with the generic base type Tuple can
  be called. Still has no actual template instantiation.

refactor: Include more code that should work for instantiating type templates e82bcf5a9c

In particular, there is now an empty stub for the function that actually
  installs the instantiations into the PocomathInstance

refactor: fill in stub for instantiating template type a743337134

feat: Template types for Pocomath b0fb004224

Tuple<T> and a couple of functions on it are now working according to
  the target spec. As desired, no instantiations of a template type
  are made until some function that takes an instantiation is called.

feat: Homogeneous typed Tuple class using templates 7ec9686019

glen merged commit 845a2354c9 into main

2022-08-05 12:48:57 +00:00

glen referenced this issue from a commit

2022-08-05 12:48:57 +00:00

feat: Template types (#45)

glen referenced this pull request

2022-08-06 15:43:38 +00:00

Template types #31

Sign in to join this conversation.

No reviewers