direct cast concept from string

1 files changed, 28 insertions, 0 deletions

diff --git a/starts/meaning-vm/helpers.cpp b/starts/meaning-vm/helpers.cpp
new file mode 100644
index 0000000..e4a7689
--- /dev/null
+++ b/starts/meaning-vm/helpers.cpp
@@ -0,0 +1,28 @@
+#include "helpers.hpp"
+
+#include <unordered_map>
+
+// these concept names are for bootstrapping convenience,
+// to make hardcoding structures easier.
+// hence there is just one single list of them
+
+concept namesByConcept;
+std::unordered_map<value<std::string>,concept,std::hash<std::string>> conceptsByName;
+
+ref::ref(std::string s)
+{
+	try {
+		ptr = &conceptsByName.at(value<std::string>(s));
+	} catch (std::out_of_range) {
+		auto insertion = conceptsByName.emplace(value<std::string>(s), concept());
+		ref con = &insertion.first->second;
+		ref nam = const_cast<concept *>((concept const *)&insertion.first->first);
+		namesByConcept.link(con, nam);
+		ptr = con;
+	}
+}
+
+ref::operator std::string()
+{
+	return value<std::string>::of(namesByConcept.get(*this));
+}