https://github.com/typedefs

WHAT

Programming language agnostic type construction language based on polynomials.

WHY

We need a mathematically clean but useful type specification language.

HOW

Polynomials

- 0 void or the empty type
- 1 the unit type
- + co-products of types
- × products of types

Kleene star

- ⋆ (A⋆):type ↦ (Σ n:nat. A[n]):type

REFERENCES

- [2010] Nicola Gambino, Joachim Kock
  Polynomial Functors and Polynomial Monads
  polynomials.pdf
  https://arxiv.org/abs/0906.4931