#include <iostream>

#include "type.h"
#include "operation/math.h"
#include "function/apply.h"

#include "list/list.h"
#include "list/operation/higher/filter.h"
#include "list/generator/iota.h"

#include "runtime/list/for_each.h"

// (define candidates (iota 1000 2 1))
using candidates = tav::Eval<tav::Iota<tav::Size<1000>, tav::Int<2>, tav::Int<1>>>;

// (define (isMultipleOf candidate base) (= (modulo candidate base) 0))
template <
	typename Candidate,
	typename Base
>
using isMultipleOf = tav::IsEqualValue<
	tav::Modulo<Candidate, Base>,
	tav::Int<0>
>;

// (define (removeMultiplesOf candidates base)
//   (remove (lambda (x) (isMultipleOf x base))
//           candidates))
template <
	typename Candidates,
	typename Base
>
using removeMultiplesOf = tav::Remove<
	tav::Apply<isMultipleOf, tav::_0, Base>::template function,
	Candidates
>;

// (define (sieve candidates)
//   (cond ((null-list? candidates) (list))
//         (else                    (cons (car candidates)
//                                        (sieve (removeMultiplesOf (cdr candidates)
//                                                                  (car candidates)))))))
template <typename Candidates>
struct Sieve {
	typedef tav::Eval<tav::Cons<
		tav::Head<Candidates>,
		tav::Eval<Sieve<
			tav::Eval<removeMultiplesOf<
				tav::Tail<Candidates>,
				tav::Head<Candidates>
			>>
		>>
	>> type;
};

template <>
struct Sieve<void> {
	typedef void type;
};

// (define primes (sieve candidates))
using primes = tav::Eval<Sieve<candidates>>;

int main(int, char **) {
	tav::runtime::for_each<primes>([](const int x) {
		std::cout << x << std::endl;
	});
}