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

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

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

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

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

Also enhances type inference in preparation for template types.

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

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

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

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.

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

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

a743337134 refactor: fill in stub for instantiating template type

b0fb004224 feat: Template types for Pocomath

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.

7ec9686019 feat: Homogeneous typed Tuple class using templates

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