glen/typocomath
2
0
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity
14 Commits 20 Branches 0 Tags 490 KiB
main
Commit Graph

3 Commits

Author SHA1 Message Date
Glen Whitney
40146c2f48 feat: Runtime type reflection (#17) 
Now each behavior specification "knows" its type information.
  Also bumps version number and sets up so that the scripts will run on Windows as well as Unix (thanks to Jos).
  Resolves #5.
  Resolves #16.

Co-authored-by: Jos de Jong <wjosdejong@gmail.com>
Reviewed-on: #17
Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Co-committed-by: Glen Whitney <glen@studioinfinity.org>
 2023-10-17 22:02:18 +00:00
Glen Whitney
327a9385ed fix: Use intersection of matching types in AssociatedTypes<> lookup (#14) 
Resolves #11.
Reviewed-on: #14
Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Co-committed-by: Glen Whitney <glen@studioinfinity.org>
 2023-08-23 16:52:16 +00:00
Glen Whitney
cc1e66c054 Declare implementations and dependencies via standard interfaces for operations (#8) 
Adds a new subdirectory `interfaces` where standard interfaces
  are defined. Additional interfaces for a given operation can
  be added with an `AliasOf` type operator. Provides type
  operators that give the return type, full function type, and
  the type of a dependency on, a given operator.

  Resolves #6.

Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Co-authored-by: Jos de Jong <wjosdejong@gmail.com>
Reviewed-on: #8
 2023-01-22 01:34:57 +00:00