more syntax sugar, building meaning

1 files changed, 36 insertions, 0 deletions

diff --git a/starts/meaning-vm/meaning.hpp b/starts/meaning-vm/meaning.hpp
new file mode 100644
index 0000000..c358d69
--- /dev/null
+++ b/starts/meaning-vm/meaning.hpp
@@ -0,0 +1,36 @@
+#pragma once
+
+#include "concept.hpp"
+#include "helpers.hpp"
+
+// get a named variable
+ref avariable(ref name);
+
+template <typename... T>
+ref and(T... refs)
+{
+	std::initializer_list<ref> rs = { refs... };
+	declrefs(and);
+	decllnks(what);
+	ref ret = a(and);
+	ref name; int count = 0;
+	for (auto r : rs) {
+		ret[what] = r;
+		if (count == 0) {
+			name.ptr = r.ptr;
+		} else {
+			name.ptr = (name-and-r).ptr;
+		}
+		++ count;
+	}
+	if (count == 1) {
+		throw std::logic_error("and needs at least two subjects");
+	}
+	return name = ret;
+}
+
+// make a reference to a link
+ref link(ref sourceref, ref typeref, ref targetref);
+
+// invert a meaning
+ref not(ref whatref);