Skip to content

sketches, type theories, simplices, template meta-programming

Notifications You must be signed in to change notification settings

liammcinroy/sketchy-typing

Repository files navigation

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.

About

sketches, type theories, simplices, template meta-programming

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published