polytypic/algebraic.cpp
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Algebraic programming in C++
1 commit 1 branch 0 tags 55 KiB
  • C++ 99.4%
  • CMake 0.6%
Find a file
Exact
Vesa Karvonen 77813838eb Initial
2021-12-21 10:34:37 +02:00
.cppsm@351eee2d3e Initial 2021-12-21 10:34:37 +02:00
internals/wip Initial 2021-12-21 10:34:37 +02:00
requires/polyfill.cpp Initial 2021-12-21 10:34:37 +02:00
.clang-format Initial 2021-12-21 10:34:37 +02:00
.gitignore Initial 2021-12-21 10:34:37 +02:00
.gitmodules Initial 2021-12-21 10:34:37 +02:00
.prettierrc Initial 2021-12-21 10:34:37 +02:00
.travis.yml Initial 2021-12-21 10:34:37 +02:00
CMakeLists.txt Initial 2021-12-21 10:34:37 +02:00
LICENSE.md Initial 2021-12-21 10:34:37 +02:00
README.md Initial 2021-12-21 10:34:37 +02:00
TODO.md Initial 2021-12-21 10:34:37 +02:00

README.md

Algebraic programming in C++

This is my hobby C++ programming project. I have no plans to invest time in turning anything in this project into reusable libraries and I make absolutely no promises of any kind regarding the future of this project.

The idea is to experiment with algebraic programming techniques in C++. First of all, I want to be able to program conveniently with structural algebraic types (i.e. sums, products, ...) and use algebraic structures (i.e. monoids, monads, ...). Then I want to use those to implement a language with algebraic effects. I want everything to be as composable as possible.