Sketchy Typing

Playground Prototypes

The history of prototypes is roughly:

• protos::enums: fully enumerated simplicial sets only.

• protos::limits: building towards maps, limits, cones. Fully enumerated as in protos::enums, so major issues.

• protos::symbolsimplex: introduction of _Symbols, better model for constructing Simplexes, no longer fully enumerable so better maps, limits, cones.

In any of these playgrounds, the build file will build main.cpp using g++ --std=c++20 to main.out.

There are other playgrounds to explore, most contain fragments of playing with concepts or templates functionality in C++20.

Setup

TODO once a self contained project

Project Structure

Eventually:

• follow the "canonical project structure" suggested here.

• follow the "boost template guidelines" suggested here.

• follow the "ISO concepts best practices" suggested here.

• add documentation, motivations, etc.