From 0965367d7581534f5d84cc93a66d3a38a5d646fe Mon Sep 17 00:00:00 2001 From: olpc user Date: Mon, 30 Dec 2019 11:24:17 -0800 Subject: fixed compilation errors; next is runtime --- starts/meaning-vm/level-0/baseref.hpp | 2 +- starts/meaning-vm/level-1/funcs.cpp | 20 ++++++ starts/meaning-vm/level-2/habits.cpp | 114 ++++++++++++++++++---------------- starts/meaning-vm/level2.cpp | 17 ++--- 4 files changed, 93 insertions(+), 60 deletions(-) (limited to 'starts/meaning-vm') diff --git a/starts/meaning-vm/level-0/baseref.hpp b/starts/meaning-vm/level-0/baseref.hpp index 90c33e1..5c84279 100644 --- a/starts/meaning-vm/level-0/baseref.hpp +++ b/starts/meaning-vm/level-0/baseref.hpp @@ -29,7 +29,7 @@ public: return self; } - void link(ref const & type, ref const & target) { p->link(type.p, target.p); } + ref link(ref const & type, ref const & target) { p->link(type.p, target.p); return ptr(); } void unlink(ref const & type, ref const & target) { p->unlink(type.p, target.p); } void unlink(ref const & type) { p->unlink(type.p); } diff --git a/starts/meaning-vm/level-1/funcs.cpp b/starts/meaning-vm/level-1/funcs.cpp index 1e6bd9d..2ba2d0f 100644 --- a/starts/meaning-vm/level-1/funcs.cpp +++ b/starts/meaning-vm/level-1/funcs.cpp @@ -11,6 +11,26 @@ namespace level1 { using namespace concepts; +// for generalizing unique data references. not used yet, could replace conceptsByName, +// but note this doesn't use a type link, and conceptsByName does. +template +ref conceptByData(T const& data, concept* con = nullptr, concept* allocator = nullptr) +{ + static std::map conceptsByData; // std::map works for typeid data + auto res = conceptsByData.find(data); + if (res != conceptsByData.end()) { + if (con != nullptr) { throw std::logic_error("unique data concept already specified"); } + return res->second; + } else { + if (con == nullptr) { + if (allocator == nullptr) { allocator = level0::concepts::allocations(); } + con = level0::alloc(allocator); + } + conceptsByData.emplace(data, con); + return con; + } +} + // ensure name link and backing structure are created prior to first use static auto & namestruct() { diff --git a/starts/meaning-vm/level-2/habits.cpp b/starts/meaning-vm/level-2/habits.cpp index 7ec1cf6..f0ef9b8 100644 --- a/starts/meaning-vm/level-2/habits.cpp +++ b/starts/meaning-vm/level-2/habits.cpp @@ -1,14 +1,18 @@ #include "ref.hpp" #include "../level-1/sugar.hpp" #include "sugar.hpp" +#include "concepts.hpp" namespace intellect { namespace level2 { +using namespace intellect::level1::concepts; +using namespace concepts; + ref makeconcept() { //result = a(concept); - result = intellect::level0::basic_alloc(); + return intellect::level0::basic_alloc(); } void conceptunmake(ref c) @@ -19,24 +23,24 @@ void conceptunmake(ref c) using links_it = intellect::level0::baseref::links_t::iterator; void poplinkentry(ref le) { - result = le; - auto & it = result.val(); - if (it != result[source].links().end()) { - set(result, type, it->first); - set(result, target, it->second); + auto & it = le.val(); + if (it != le["source"].links().end()) { + le.set("type", it->first); + le.set("target", it->second); } else { - unlink(result, type); - unlink(result, target); + le.unlink("type"); + le.unlink("target"); } -}; +} -void contextmapinto = [](ref c1, ref m, ref c2) +void contextmapinto(ref c1, ref m, ref c2) { - for (auto link : m.get(translation)) { + decl(translation); decl(known); decl(nothing); + for (auto link : m.get(translation).links()) { c2.set(link.second, c1.get(link.first)); } - if (m.linked(known) and m.get(known) != nothing) { - for (auto link : m.get(known)) { + if (m.linked(known) && m.get(known) != nothing) { + for (auto link : m.get(known).links()) { c2.set(link.second, link.first); } } @@ -74,9 +78,9 @@ int createhabits() ahabit(data-type, ((concept, c)), { if (c.ptr()->data.has_value()) { - return ref(c.ptr()->data.type().name()); + result = ref(c.ptr()->data.type().name()); } else { - return nothing; + result = nothing; } }); @@ -140,13 +144,17 @@ int createhabits() // a way to iterate or inspect the links of a concept + decl(entry); ahabit(make-first-link-entry, ((concept, c)), { - if (le.hasval()) { throw makeconcept().link( - is, "already-has-value", - concept, le, - context, ctx); } - ref le = makeconcept().link(is, link-entry); + // left over from when allocation was handled by separate function, which + // I'd like to return to + //if (le.hasval()) { throw makeconcept().link( + // is, "already-has-value", + // concept, le, + // context, ctx); } + ref le = makeconcept(); + le.link(is, link-entry); le.val(c.links().begin()); le.set(source, c); poplinkentry(le); @@ -154,10 +162,10 @@ int createhabits() }); ahabit(make-last-link-entry, ((concept, c)), { - if (le.hasval()) { throw makeconcept().link( - is, "already-has-value", - concept, le, - context, ctx); } + //if (le.hasval()) { throw makeconcept().link( + // is, "already-has-value", + // concept, le, + // context, ctx); } ref le = makeconcept(); le.link(is, link-entry); le.val(--c.links().end()); @@ -361,11 +369,11 @@ int createhabits() } }) */ - decls(needed, made, known, information); - // TODO: comment out lists; no longer used + decls(needed, made, known, information, translation); ahabit(make-translation-map, ((translation-map, m), (known-map, k, nothing)), { - result = makeconcept().link( + result = makeconcept(); + result.link( //habit, translation-map, translation, m ); @@ -391,41 +399,45 @@ int createhabits() result = outer; }); */ + decls(step, previous); ahabit(make-context-action, ((previous-step, ps), (known-information, literals), (needed-information-map, in), (made-information-map, out), (action, act)), { - if (ps != nothing && ps.linked(next-step)) { throw makeconcept().link(is, previous-step-already-has-next-step, previous-step, ps, context, ctx); } - result = makeconcept().link( - //habit, context-action, - needed-map, (make-translation-map)(needed-information-map, known-information), - made-map, (make-translation-map)(made-information-map) - action, act); + if (ps != nothing && ps.linked(next-step)) { throw makeconcept().link(is, "previous-step-already-has-next-step", previous-step, ps, context, ctx); } + result = makeconcept(); + result.link( + //habit, context-action, + needed-map, (make-translation-map)(in, literals), + made-map, (make-translation-map)(out), + action, act); if (ps != nothing) { ps.set(next-step, result); } }); + decls(order, steps); ahabit(make-steps, ((information-order, io, nothing)), { result = makeconcept(); - ref infn = a(habit-information-needed); + ref infn = intellect::level1::a(habit-information-needed); result.set(information-needed, infn); ref posinf = infn; - for (auto pair : io.getAll(information-order)) { - ref nextinf = a(habit-information); - nextinf.set(information, pair.second); + for (auto inf : io.getAll(information-order)) { + ref nextinf = intellect::level1::a(habit-information); + nextinf.set(information, inf); posinf.set(next-information, nextinf); posinf = nextinf; - if (!infn.linked(argname)) { - infn.set(argname, nextinf); + if (!infn.linked(inf)) { + infn.set(inf, nextinf); } else { - if (!infn.get(argname).isa(habit-information)) { - throw a(unexpected-concepts::habit-information-concepts::name) - .link(concepts::name, argname) - .link(concepts::habit, habit); + if (!infn.get(inf).isa(habit-information)) { + throw intellect::level1::a("unexpected-habit-information-name") + .link(concepts::name, inf) + .link(context, ctx); } } } result.ptr()->data = steps.ptr()->data; }); + decls(active, outer); ahabit(steps, (), { ref s = self; @@ -457,11 +469,11 @@ int createhabits() while (state.linked(next-step) && state.get(next-step) != nothing) { s = state.get(next-step); state.set(active-step, s); - state.set(next-step, s.linked(next-step) ? s.get(next-step) : nothing); + state.set(next-step, s.linked(next-step) ? s.get(next-step).ptr() : nothing.ptr()); // if needed-map, load subcontext ref subctx = c; if (s.linked(needed-map)) { - subctx = makeconcept() + subctx = makeconcept(); contextmapinto(c, s.get(needed-map), subctx); subctx.set(outer-context, c); subctx.set(active-state, state); @@ -469,10 +481,7 @@ int createhabits() subctx.set(self, action); state.set(context, subctx); } - state.get(action).fun(subctx); // <-- maybe we should check arguments - // i think that might exzclude user-defined funcs - // one moment: do subcontexts work with user-defined funcs? - // we'll need a reference to our own subcontext to make that work + state.get(action).fun()(subctx); // <-- maybe we should check arguments if (s.linked(made-map)) { contextmapinto(subctx, s.get(made-map), c); } @@ -482,12 +491,13 @@ int createhabits() } } conceptunmake(state); - if (cleanupcontxt) { conceptunmake(c); } + if (cleanupcontext) { conceptunmake(c); } }); + decls(condition); // steps must be actual steps, not a list of steps ahabit(make-condition-action, ((previous-step, ps), (condition, cond), (steps, s, nothing)), { - if (ps != nothing && ps.linked(next-step)) { throw makeconcept().link(is, previous-step-already-has-next-step, previous-step, ps, context, ctx); } + if (ps != nothing && ps.linked(next-step)) { throw makeconcept().link(is, "previous-step-already-has-next-step", previous-step, ps, context, ctx); } if (s == nothing) { s = makeconcept(); } result = makeconcept().link( needed-map, (make-translation-map)(makeconcept().link(cond, condition), makeconcept().link(next-steps, s)), @@ -515,7 +525,7 @@ int createhabits() context, ctx); } } else { - next = acts[cond]; + next = steps[cond]; } if (next != nothing) { diff --git a/starts/meaning-vm/level2.cpp b/starts/meaning-vm/level2.cpp index 468eb8e..386a116 100644 --- a/starts/meaning-vm/level2.cpp +++ b/starts/meaning-vm/level2.cpp @@ -95,17 +95,18 @@ ref makestep(ref last, ref action, ref result, std::initializer_list // make functions and macros to make behaviors #define begin(name) { ref BEHAVIOR(#name); ref last = BEHAVIOR; -#define end(name) assert(BEHAVIOR.name() == #name); } +#define end(nam) assert(BEHAVIOR.name() == #nam); } #define rewire(name) last = name -#define wire(name) last.set(next-step, name) +#define wire(name) last.set("next-step", name) #define label(name) ref name = -#define step(action, ...) last = makestep(last, action, ref("nothing"), { symbolstorefs(__VA_ARGS__) }) -#define assign(result, action, ...) last = makestep(last, action, ref(#result), { symbolstorefs(__VA_ARGS__) }) +#define step(action, ...) last = makestep(last, ref(#action), ref("nothing"), { symbolstostrs(__VA_ARGS__) }) +#define assign(result, action, ...) last = makestep(last, ref(#action), ref(#result), { symbolstostrs(__VA_ARGS__) }) #define jmpeq(var, cnst, label) last = ref("make-condition-action")(last, ref(#var), ref("make-concept")().link(ref(#cnst), label, ref("anything"), ref("nothing")) #define jmpne(var, cnst, label) last = ref("make-condition-action")(last, ref(#var), ref("make-concept")().link(ref(#cnst), ref("nothing"), ref("anything"), label) #define cond(var) last = nothing; ref("make-condition-action")(last, ref(#var), ref("make-concept")().link(ref("anything"), ref("nothing"))) @@ -168,11 +169,11 @@ int main() }); ahabit(in-set, ((concept, c)), { - result = linked(the-set, c); + result = linked("the-set", c); }); ahabit(put-in-set, ((concept, c)), { - link(the-set, c, true); + link("the-set", c, true); }); // I guess I'd better code dump as a behavior. begin(dump); @@ -213,6 +214,7 @@ int main() // ALL IT NEEDS IS TO WORK step(dump, link-target); step(next-link-entry, link-entry); + wire(whilelabel2); rewire(whilecond2); step(concept-unmke, link-entry); end(dump); @@ -237,5 +239,6 @@ int main() (unmake-concept)(le); } }); + */ dump(dump); } -- cgit v1.2.3