feat: Template operations #41

glen · 2022-08-01T10:09:09Z

glen commented

2022-08-01 10:09:09 +00:00

Relational functions are added using templates, and existing generic functions are made more strict with them. Also a new built-in typeOf function is added, that automatically updates itself.

Resolves #34.

Relational functions are added using templates, and existing generic functions are made more strict with them. Also a new built-in typeOf function is added, that automatically updates itself. Resolves #34.

glen added 10 commits 2022-08-01 10:09:10 +00:00

883a351aa8 refactor: Add stubs for function templates

The stubs are so far all no-ops so basically at the moment the only
  allowed template parameter 'T' is just a synonym for 'any'. But at least
  this allows us to put the definition of the generic `subtract` into
  the exact form we actually want to support.

d4a4d8f331 refactor: track all the 'prior types' of a type as types are installed

These are exactly the types that might match before the given type, and
  hence which require to have their template instantiations defined when
  an instantiation with the given type is made.

5c3716ff99 refactor: Avoid use of a "magic string " 'T'

0fbcbf661e refactor: separate the generation of a typed-function implementation

5cea71cb25 refactor: isolate in the code the point of template instantiation

171b6941f4 refactor: add stub for instantiating the template

7bbdc049ce refactor: add stub for patch to generic template behavior

1076c3c727 feat: add built-in typeOf operator to PocomathInstance

fd3d6b2eb3 feat: Template implementations

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.

glen merged commit fe54bc6004 into main

2022-08-01 10:09:32 +00:00

glen referenced this issue from a commit

2022-08-01 10:09:33 +00:00

feat: Template operations (#41)

Sign in to join this conversation.

No reviewers