TypeAsValue/src/runtime, branch master C++ compile time computation library using types as values and templates as functions Moved class-based implementations into `detail` namespace 2015-02-15T13:07:50+00:00 Adrian Kummerlaender 2015-02-15T13:07:50+00:00 46e174935b122c0da4b51532a7f683a512eeaf65 * while class templates enable e.g. hiding implementation details they also require evaluation via `Eval` ** this clutters up the actual logic and is now hidden behind aliae that perform the evaluation 
* while class templates enable e.g. hiding implementation details they also require evaluation via `Eval`
** this clutters up the actual logic and is now hidden behind aliae that perform the evaluation
Moved _SFINAE_ helper into separate header 2015-02-06T18:40:55+00:00 Adrian Kummerlaender 2015-02-06T18:40:55+00:00 32abf81176f654217c30f3a1dd25ba9ff4a67dc4 






Revamped to use `Cons` as a function and `Pair` as its result
2015-02-06T18:26:26+00:00

Adrian Kummerlaender

2015-02-06T18:26:26+00:00

27aaee43499c268903332c7e9e1e6ec2d193dc3a

* this is analogous to _Scheme_ where a pair (dot-expression) is returned from a call to `cons`
* `Head` and `Tail` are kept as direct references to the `CAR` and `CDR` values of a pair to match e.g. the math operators





* this is analogous to _Scheme_ where a pair (dot-expression) is returned from a call to `cons`
* `Head` and `Tail` are kept as direct references to the `CAR` and `CDR` values of a pair to match e.g. the math operators







Implemented the Sieve of Eratosthenes as a basic example
2015-02-04T16:38:49+00:00

Adrian Kummerlaender

2015-02-04T16:38:49+00:00

7eef405eeff59c27691be294906e8381a76771e2












Added special `for_each` function for iterating lists at runtime
2015-02-03T15:26:43+00:00

Adrian Kummerlaender

2015-02-03T15:26:43+00:00

6d150b7d5a2c65a54203608e398ed38e48ed36e3

* i.e. we probably will want to access our compile time computed values at runtime sooner or later
* runtime iteration using e.g. a normal _for-loop_ is not possible as we obviously can't dynamically insert new types into our templates





* i.e. we probably will want to access our compile time computed values at runtime sooner or later
* runtime iteration using e.g. a normal _for-loop_ is not possible as we obviously can't dynamically insert new types into our templates