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

refactor: Add stubs for function templates 883a351aa8

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.

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

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.

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

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

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

refactor: add stub for instantiating the template 171b6941f4

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

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

feat: Template implementations fd3d6b2eb3

refactor: Make generics more strict via templates 36e7b750ce

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