https://github.com/polytypic/algebraic.cpp
Algebraic programming in C++
https://github.com/polytypic/algebraic.cpp
cppsm
Last synced: 3 months ago
JSON representation
Algebraic programming in C++
- Host: GitHub
- URL: https://github.com/polytypic/algebraic.cpp
- Owner: polytypic
- License: mit
- Created: 2018-12-10T14:25:07.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2021-12-21T08:34:42.000Z (about 4 years ago)
- Last Synced: 2025-10-05T01:56:38.365Z (3 months ago)
- Topics: cppsm
- Language: C++
- Homepage:
- Size: 26.4 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this project
README
# 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.