diff options
Updated _TypeAsValue_ and _ConstList_ project pages
Diffstat (limited to 'source/00_content/pages/projects/const_list.md')
| -rw-r--r-- | source/00_content/pages/projects/const_list.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/source/00_content/pages/projects/const_list.md b/source/00_content/pages/projects/const_list.md index 09aa036..9a5c18c 100644 --- a/source/00_content/pages/projects/const_list.md +++ b/source/00_content/pages/projects/const_list.md @@ -6,6 +6,8 @@ The MIT licensed implementation may be found on [Github] or [cgit]. It was written as a experiment in how far one could take the optional compile-time executability offered by `constexpr` specifically and the C++ template metaprogramming facilities in general. While basic _Cons_ structures and appropriate accessor functions turned out to be quite straight forward to implement, the current problem is the absence of workable arbitrary value comparison in a templated context if one doesn't want to be limited to values that can be used as template parameters such as integers. This means that it is currently impossible to e.g. filter a list using `foldr`. +Note that these restrictions were overcome in my [second attempt] at this problem which follows the concept of viewing types as values and templates as functions. + ## Current features - `Cons` class template for representing constant list structures at compile time @@ -35,3 +37,4 @@ const int sum{ [Github]: https://github.com/KnairdA/ConstList/ [cgit]: http://code.kummerlaender.eu/ConstList/ +[second attempt]: /page/type_as_value/ |