aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-01-20 20:36:45 +0100
committerAdrian Kummerlaender2015-01-20 20:36:45 +0100
commit4158a6c517329301a5d98ad1c5bde060b3ebf09a (patch)
tree9e5dce660f726590babf423a6e639edcb890a2ec
parentd33f7d10f4ee6bb41a73e1a2981de5d602f64952 (diff)
downloadTypeAsValue-4158a6c517329301a5d98ad1c5bde060b3ebf09a.tar
TypeAsValue-4158a6c517329301a5d98ad1c5bde060b3ebf09a.tar.gz
TypeAsValue-4158a6c517329301a5d98ad1c5bde060b3ebf09a.tar.bz2
TypeAsValue-4158a6c517329301a5d98ad1c5bde060b3ebf09a.tar.lz
TypeAsValue-4158a6c517329301a5d98ad1c5bde060b3ebf09a.tar.xz
TypeAsValue-4158a6c517329301a5d98ad1c5bde060b3ebf09a.tar.zst
TypeAsValue-4158a6c517329301a5d98ad1c5bde060b3ebf09a.zip
Added `README.md` as overview
-rw-r--r--README.md37
1 files changed, 37 insertions, 0 deletions
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..c572704
--- /dev/null
+++ b/README.md
@@ -0,0 +1,37 @@
+# TypeAsValue
+
+…is a template metaprogramming library intended for compile time computation written in C++. As its name implies it follows the overall concept of viewing types as values and templates as functions manipulating those values.
+
+This library is currently primarily a reimplementation of my previous attempt at this problem: [ConstList](https://github.com/KnairdA/ConstList). As detailed in the appropriate [blog article](http://blog.kummerlaender.eu/article/a_look_at_compile_time_computation_in_cpp/) the mixed approach between generic lambda expressions, `constexpr` marked functions and template metaprogramming doesn't offer sufficient flexibility which led me to approach compile time computation in a slightly different manner via this new library.
+
+## Example
+
+```cpp
+// λ (length (filter odd? (list 1 2 3)))
+// 2
+
+const std::size_t count = tav::Length<
+ tav::Filter<
+ tav::Odd,
+ tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type
+ >::type
+>::type::value;
+```
+
+## Current features
+
+* guaranteed evaluation during compile time
+* basic math and logic operations
+* conditionals
+* `Cons` structure
+* `List` function as helper for `Cons` construction
+* basic list operators such as `Nth`, `Length`, `Take` and `Concatenate`
+* higher order list operation `Fold`
+* higher order list operations such as `Map` and `Filter` expressed in terms of `Fold`
+* higher order list queries such as `Any`, `All` and `None`
+* `static_assert` based test cases for all of the above
+
+## Requirements
+
+* C++ compiler with support for C++14
+* [CMake](http://www.cmake.org/) for building test cases