aboutsummaryrefslogtreecommitdiff
path: root/source/00_content/pages
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-03-07 16:10:11 +0100
committerAdrian Kummerlaender2015-03-07 16:10:11 +0100
commit5d4807df4a1fe13ba226914d999cdf7aebb0d8c6 (patch)
tree9ce9aba9f9ed20fbe236ba46577435213d820e75 /source/00_content/pages
parent6b1ed7d6ea31edccc30a6942c8636bc6feac168d (diff)
downloadblog.kummerlaender.eu-5d4807df4a1fe13ba226914d999cdf7aebb0d8c6.tar
blog.kummerlaender.eu-5d4807df4a1fe13ba226914d999cdf7aebb0d8c6.tar.gz
blog.kummerlaender.eu-5d4807df4a1fe13ba226914d999cdf7aebb0d8c6.tar.bz2
blog.kummerlaender.eu-5d4807df4a1fe13ba226914d999cdf7aebb0d8c6.tar.lz
blog.kummerlaender.eu-5d4807df4a1fe13ba226914d999cdf7aebb0d8c6.tar.xz
blog.kummerlaender.eu-5d4807df4a1fe13ba226914d999cdf7aebb0d8c6.tar.zst
blog.kummerlaender.eu-5d4807df4a1fe13ba226914d999cdf7aebb0d8c6.zip
Updated _TypeAsValue_ source links to point to a specific commit
* added link to blog article to _TypeAsValue_ page
Diffstat (limited to 'source/00_content/pages')
-rw-r--r--source/00_content/pages/projects/type_as_value.md9
1 files changed, 6 insertions, 3 deletions
diff --git a/source/00_content/pages/projects/type_as_value.md b/source/00_content/pages/projects/type_as_value.md
index 839e691..5a8e37a 100644
--- a/source/00_content/pages/projects/type_as_value.md
+++ b/source/00_content/pages/projects/type_as_value.md
@@ -4,10 +4,12 @@
As its name implies it follows the overall concept of viewing types as values and templates as functions manipulating those values.
-This library is a expanded reimplementation of my previous attempt at this problem: [ConstList]. As detailed in the appropriate [blog article] 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. As one might notice this boils down to using _Scheme_ as a metaphor for C++ template metaprogramming. In fact all [test cases] and examples are documented by representing their logic in _Scheme_.
+This library is a expanded reimplementation of my previous attempt at this problem: [ConstList]. As detailed in the appropriate [blog article] 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. As one might notice this boils down to using _Scheme_ as a metaphor for C++ template metaprogramming. In fact all [test cases] and [examples] are documented by representing their logic in _Scheme_.
Its MIT licensed source code is available on both [Github] and [cgit].
+Furthermore an overview of this library alongside some background information is available in the form of a blog article on [using _Scheme_ as a metaphor for template metaprogramming].
+
## Current features
* guaranteed evaluation during compile time
@@ -41,11 +43,12 @@ const std::size_t count = tav::Length<
~~~
{: .language-cpp}
-Additionally there is a implementation of the _Sieve of Eratosthenes_ available as a more extensive [example].
+More extensive [examples] are available in the form of implementations of the _Sieve of Eratosthenes_ as well as of a _Turing machine_.
[ConstList]: /page/const_list/
[blog article]: /article/a_look_at_compile_time_computation_in_cpp/
+[using _Scheme_ as a metaphor for template metaprogramming]: /article/using_scheme_as_a_metaphor_for_template_metaprogramming/
[Github]: https://github.com/KnairdA/TypeAsValue/
[cgit]: http://code.kummerlaender.eu/TypeAsValue/
[test cases]: https://github.com/KnairdA/TypeAsValue/blob/master/test.cc
-[example]: https://github.com/KnairdA/TypeAsValue/blob/master/example/prime/prime.cc
+[examples]: https://github.com/KnairdA/TypeAsValue/blob/master/example/