/* not entirely sure about the final syntax just yet but something like this */

/* at some point I'll probably add in a type system as well, but for now let's
 * pretend we're static-dynamic (or dynamic at compiletime? dunno) */
readlines(unordered_set![string] set, (unordered_set![string]) next)
{
	fwd_getline() => optional![string] line;

	fwd_some(line) => string line {
		/* we had something in our option */
		fwd_insert(set, line) => unordered_set![string] set;

		/* at the moment the only supported looping construct is
		 * recursion */
		readlines(set, next);
	} => {
		/* option was illegal, we've read all input there is */
		next(set);
	}
}

main()
{
	/* fwdlib.hpp uses namespace std, not good practice but allows us to do
	 * stuff like this: */
	unordered_set![string]{} => unordered_set![string] set;
	readlines(set) => unordered_set![string] set;
	fwd_foreach(set) => string node {
		fwd_println(node);
	}
}