urbit/pkg/arvo/lib/xray.hoon
Jared Tobin c0cc4a1db8
Revert "Merge branch 'liam-fitzgerald/hoon-spot' (#2247)"
This reverts commit 046506f9d4, reversing
changes made to 6ef08962ef.

I'm reverting this as we're moving to a new branch/release model in
which breaching changes (as this one is) will live on a long-running
'next' branch, rather than alongside non-breaching changes in master.

This revert should itself be reverted on the 'next' branch.
2020-03-16 10:51:00 +04:00

1868 lines
60 KiB
Plaintext

::
:: # Type Analysis
::
:: This does analysis on types to produce an `ximage` value, which can
:: be used to print the type (with `ximage-to-spec`) or to print values
:: of that type (using the `libpprint` library). You should understand
:: the `ximage` type before digging further.
::
:: `xray-type` is the main gate of interest here. It's implemented as a
:: series of passes:
::
:: - `analyze-type`: This takes a `type`, which is a lazily-evaluated,
:: recursive xdat structure, and converts it into an explicit
:: graph. It also collect the information from `%hint` types and
:: decorates the graph nodes with that.
::
:: - `cleanup`: Removes `%pntr` nodes, replacing references to them
:: with references to what they resolve to.
::
:: - `decorate-ximage-with-loops`: Determines which nodes reference
:: themselves recursively.
::
:: - `decorate-ximage-with-xpats`: Adds printing heuristics to types:
:: "Should this be printed as a list?"
::
:: - `decorate-ximage-with-xshapes`: Determines the loose shape of each
:: type. This overlaps with, and is used by, the next pass. Doing
:: this as a separate pass removes a lot of difficult edge-cases when
:: determining the `xrole` of cell-types.
::
:: - `decorate-ximage-with-xroles`: Restructures forks to make them
:: coherent. This is important both for printing types (we want to use
:: `$@` `$%` `$%`, etc) and for printing xdat (we need an efficient
:: way to determine which branch of a fork matches a value.
::
:: # Todos
::
:: - XX It seems (have'nt verified this) that there's a lot of things
:: that are forks that, once void types have been factored out,
:: only actually refer to one thing. It would be nice to discover
:: things of this kind and replace such fork node with the thing the
:: actualy resolve to.
::
:: The reason I think this is what's happening is that I see lots
:: of %unexpected-fork-xrole messages when converting the kernel type
:: to a spec, and those xroles have things like %tall and %atom.
:: However! The `combine` function never produces anything with
:: those xroles.
::
:: - XX Create xpats and matchers %map %set.
::
:: - XX Create xpats and matchers for tuples. There's no need to
:: recreate this structure in the printing code, and that's what we're
:: doing now.
::
:: - XX The xpat of an xray could be computed on demand instead of
:: up-front. Possibly a lot faster!
::
:: - XX The loop-detection of an xray could be done on demand instead
:: of up-front. Possibly a lot faster!
::
:: - XX The xpat matching code is basically brute-force.
::
:: If it turns out to be a performance bottleneck, there's lots of
:: low-hanging fruit there. For example:
::
:: - Faces repeat the work done for the type they reference.
:: - When detecting whether a cell is part of an "informal" list,
:: we recurse into the tail repeatedly. For example, the following
:: example will do the "formal-list" test 3 times:
::
:: - `[1 2 `(list @)`~]`
::
:: - XX Try to find a way to drop the `%pntr` constructor from
:: `%xdat`. The consumer of an `xray` does not care.
::
:: - XX Actually, it would also be really nice to produce another
:: version of this structure that doesn't have the (unit *) wrapper around
:: everything interesting. This would make the on-demand computation
:: of various things hard, though.
::
:: - XX Simply lying about the type of deep arms is not robust. I am just
:: claiming that they are nouns, but if another thing in the xray
:: actually needs it, it will think it's a noun too.
::
:: - XX There are probably remaining bugs. Test the shit out of this.
::
:: - XX What should the `xrole` of a cell with a %noun head be? I
:: think the current design can't handle this case coherently.
::
|^ ^- $: ximage-to-spec=$-(=ximage =spec)
xray-type=$-([@ type] ximage)
focus-on=$-([xtable xkey] xray)
==
[ximage-to-spec xray-type focus-on]
::
+| %helpers
::
++ batt-of |$ [arm] (map term (pair what (map term arm)))
++ chap-of |$ [arm] [doc=what arms=(map term arm)]
::
:: Traverse over a chapter in a battery.
::
++ traverse-chapter
|* [state=mold in=mold out=mold]
|= [[st=state chap=(chap-of in)] f=$-([state term in] [out state])]
^- [(chap-of out) state]
=^ arms st ((traverse-map state term in out) [st arms.chap] f)
[chap(arms arms) st]
::
:: Traverse over a battery.
::
++ traverse-battery
|* [state=mold in=mold out=mold]
|= [[st=state batt=(batt-of in)] f=$-([state term in] [out state])]
^- [(batt-of out) state]
%+ (traverse-map state term (chap-of in) (chap-of out))
[st batt]
|= [st=state chapter-name=term chap=(chap-of in)]
^- [(chap-of out) state]
((traverse-chapter state in out) [st chap] f)
::
:: Map a function over all the arms in a battery.
::
++ turn-battery
|* arm=mold
|= [b=(batt-of arm) f=$-(arm arm)]
^- (batt-of arm)
%- ~(run by b)
|= [w=what chap=(map term arm)]
^- [what (map term arm)]
:- w
%- ~(run by chap)
|= i=arm
^- arm
(f i)
::
:: Create a new xray with `xdat` set to `d`. If the xray is already in
:: the table, do nothing.
::
++ post-xray
|= [tbl=xtable ty=type d=(unit xdat)]
^- [xkey xtable]
::
=/ old (~(get by type-map.tbl) ty)
?^ old [u.old tbl]
::
=/ i=xkey next.tbl
=/ x=xray [i ty d ~ ~ ~ ~ ~ ~ ~]
::
=. next.tbl +(next.tbl)
=. xrays.tbl (~(put by xrays.tbl) i x)
=. type-map.tbl (~(put by type-map.tbl) ty i)
[i tbl]
::
:: Create an new xray and put it in the xray table. If there's already
:: a stub xray under this type, replace it. Otherwise, allocate a
:: new index and put it there.
::
++ replace-xray
|= [img=xtable x=xray]
^- xtable
img(xrays (~(put by xrays.img) xkey.x x))
::
:: Get an xray, update its xdat, and put it back in.
::
++ set-xray-xdat
|= [img=xtable i=xkey d=xdat]
^- xtable
=/ x=xray (focus-on img i)
(replace-xray img x(xdat `d))
::
:: Get an xray from an `xtable`, given its `xkey`.
::
++ focus-on
|= [img=xtable i=xkey]
^- xray
=/ res=(unit xray) (~(get by xrays.img) i)
?~ res ~& ['internal error: invalid xray reference' i] !!
u.res
::
:: Return a list of xrays referenced by an xrayed battery. (the context
:: type and the type of each arm).
::
++ battery-refs
|= b=xbat
^- (list xkey)
%- zing
%+ turn ~(val by b)
|= [=what =(map term xkey)]
^- (list xkey)
~(val by map)
::
:: Just for debugging: print an ximage and then return it.
::
++ trace-ximage
|= img=ximage
^- ximage
~& ['root=' root.img]
~& %+ sort ~(tap by xrays.xtable.img)
|= [[xi=xkey x=xray] [yi=xkey y=xray]]
(lth xi yi)
img
::
:: All non-fork xrays referenced by a fork xray. This will recurse
:: into forks-of-forks (and so on) and can handle infinite forks.
::
:: If this is called on a non-fork node, it will return a set with just
:: that one node in it.
::
:: Separating this out really simplifies things, without this handling
:: infinite forks is quite error-prone.
::
:: XX Should we collect face nodes instead of recursing into them (feels
:: like yes, but why did I do it the other way before)?
::
:: XX This is turning out to be useful. Should we add a field to cache
:: the result of this?
::
++ xray-branches
|= [img=xtable i=xkey]
^- (set xkey)
::
=/ acc=(set xkey) ~
=/ stk=(set xkey) ~
::
|- ^- (set xkey)
::
?: (~(has in acc) i) acc
?: (~(has in stk) i) acc
::
=. stk (~(put in stk) i)
::
=/ x=xray (focus-on img i)
=/ d=xdat (need xdat.x)
::
?- d
%noun (~(put in acc) i)
%void (~(put in acc) i)
[%atom *] (~(put in acc) i)
[%cell *] (~(put in acc) i)
[%core *] (~(put in acc) i)
[%face *] $(i xray.d)
[%pntr *] $(i xray.d)
[%fork *] %+ (fold (set xkey) xkey)
[acc ~(tap in set.d)]
|= [=(set xkey) =xkey]
^$(acc set, i xkey)
==
::
+| %entry-point
::
:: The top-level routine: Takes a type, and xrays it to produce an
:: ximage.
::
:: When we analyze a core, we also analyze its context. `core-depth`
:: controls how deeply we will dig into the context. With `core-depth`
:: at 0, we just pretend that all cores have a context of type `*`.
::
++ xray-type
|= [core-depth=@ =type]
^- ximage
:: ~& %analyze-type
=/ =ximage (analyze-type core-depth type)
:: ~& %cleanup
=. ximage (cleanup ximage)
:: ~& %decorate-ximage-with-loops
=. ximage (decorate-ximage-with-loops ximage)
:: ~& %decorate-ximage-with-xpats
=. ximage (decorate-ximage-with-xpats ximage)
:: ~& %decorate-ximage-with-xshapes
=. ximage (decorate-ximage-with-xshapes ximage)
:: ~& %trace-ximage
:: =. ximage (trace-ximage ximage)
:: ~& %decorate-ximage-with-xroles
(decorate-ximage-with-xroles ximage)
:: ~& %trace-ximage
:: (trace-ximage ximage)
::
+| %analysis-passes
::
:: The main analysis code.
::
:: For every type we encounter,
::
:: - First check if an xray for this has already been created. This
:: could either be a recursive reference or just something we've
:: already processed. At this point we don't care.
::
:: - Next, allocate a new xray for this type with empty xdat. If
:: we encounter this type again recursively, that's fine, that will
:: just produce a reference to this xray and it will eventually
:: have xdat.
::
:: - Next, recurse into all referenced types and build out graph
:: nodes for those.
::
:: - Finally, create `xdat` based on the above, and update the xray
:: to have that xdat.
::
:: - The two edge-cases here are %hint and %hold. For those, we simply
:: do everything in exactly the same way except that `xdat`
:: will be set to `[%pntr *]`. We will resolve all of these
:: references in the first analysis pass (`cleanup`).
::
++ analyze-type
|= [core-depth=@ud =top=type]
^- ximage
::
|^ (main [0 ~ ~] top-type)
::
++ main
|= [st=xtable ty=type]
^- [xkey xtable]
::
=/ old (~(get by type-map.st) ty) :: already done
?^ old [u.old st]
::
=^ res=xkey st (post-xray st ty ~)
::
:- res
?- ty
%void (set-xray-xdat st res %void)
%noun (set-xray-xdat st res %noun)
[%atom *] (set-xray-xdat st res ty)
[%cell *] =^ hed=xkey st (main st p.ty)
=^ tyl=xkey st (main st q.ty)
(set-xray-xdat st res [%cell hed tyl])
[%core *] =^ d=xdat st (xray-core [p.ty q.ty] st)
(set-xray-xdat st res d)
[%face *] =^ i=xkey st (main st q.ty)
(set-xray-xdat st res [%face p.ty i])
[%fork *] =^ br st ((traverse-set xtable type xkey) [st p.ty] main)
(set-xray-xdat st res [%fork br])
[%hint *] =^ ref st (main st q.ty)
=^ updated st (hint st p.ty (focus-on st res))
(set-xray-xdat (replace-xray st updated) res [%pntr ref])
[%hold *] =^ ref st (main st ~(repo ut ty))
(set-xray-xdat st res [%pntr ref])
==
::
:: Analyze a %hint type.
::
:: This updates the `helps`, `studs`, and/or `recipe` fields of the
:: given xray.
::
++ hint
|= [st=xtable [subject-of-note=type =note] x=xray]
^- [xray xtable]
?- -.note
%help :_ st x(helps (~(put in helps.x) p.note))
%know :_ st x(studs (~(put in studs.x) p.note))
%made =^ recipe st
?~ q.note [[%direct p.note] st]
=^ params=(list xkey) st
|- ^- [(list xkey) xtable]
?~ u.q.note [~ st]
=/ tsld [%tsld [%limb %$] [%wing i.u.q.note]]
=/ part (~(play ut subject-of-note) tsld)
=^ this st (main st part)
=^ more st $(u.q.note t.u.q.note)
[[this more] st]
[[%synthetic p.note params] st]
:_ st x(recipes (~(put in recipes.x) recipe))
==
::
:: Analyze a core.
::
:: When we analyze the context, we decrement `core-depth`. If that
:: ever hits zero, we substitute `%noun` for the type of the context.
::
:: The reason that we switch the variance to %gold is because the
:: core we're creating isn't an actual core, we're just using the arms
:: of this core as a namespace in which to evaluate each arm.
::
:: Also, in general, there's no way to determine the type of an arm
:: of a wet core, so we just assign all wet arms the type `%noun`.
::
:: This seems to work in practice, but I don't think it's actually
:: sound.
::
++ xray-core
|= [[=payload=type =coil] st=xtable]
^- [xdat xtable]
::
=^ payload-xkey st (main st payload-type)
=/ ctx=type [%core payload-type coil(r.p %gold)]
::
=^ batt st
%+ (traverse-battery xtable hoon xkey)
[st q.r.coil]
|= [st=xtable nm=term =hoon]
^- [xkey xtable]
?: =(%wet q.p.coil) (post-xray st %noun `%noun)
?: =(0 core-depth) (post-xray st %noun `%noun)
=. core-depth (dec core-depth)
(main st [%hold ctx hoon])
::
[[%core p.coil payload-xkey batt] st]
::
--
::
:: Remove `%pntr` nodes, replacing references to them with references
:: to what they resolve to.
::
:: 1. Build a list of reachable, non-reference nodes.
:: 2. Build a table of references mapped to the node they resolve to.
:: 3. If the root node is a pointer, replace it with what it references.
:: 4. Map over `type-map`, and replace every value using the table from #2.
:: 5. Map over the xrays, drop pointer nodes, replace every reference
:: using the table from #2.
::
++ cleanup
|= xt=ximage
^- ximage
::
=/ img=xtable xtable.xt
::
|^ =/ =xkey root.xt
:: ~& %build-table
=/ tbl (build-table xkey)
:: ~& %fix-xkey
=. xkey (fix-xkey tbl xkey)
:: ~& %fix-type-map
=. type-map.img (fix-type-map tbl type-map.img)
:: ~& %fix-xrays
=. xrays.img (fix-xrays tbl xrays.img)
:: ~& :* %gc-results
:: %before ~(wyt by xrays.xtable.xt)
:: %after ~(wyt by xrays.img)
:: ==
[xkey img]
::
+$ table
[live=(set xkey) refs=(map xkey xkey) refs-to=(map xkey (set xkey))]
::
:: Given a node that may be a pointer, follow the chain of pointers
:: until we find a non-pointer node.
::
++ deref
|= [img=xtable k=xkey]
^- xkey
|-
=/ x=xray (focus-on img k)
=/ d=xdat (need xdat.x)
?. ?=([%pntr *] d) xkey.x
$(k xray.d)
::
:: Walks the graph starting at the root, everything that's a %pntr
:: node becomes a xkey in the `refs` table and one of the values in the
:: `refs-to` table.
::
++ build-table
|^ |= k=xkey
^- table
=/ t=table [~ ~ ~]
=. t (recur t k)
=. refs-to.t ((reverse-map xkey xkey) refs.t)
t
::
++ recur
|= [acc=table k=xkey]
^- table
::
?: (~(has in live.acc) k) acc :: already processed
?: (~(has by refs.acc) k) acc :: already processed
::
=/ x=xray (focus-on img k)
=/ d=xdat (need xdat.x)
::
=. acc ?. ?=([%pntr *] d)
acc(live (~(put in live.acc) k))
acc(refs (~(put by refs.acc) k (deref img k)))
::
((fold table xkey) [acc (xray-refs k)] recur)
--
::
:: Rebuild `type-map`:
::
:: - If a type points to a pointer xray, update it to point to what
:: that pointer resolves to
:: - If the type isn't referenced from the root node, ignore it.
:: - Otherwise, just copy it into the resulting table as-is.
::
++ fix-type-map
|= [tbl=table =(map type xkey)]
^- _map
%+ (fold _map (pair type xkey))
[*_map ~(tap by map)]
|= [acc=_map [ty=type k=xkey]]
=/ dest (~(get by refs.tbl) k)
?^ dest (~(put by acc) ty u.dest)
?. (~(has in live.tbl) k) acc
(~(put in acc) ty k)
::
:: Rebuild the `xrays` table.
::
:: - If the xray isn't in the `live` set (it wont be there if it's
:: a pointer node or if it's inaccessible from the root node),
:: then ignore it.
:: - Otherwise, copy the xray into the result map while updating
:: all its references.
::
++ fix-xrays
|= [tbl=table xrays=(map xkey xray)]
^- _xrays
%+ (fold (map xkey xray) (pair xkey xray))
[*(map xkey xray) ~(tap by xrays)]
|= [acc=(map xkey xray) [i=xkey x=xray]]
?. (~(has in live.tbl) i) acc :: Drop unused xrays
(~(put by acc) i (fix-xray tbl x))
::
:: All the xrays which are simply references to `i`.
::
++ all-refs-to
|= [tbl=table i=xkey]
^- (set xkey)
=/ res (~(get by refs-to.tbl) i)
?~(res ~ u.res)
::
:: There may be `%hint` xdat on the `%pntr` xrays. Find all pointer
:: nodes that reference this one, and put all of their hint-xdat onto
:: this xray.
::
++ collect-hints
|= [tbl=table target=xray]
^- xray
%+ (fold xray xkey)
[target ~(tap in (all-refs-to tbl xkey.target))]
|= [acc=xray ref=xkey]
=/ ref-xray=xray (focus-on img ref)
=/ helps ^- (set help) (~(uni in helps.acc) helps.ref-xray)
=/ recipes ^- (set recipe) (~(uni in recipes.acc) recipes.ref-xray)
::
=/ studs ^- (set stud) :: Type system hack
%+ (fold (set stud) stud)
[studs.acc ~(tap in studs.ref-xray)]
|= [acc=(set stud) new=stud]
(~(put in acc) new)
::
acc(helps helps, studs studs, recipes recipes)
::
:: Note that the `xroles` and `pats` fields may contain references
:: to other xrays as well. We don't bother to update those, because this
:: pass runs before those fields are populated.
::
++ fix-xray
|= [tbl=table x=xray]
^- xray
=. x (collect-hints tbl x)
%= x
xdat `(fix-xdat tbl (need xdat.x))
recipes %- ~(gas in *(set recipe))
%+ turn ~(tap in recipes.x)
|= r=recipe (fix-recipe tbl r)
==
::
:: Update all the references in the `xdat` field.
::
++ fix-xdat
|= [tbl=table d=xdat]
^- xdat
::
=/ fix |=(i=xkey (fix-xkey tbl i))
::
?- d
%noun d
%void d
[%atom *] d
[%cell *] d(head (fix head.d), tail (fix tail.d))
[%core *] d(xray (fix xray.d), batt (fix-battery tbl batt.d))
[%face *] d(xray (fix xray.d))
[%fork *] d(set (~(gas in *(set xkey)) (turn ~(tap in set.d) fix)))
[%pntr *] d(xray (fix xray.d))
==
::
++ fix-battery
|= [tbl=table b=xbat]
^- xbat
%+ (turn-battery xkey) b
|= i=xkey (fix-xkey tbl i)
::
++ fix-xkey
|= [tbl=table i=xkey]
^- xkey
=/ res=(unit xkey) (~(get by refs.tbl) i)
?^ res u.res
i
::
++ fix-recipe
|= [tbl=table r=recipe]
^- recipe
?- r
[%direct *] r
[%synthetic *] r(list (turn list.r |=(i=xkey (fix-xkey tbl i))))
==
::
++ xray-refs
|= i=xkey
^- (list xkey)
=/ x=xray (focus-on img i)
%- zing
^- (list (list xkey))
:~ ?~(xdat.x ~ (xdat-refs u.xdat.x))
(zing (turn ~(tap in recipes.x) recipe-refs))
?~(xrole.x ~ (xrole-refs u.xrole.x))
==
::
++ recipe-refs
|= r=recipe
^- (list xkey)
?- r
[%direct *] ~
[%synthetic *] list.r
==
::
++ xrole-refs
|= s=xrole
^- (list xkey)
?@ s ~
?- -.s
%constant ~
%instance ~
%option ~(val by map.s)
%union ~(val by map.s)
%junction ~[flat.s deep.s]
%conjunction ~[wide.s tall.s]
%misjunction ~[one.s two.s]
==
::
++ xdat-refs
|= d=xdat
^- (list xkey)
?- d
%noun ~
%void ~
[%atom *] ~
[%cell *] ~[head.d tail.d]
[%core *] [xray.d (battery-refs batt.d)]
[%face *] ~[xray.d]
[%pntr *] ~[xray.d]
[%fork *] ~(tap in set.d)
==
--
::
:: Detect loops.
::
:: This works by simply recursing through all the references within an
:: xray while keeping an explicit recursion stack: If we hit a node
:: that's in the stack, that's a loop. If we touch everything without
:: hitting a recursive reference, then it's not a loop.
::
:: Is the short-circuiting sound? I'm not sure now.
::
:: - When could it go wrong?
:: - This graph, for example:
::
:: ```
:: x -> y
:: y -> z
:: y -> y
:: z -> x
:: ```
::
:: - Let's say we process this starting with y, we will see that `y`
:: is a loop, and then when we go to process x, recursing into y will be
:: short-circuited since its `loop` field is already set.
::
:: - Well, maybe `x` will have been recognized as a loop during the
:: processing of `x`? I think it depends on whether we continue
:: to trace through all references from `y` even after we've found
:: a loop, and I think we do.
::
:: - Put another way, this will recurse into everything referenced
:: by a type, and only mark loops once it's encountered them:
:: After processing a type, every type that it references
:: (transitive closure) will have been processed correctly.
::
++ decorate-ximage-with-loops
|= xt=ximage
^- ximage
|^ xt(xtable decorated)
::
++ decorated
^- xtable
=/ all-indicies ~(tap in ~(key by xrays.xtable.xt))
((fold xtable xkey) [xtable.xt all-indicies] decorate)
::
++ decorate
|= [img=xtable i=xkey]
^- xtable
::
=/ trace=(set xkey) ~
|- ^- xtable
::
=/ x (focus-on img i)
=/ dat (need xdat.x)
::
?. =(~ loop.x) img :: already done
?: (~(has in trace) i) (replace-xray img x(loop `%.y))
::
=. trace (~(put in trace) i)
::
=. img
?- dat
%noun img
%void img
[%atom *] img
[%cell *] =. img $(i head.dat)
$(i tail.dat)
[%core *] =. img $(i xray.dat)
%+ (fold xtable xkey)
[img (battery-refs batt.dat)]
|= [img=xtable i=xkey]
^$(img img, i i)
[%face *] $(i xray.dat)
[%pntr *] $(i xray.dat)
[%fork *] %+ (fold xtable xkey)
[img ~(tap in set.dat)]
|= [img=xtable i=xkey]
^$(img img, i i)
==
::
=. x (focus-on img i) :: get updated xray
?^ loop.x img :: loop found
(replace-xray img x(loop `%.n)) :: no loop found
--
::
:: Fills in the `xpats` fields in each xray (where possible).
::
:: This has a list of xpat "matchers", and, for each xray in the
:: ximage, it tries each matcher until one of them succeeds.
::
++ decorate-ximage-with-xpats
|= xt=ximage
^- ximage
::
=/ img=xtable xtable.xt
::
|^ =/ pairs %+ turn ~(tap by xrays.xtable.xt)
|= [i=xkey x=xray]
^- [xkey xray]
[i x(pats (xray-pats x))]
xt(xrays.xtable (~(gas by *(map xkey xray)) pairs))
::
++ xpats
^- (list $-(xray (unit xpat)))
:~ tree-xpat
list-xpat
unit-xpat
core-xpat
spec-xpat
type-xpat
manx-xpat
vase-xpat
hoon-xpat
json-xpat
nock-xpat
plum-xpat
skin-xpat
==
::
++ xray-pats
|= x=xray
^- (unit xpat)
::
=/ i=xkey xkey.x
=/ t=type type.x
=/ d=xdat (need xdat.x)
::
:: Atom printing works just fine using the xdat field.
?: ?=([%atom *] d) ~
::
=/ match xpats
::
|- ^- (unit xpat)
?~ match ~
=/ pat (i.match x)
?^ pat pat
$(match t.match)
::
++ simple-nest-xpat
|= [ty=type pat=xpat]
^- $-(xray (unit xpat))
|= x=xray
^- (unit xpat)
=/ subtype (~(nest ut ty) | type.x)
?:(subtype `pat ~)
::
++ type-xpat (simple-nest-xpat -:!>(*type) %type)
++ spec-xpat (simple-nest-xpat -:!>(*spec) %spec)
++ manx-xpat (simple-nest-xpat -:!>(*manx) %manx)
++ vase-xpat (simple-nest-xpat -:!>(*vase) %vase)
++ hoon-xpat (simple-nest-xpat -:!>(*hoon) %hoon)
++ json-xpat (simple-nest-xpat -:!>(*json) %json)
++ nock-xpat (simple-nest-xpat -:!>(*nock) %nock)
++ plum-xpat (simple-nest-xpat -:!>(*plum) %plum)
++ skin-xpat (simple-nest-xpat -:!>(*skin) %skin)
::
++ focus
|= i=xkey
^- xray
(focus-on img i)
::
++ is-nil
|= i=xkey
^- ?
=/ d=xdat (need xdat:(focus i))
?+ d %.n
[%atom *] =(d [%atom ~.n `0])
[%face *] $(i xray.d)
==
::
:: Is `ref`, after dereferencing faces, a loop-reference to `target`?
::
++ is-ref-to
|= [target=xkey ref=xkey]
^- ?
?: =(target ref) %.y
=/ =xdat (need xdat:(focus ref))
?: ?=([%face *] xdat) $(ref xray.xdat)
%.n
::
:: Is an xray an atom with the specified aura?
::
++ is-atom-with-aura
|= [c=cord i=xkey]
^- ?
=/ =xdat (need xdat:(focus i))
?+ xdat %.n
[%atom *] =(xdat [%atom aura=c constant-unit=~])
[%face *] $(i xray.xdat)
==
::
:: If the xray is a exactly two things, nil and a cell type, then
:: yield the xray for the cell type.
::
++ fork-of-nil-and-cell
|= x=xray
^- (unit xkey)
::
=/ d=xdat (need xdat.x)
::
?. ?=([%fork *] d) ~
::
=/ branches ~(tap in set.d)
?. ?=([* * ~] branches) ~
::
=/ nil i.branches
=/ node i.t.branches
|-
::
?: (is-nil node) $(node nil, nil node)
?. (is-nil nil) ~
::
`node
::
:: Is this xray a unit? (the %unit xpat)
::
:: This matches strictly. For example `[~ %a]` doesn't match, but
:: `^-((unit @) [~ %a])` does.
::
++ unit-xpat
|^ |= x=xray
^- (unit xpat)
=/ elem (match-unit-type-strict (focus xkey.x))
?~ elem ~
`[%unit u.elem]
::
++ match-unit-type-strict
|= =input=xray
^- (unit xkey)
::
=/ node=(unit xkey) (fork-of-nil-and-cell input-xray)
?~ node ~
::
=/ node-xdat=xdat (need xdat:(focus u.node))
::
?. ?=([%cell *] node-xdat) ~
?. (is-nil head.node-xdat) ~
=/ elem-xkey tail.node-xdat
=/ elem-xdat (need xdat:(focus elem-xkey))
?. ?=([%face *] elem-xdat) ~
::
`xray.elem-xdat
--
::
:: Is this xray a tree? (the %tree xpat)
::
++ tree-xpat
|^ |= =input=xray
^- (unit xpat)
=/ input-xkey=xkey xkey.input-xray
=/ inxdat=xdat (need xdat.input-xray)
?. ?=([%fork *] inxdat) ~
=/ branches ~(tap in set.inxdat)
?. ?=([* * ~] branches) ~
=/ nil i.branches
=/ node i.t.branches
|-
?: (is-nil node) $(node nil, nil node)
?. (is-nil nil) ~
=/ node-xdat=xdat (need xdat:(focus node))
?. ?=([%cell *] node-xdat) ~
?. (is-pair-of-refs-to input-xkey tail.node-xdat)
~
=/ elem-xdat (need xdat:(focus head.node-xdat))
?. ?=([%face *] elem-xdat) ~
`[%tree xray.elem-xdat]
::
++ is-pair-of-refs-to
|= [target=xkey cell=xkey]
^- ?
=/ =xdat (need xdat:(focus cell))
?: ?=([%face *] xdat) $(cell xray.xdat)
?. ?=([%cell *] xdat) %.n
?. (is-ref-to target head.xdat) %.n
?. (is-ref-to target tail.xdat) %.n
%.y
--
::
::
:: Is this xray a list? (a %list, %tape, %path, or %tour xpat)
::
:: This handles the special case of path literals not having a
:: list type: `/a/b` is just a macro for `[%a %b ~]`, but doesn't
:: accept this for other lists: We don't want ['a' %n ~] to be printed
:: as `['a' ~[%n]]`. However, we WILL print ['a' ~['b' 'c']] as ~['a'
:: 'b' 'c']. And that's what `match-list` matches on.
::
:: `match-list` checks is a type is informally a list: Is it a
:: cell with a (formal or informal) list in its tail?
::
:: `match-list-type-strict` checks if a list literally has the shape
:: of a `list type`. It must be a loop reference and fork of two
:: types, one of which is the nil type and the other is a cell with a
:: face in its head and loop reference as its tail.
::
++ list-xpat
|^ |= x=xray
^- (unit xpat)
=/ elem (match-list x)
?~ elem ~
?: (is-atom-with-aura 'tD' u.elem) [~ %tape]
?: (is-atom-with-aura 'ta' u.elem) [~ %path]
?: (is-atom-with-aura 'c' u.elem) [~ %tour]
?: (is-atom-with-aura 'tas' u.elem) [~ %path]
`[%list u.elem]
::
++ match-list
|= =input=xray
^- (unit xkey)
=/ d=xdat (need xdat.input-xray)
?+ d ~
[%face *] (match-list (focus xray.d))
[%fork *] (match-list-type-strict input-xray)
[%cell *] =/ elem-xkey=(unit xkey)
?: ?&((is-nil tail.d) (is-atom-with-aura 'tas' head.d))
`head.d
(match-list (focus tail.d))
?~ elem-xkey ~
?. (is-ref-to u.elem-xkey head.d) ~
`u.elem-xkey
==
::
++ match-list-type-strict
|= =input=xray
^- (unit xkey)
::
=/ node=(unit xkey) (fork-of-nil-and-cell input-xray)
?~ node ~
::
=/ node-xdat=xdat (need xdat:(focus u.node))
?. ?=([%cell *] node-xdat) ~
?. (is-ref-to xkey.input-xray tail.node-xdat) ~
::
=/ elem-xdat (need xdat:(focus head.node-xdat))
?. ?=([%face *] elem-xdat) ~
::
`xray.elem-xdat
--
::
:: A %gear is any core with a cell context.
::
:: A %gate is a gear with one chapter ('') with one arm ('').
::
++ core-xpat
|^ |= x=xray
^- (unit xpat)
=. x (focus xkey.x)
=/ gear (match-gear x)
?~ gear ~
=/ gate (match-gate x sample.u.gear batt.u.gear)
?^ gate gate
~ :: XX gear
::
++ match-gear
|= =input=xray
^- (unit [%gear sample=xkey context=xkey batt=xbat])
::
=/ input-xdat (need xdat.input-xray)
?. ?=([%core *] input-xdat) ~
=/ context-xkey=xkey xray.input-xdat
::
=/ context-xdat=xdat (need xdat:(focus context-xkey))
?. ?=([%cell *] context-xdat) ~
::
=/ sample-xkey=xkey head.context-xdat
=. context-xkey tail.context-xdat
`[%gear sample-xkey context-xkey batt.input-xdat]
::
++ match-gate
|= [=input=xray sample=xkey batt=xbat]
^- (unit [%gate xkey xkey])
::
=/ input-xdat (need xdat.input-xray)
?. ?=([%core *] input-xdat) ~
=/ chapters ~(tap by batt)
::
?~ chapters ~
?^ t.chapters ~
?. =(p.i.chapters '') ~
::
=/ arms=(list (pair term xkey)) ~(tap by q.q.i.chapters)
::
?~ arms ~
?^ t.arms ~
?. =(p.i.arms '') ~
::
=/ product=xkey q.i.arms
::
`[%gate sample product]
--
::
--
::
:: Determines the loose shape of each node in an ximage.
::
:: This is trival for everything besides forks, and for forks, we just
:: find all the non-fork branches with `xray-branches` and then calculate
:: the union type with `combine`.
::
:: Here's some pseudocode for the essence of the logic that we're
:: trying to implement here:
::
:: xdat Data = Noun | Void
:: | Atom | Cnst
:: | Cell Data Data
:: | Fork Data Data
::
:: xdat Shape = Noun | Void | Atom | Cnst | Cell | Junc
::
:: shape :: Data -> Shape
:: shape Noun = Noun
:: shape Void = Void
:: shape Atom = Atom
:: shape Cnst = Atom
:: shape (Cell a b) = Cell
:: shape (Fork x y) = forkShape (shape x) (shape y)
::
:: forkShape :: Shape -> Shape -> Shape
:: forkShape Void x = x
:: forkShape Noun _ = Noun
:: forkShape Junc _ = Junc
:: forkShape Atom Cell = Junc
:: forkShape x y | x==y = x
:: forkShape x y = forkShape y x
::
++ decorate-ximage-with-xshapes
|^ |= xt=ximage
^- ximage
=/ keys ~(tap in ~(key by xrays.xtable.xt))
%= xt xtable
%+ (fold xtable xkey)
[xtable.xt keys]
|= [st=xtable i=xkey]
xtable:(xray-xshape st i)
==
::
:: Calculate the xray
::
++ xray-xshape
|= [st=xtable i=xkey]
^- [xshape =xtable]
::
=/ x=xray (focus-on st i)
=/ dat (need xdat.x)
::
?^ xshape.x [u.xshape.x st] :: already processed
::
=^ res=xshape st
?- dat
%noun [%noun st]
%void [%void st]
[%atom *] [%atom st]
[%cell *] [%cell st]
[%core *] [%cell st]
[%fork *] (fork-xshape st (xray-branches st xkey.x))
[%face *] (xray-xshape st xray.dat)
[%pntr *] !! :: run `cleanup` first
==
::
=/ y=xray x :: type system hack
=. xshape.y `res
=. xrays.st (~(put by xrays.st) xkey.y y)
[res st]
::
:: Because `branches` comes from `xray-branches`, none of the xrays
:: we're folding over will be forks, therefore, we none of our calls
:: to `xray-xshape` will recurse: we won't get stuck in a loop.
::
++ fork-xshape
|= [st=xtable branches=(set xkey)]
^- [xshape xtable]
%+ (fold (pair xshape xtable) xkey)
[[%void st] ~(tap in branches)]
|= [acc=(pair xshape xtable) i=xkey]
^- [xshape xtable]
=^ res st (xray-xshape q.acc i)
[(combine p.acc res) st]
::
:: Given the xshapes of two types, determine the xshape of their union.
::
++ combine
|= [x=xshape y=xshape]
^- xshape
?: =(x y) x
?: =(x %void) y
?: =(y %void) x
?: =(x %noun) %noun
?: =(y %noun) %noun
%junc
--
::
:: Determine the `xrole` of each xray node, restructuring forks to make
:: them coherent.
::
:: This is fairly simple for non-role types, and we handle forks the
:: same way we do with `xshape` detection. The basic move is to get all
:: of the non-fork branches using `xray-branches`, make a list of them,
:: and fold a function over that. However, the function we're folding with
:: is MUCH more complicated.
::
:: One of the big sources of complexity is that we need to restructure
:: the shape of forks, so we will be creating a bunch of new graph
:: nodes, and rearranging them. For example, if we want to merge a
:: junction (a fork of an atom and a cell) with an atom type, we create
:: a new junction xray that is a fork of the old cell type and the
:: union of the two cell types. The function we fold with is `merge`,
:: but the bulk of the logic lives in `combine`.
::
:: Here's some pseudocode for the essence of the logic that we're
:: trying to implement here. Note that the code is actually shaped
:: quite differently than this and is much more detailed. So, try
:: to wrap your head around WHY this makes sense instead of just
:: trying to use this a map for the actual code.
::
:: xdat Data = Noun | Void
:: | Atom | Cnst
:: | Cell Data Data
:: | Fork Data Data
::
:: xdat Shape = Noun | Void | Atom | Cnst | Cell | Junc
::
:: xdat Role = Void | Noun
:: | Atom | Cnst
:: | Tall | Wide | Instance
:: | Option | Union | Conjunc | Junc
:: | Misjunc
::
:: role :: Data -> Unit Role
:: role Noun = ~
:: role Void = ~
:: role Atom = ~
:: role Cnst = ~
:: role (Cell hd _) = `(cellRoleByHead (shape hd))
:: role (Fork x y) = `(forkRole (shape x, role x) (shape y, role y))
::
:: cellRoleByHead :: Shape -> Unit Role
:: cellRoleByHead Cell = `Wide
:: cellRoleByHead Cnst = `Instance
:: cellRoleByHead Atom = `Tall
:: cellRoleByHead _ = ~
::
:: forkRole :: (Shape,Role) + (Shape,Role) -> Role
:: forkRole
:: Option <- option + option
:: Union <- union + union
:: Conjunc <- tall + wide
:: Junc <- atom + cell
:: Misjunc <- otherwise
:: where
:: option = role==Option || role==Instance
:: union = shape==Cnst || role==Union
:: atom = shape==Atom || shape==Cnst
:: cell = shape==Cell
:: tall = role==Tall
:: wide = role==Wide
:: cell = shape==Cell
::
++ decorate-ximage-with-xroles
|^ |= xt=ximage
^- ximage
::
=/ keys=(list xkey) ~(tap in ~(key by xrays.xtable.xt))
::
%= xt xtable
%+ (fold xtable xkey) [xtable.xt keys]
|= [st=xtable i=xkey]
^- xtable
xtable:(xray-xrole st i)
==
::
:: Given a type and xdat, either find the xray corresponding to that
:: type, or create a new one.
::
:: These xrays are for internal types that we create in order to
:: restructure forks, therefore they will never be loops.
::
++ alloc-fork-xray
|= [st=xtable ty=type d=xdat]
^- [xkey xtable]
=/ old=(unit xkey) (~(get by type-map.st) ty)
?^ old [u.old st]
=/ xkey next.st
=/ res=xray [xkey ty `d ~ ~ ~ ~ ~ ~ `%.n]
=. next.st +(xkey)
=. xrays.st (~(put by xrays.st) xkey.res res)
=. type-map.st (~(put by type-map.st) type.res xkey.res)
[xkey st]
::
:: Produces an xtable updated to have xrole information for a certain
:: node. For convenience, it also returns the xrole itself.
::
:: Note that the xrole of a core is always %wide, since the head of
:: a core is a battery, which is always a cell.
::
++ xray-xrole
|= [st=xtable i=xkey]
^- [=xrole =xtable]
=/ x=xray (focus-on st i)
::
=/ old xrole.x
?^ old [u.old st]
::
=/ dat=xdat (need xdat.x)
::
=^ res=xrole st
?: ?=([~ %void] xshape.x) [%void st] :: optimization
?: ?=([~ %noun] xshape.x) [%noun st] :: optimization
?- dat
%noun :_ st %noun
%void :_ st %void
[%atom *] :_ st (atom-xrole dat)
[%cell *] :_ st (cell-xrole-by-head (focus-on st head.dat))
[%core *] :_ st %wide
[%face *] (xray-xrole st xray.dat)
[%pntr *] !! :: Run `cleanup` first.
[%fork *] (fork-xrole st (xray-branches st xkey.x))
==
::
=. xrays.st (~(put by xrays.st) xkey.x x(xrole `res))
[res st]
::
:: Determines the xrole of an atom xray.
::
++ atom-xrole
|= [%atom =aura =constant=(unit @)]
^- xrole
?~ constant-unit %atom
[%constant u.constant-unit]
::
:: Calculate the xrole of a %cell xray.
::
:: XX I'm not sure this is correct. Should a cell with a noun head
:: be %tall? How about a %void head?
::
:: - A %void head should probably be %void.
:: - A %noun head should probably just be %cell, a xrole separate from
:: (%wide and %tall) to make the ambiguity explicit. For example,
:: the union of `[* @] + [@ @]` should be a misjunction, which isn't
:: what's happening now.
::
:: XX Also! A cell with a junction in its head should be a
:: conjunction, right?
::
++ cell-xrole-by-head
|= head=xray
^- xrole
::
=/ =xshape (need xshape.head)
=/ =xdat (need xdat.head)
::
=/ const ?. ?=([%atom *] xdat) ~
constant.xdat
::
?: =(xshape %cell) %wide
?^ const [%instance u.const]
%tall
::
:: Determine the xrole of %fork type.
::
:: Fold over all the branches off a fork using the `merge` function,
:: and then grab its `xrole` using `xray-xrole`.
::
:: In any non-trivial cases, the xray returned from `merge` will
:: already have its `xrole` set, so recursing into `xray-xrole`
:: shouldn't be dangerous.
::
:: XX This is probably an important part of the control-flow, and it
:: might be helpful to make this invariant more prominent.
::
++ fork-xrole
|= [st=xtable fork=(set xkey)]
^- [xrole xtable]
::
=^ void st (post-xray st %void `%void)
::
=^ i=xkey st
^- [xkey xtable]
%+ (fold {xkey xtable} xkey)
[[void st] ~(tap in fork)]
|= [[k=xkey tbl=xtable] branch=xkey]
^- [xkey xtable]
(merge tbl k branch)
::
(xray-xrole st i)
::
:: Return an xray of the union of two xrays.
::
++ merge
|= [st=xtable this=xkey that=xkey]
^- [xkey xtable]
=/ this-xray=xray (focus-on st this)
=/ that-xray=xray (focus-on st that)
?: =(%void type.this-xray) [that st]
?: =(%void type.that-xray) [this st]
(combine st this that)
::
:: =collate-union: merge union maps
::
++ collate-union
|^ |= [st=xtable thick=(map atom xkey) thin=(map atom xkey)]
^- [(map atom xkey) xtable]
::
=/ list=(list (pair atom xkey)) ~(tap by thin)
::
|- ^- [(map atom xkey) xtable]
::
?~ list [thick st]
=/ item=(unit xkey) (~(get by thick) p.i.list)
=^ merged=xkey st ?~ item [q.i.list st]
(merge-instances st p.i.list u.item q.i.list)
=/ new-thick (~(put by thick) p.i.list merged)
$(list t.list, thick new-thick)
::
:: We want to merge two cell-types that have the same head; gross.
::
:: First, get both tail types, merge them, produce a new cell type
:: with the merged tail.
::
++ merge-instances
|= [st=xtable =atom =x=xkey =y=xkey]
^- [xkey xtable]
::
=/ x-xray=xray (focus-on st x-xkey)
=/ x-xdat=xdat (need xdat.x-xray)
|- ^- [xkey xtable]
::
?: ?=([%face *] x-xdat)
$(x-xdat (need xdat:(focus-on st xray.x-xdat)))
?> ?=([%cell *] x-xdat)
=/ x-tail=xkey tail.x-xdat
=/ head-xray=xray (focus-on st head.x-xdat)
::
=/ y-xray=xray (focus-on st y-xkey)
=/ y-xdat=xdat (need xdat.y-xray)
|- ^- [xkey xtable]
::
?: ?=([%face *] y-xdat)
$(y-xdat (need xdat:(focus-on st xray.y-xdat)))
?> ?=([%cell *] y-xdat)
=/ y-tail=xkey tail.y-xdat
::
=^ merged-tail st (merge st x-tail y-tail)
=/ tail-xray=xray (focus-on st merged-tail)
::
=/ res-ty=type [%cell type.head-xray type.tail-xray]
=/ res-xdat=xdat [%cell xkey.head-xray xkey.tail-xray]
=^ res-xkey st (alloc-fork-xray st res-ty res-xdat)
::
=/ res-xray=xray (focus-on st res-xkey)
=. xshape.res-xray `%cell
=. xrole.res-xray `[%instance atom]
=. xrays.st (~(put by xrays.st) res-xkey res-xray)
::
[xkey.res-xray st]
--
::
:: =collate-option: merge option maps
::
++ collate-option
|= [st=xtable thick=(map atom xkey) thin=(map atom xkey)]
^- [(map atom xkey) xtable]
=/ list=(list (pair atom xkey)) ~(tap by thin)
|-
^- [(map atom xkey) xtable]
?~ list [thick st]
=/ item=(unit xkey) (~(get by thick) p.i.list)
=^ merged=xkey st ?~ item [q.i.list st]
(merge st u.item q.i.list)
=/ new-thick (~(put by thick) p.i.list merged)
$(list t.list, thick new-thick)
::
:: Create a new xray that is the union of two xrays, but with a
:: coherent `xrole` (where possible, otherwise a %misjunction).
::
:: This often needs to restructure things. For example, if we are
:: combining `{{~ ~} {%a ~}}` and `{{~ ~} {%b ~}}`, we should produce
:: `{{~ ~} ?%({%a ~} {%b ~})}`.
::
:: This is a massive switch on the xroles of the two arguments. This
:: is *very* easy to get wrong, so I structured things this in a
:: verbose and explicit way, so that you should be able to easily go
:: through each case and verify that it's doing the right thing.
::
++ combine
|^ |= [st=xtable =this=xkey =that=xkey]
^- [xkey xtable]
::
?: =(this-xkey that-xkey) [this-xkey st]
::
=^ this-xrole=xrole st (xray-xrole st this-xkey)
=^ that-xrole=xrole st (xray-xrole st that-xkey)
::
=/ this=[=xkey =xrole] [this-xkey this-xrole]
=/ that=[=xkey =xrole] [that-xkey that-xrole]
::
?: ?=(%void xrole.this) [that-xkey st]
?: ?=(%void xrole.that) [this-xkey st]
?: ?=(%noun xrole.this) (noun-noun st this that)
?: ?=(%noun xrole.that) (noun-noun st that this)
?: ?=([%misjunction *] xrole.this) (misjunkin st this that)
?: ?=([%misjunction *] xrole.that) (misjunkin st this that)
::
?- xrole.that
%atom
?- xrole.this
%atom (atom-atom st that this)
%tall (atom-cell st that this)
%wide (atom-cell st that this)
[%constant *] (atom-atom st that this)
[%instance *] (atom-cell st that this)
[%option *] (atom-optn st that this)
[%union *] (atom-cell st that this)
[%junction *] (atom-junc st that this)
[%conjunction *] (atom-cell st that this)
==
%tall
?- xrole.this
%atom (atom-cell st this that)
%tall (tall-tall st this that)
%wide (wide-tall st this that)
[%constant *] (atom-cell st this that)
[%instance *] (tall-tall st this that)
[%option *] (atom-cell st this that)
[%union *] (tall-tall st this that)
[%junction *] (cell-junc st that this)
[%conjunction *] (tall-conj st that this)
==
%wide
?- xrole.this
%atom (atom-cell st this that)
%tall (wide-tall st that this)
%wide (wide-wide st this that)
[%constant *] (atom-cell st this that)
[%instance *] (wide-tall st this that)
[%option *] (atom-cell st this that)
[%union *] (wide-tall st that this)
[%junction *] (cell-junc st that this)
[%conjunction *] (wide-conj st that this)
==
[%constant *]
?- xrole.this
%atom (atom-atom st that this)
%tall (atom-cell st that this)
%wide (atom-cell st that this)
[%constant *] (cnst-cnst st that this)
[%instance *] (atom-cell st that this)
[%option *] (cnst-optn st that this)
[%union *] (atom-cell st that this)
[%junction *] (atom-junc st that this)
[%conjunction *] (atom-cell st that this)
==
[%instance *]
?- xrole.this
%atom (atom-cell st this that)
%tall (tall-tall st this that)
%wide (wide-tall st this that)
[%constant *] (atom-cell st this that)
[%instance *] (inst-inst st this that)
[%option *] (atom-cell st this that)
[%union *] (inst-unin st that this)
[%junction *] (cell-junc st that this)
[%conjunction *] (tall-conj st that this)
==
[%option *]
?- xrole.this
%atom (atom-optn st this that)
%tall (atom-cell st that this)
%wide (atom-cell st that this)
[%constant *] (cnst-optn st this that)
[%instance *] (atom-cell st that this)
[%option *] (optn-optn st this that)
[%union *] (atom-cell st that this)
[%junction *] (atom-junc st that this)
[%conjunction *] (atom-cell st that this)
==
[%union *]
?- xrole.this
%atom (atom-cell st this that)
%tall (tall-tall st this that)
%wide (wide-tall st this that)
[%constant *] (atom-cell st this that)
[%instance *] (inst-unin st this that)
[%option *] (atom-cell st this that)
[%union *] (unin-unin st this that)
[%junction *] (cell-junc st that this)
[%conjunction *] (tall-conj st that this)
==
[%junction *]
?- xrole.this
%atom (atom-junc st this that)
%tall (cell-junc st this that)
%wide (cell-junc st this that)
[%constant *] (atom-junc st this that)
[%instance *] (cell-junc st this that)
[%option *] (atom-junc st this that)
[%union *] (cell-junc st this that)
[%junction *] (junc-junc st this that)
[%conjunction *] (cell-junc st this that)
==
[%conjunction *]
?- xrole.this
%atom (atom-cell st this that)
%tall (tall-conj st this that)
%wide (wide-conj st this that)
[%constant *] (atom-cell st this that)
[%instance *] (tall-conj st this that)
[%option *] (atom-cell st this that)
[%union *] (tall-conj st this that)
[%junction *] (cell-junc st that this)
[%conjunction *] (conj-conj st this that)
==
==
::
:: This guy ACTUALLY constructs the union type by calling `fork`
:: from `hoon.hoon`. To populate the `xdat` field, we just call
:: `xray-branches` on both of the input xrays and union the result.
::
:: Node that `xray-branches` produces a singleton set when called on
:: a node that isn't a fork, so this works correctly both for
:: joining fork node and non-fork nodes.
::
++ join
|= [st=xtable this=xkey that=xkey]
^- [xkey xtable]
::
?: =(this that) [this st]
::
=/ this-xray=xray (focus-on st this)
=/ that-xray=xray (focus-on st that)
::
=/ union-type=type (fork ~[type.this-xray type.that-xray])
::
=/ this-fork (xray-branches st this)
=/ that-fork (xray-branches st that)
=/ branches (~(uni in this-fork) that-fork)
::
(alloc-fork-xray st union-type [%fork branches])
::
:: Create the join of two xrays with the specified `xrole`.
::
++ joint
|= [st=xtable x=xkey y=xkey =xrole]
^- [xkey xtable]
::
=^ joined=xkey st (join st x y)
=/ jray (focus-on st joined)
=. st (replace-xray st jray(xrole `xrole))
[xkey.jray st]
::
++ atom-atom :: Can't discriminate
|= [st=xtable [x=xkey xrole] [y=xkey xrole]]
(joint st x y [%misjunction x y])
::
++ atom-cell
|= [st=xtable [a=xkey xrole] [c=xkey xrole]]
(joint st a c [%junction a c])
::
++ wide-tall
|= [st=xtable [w=xkey xrole] [t=xkey xrole]]
(joint st w t [%conjunction w t])
::
++ noun-noun :: Can't discriminate
|= [st=xtable [x=xkey xrole] [y=xkey xrole]]
(joint st x y [%misjunction x y])
::
++ misjunkin
|= [st=xtable [x=xkey xrole] [y=xkey xrole]]
(joint st x y [%misjunction x y])
::
++ atom-optn :: Can't discriminate
|= [st=xtable [x=xkey xrole] [y=xkey [%option *]]]
(joint st x y [%misjunction x y])
::
++ cnst-optn
|= $: st=xtable
[x=xkey [%constant xv=atom]]
[y=xkey [%option ym=(map atom xkey)]]
==
=^ res st (collate-option st [[xv x] ~ ~] ym)
(joint st x y [%option res])
::
:: XX If the have the same xkey, produce a new instance who's tail
:: is the union of both tails.
::
++ inst-inst
|= $: st=xtable
[x=xkey [%instance xv=atom]]
[y=xkey [%instance yv=atom]]
==
=^ res st (collate-union st [[xv x] ~ ~] [[yv y] ~ ~])
(joint st x y [%union res])
::
++ inst-unin
|= $: st=xtable
[x=xkey [%instance xv=atom]]
[y=xkey [%union ym=(map atom xkey)]]
==
=^ res st (collate-union st [[xv x] ~ ~] ym)
(joint st x y [%union res])
::
++ junc-junc
|= $: st=xtable
[x=xkey [%junction xflat=xkey xdeep=xkey]]
[y=xkey [%junction yflat=xkey ydeep=xkey]]
==
=^ flat st (merge st xflat yflat)
=^ deep st (merge st xdeep ydeep)
(joint st x y [%junction flat deep])
::
:: XX Justify why this is always a misjunction. What if they have
:: the same head? Wouldn't producing a wide with that head and the
:: union of the two tails be coherent?
::
:: I *can* get the head and the tail of both and merge them,
:: why would this never make sense?
::
++ tall-tall
|= [st=xtable [x=xkey xrole] [y=xkey xrole]]
(joint st x y [%misjunction x y])
::
++ unin-unin
|= $: st=xtable
[x=xkey [%union xm=(map atom xkey)]]
[y=xkey [%union ym=(map atom xkey)]]
==
=^ res st (collate-union st xm ym)
(joint st x y [%union res])
::
:: XX Can this ever produce a coherent result? If it can't, should
:: the result be a misjunction, or should the misjunction instead
:: exist in the wide part of the resulting conjunction (what this
:: code will do)?
::
++ wide-conj
|= $: st=xtable
[x=xkey xrole]
[y=xkey [%conjunction ywide=xkey ytall=xkey]]
==
=^ new-wide st (merge st x ywide)
(joint st x y [%conjunction new-wide ytall])
::
:: XX Justify why this is always a misjunction. What if they have
:: the same head? Wouldn't producing a wide with that head and the
:: union of the two tails be coherent?
::
:: I *can* get the head and the tail and merge
:: them, why would this never make sense?
::
++ wide-wide
|= [st=xtable [x=xkey xrole] [y=xkey xrole]]
(joint st x y [%misjunction x y])
::
++ cnst-cnst
|= $: st=xtable
[x=xkey [%constant xv=atom]]
[y=xkey [%constant yv=atom]]
==
=^ res st (collate-option st [[xv x] ~ ~] [[yv y] ~ ~])
(joint st x y [%option res])
::
++ optn-optn
|= $: st=xtable
[x=xkey [%option xm=(map atom xkey)]]
[y=xkey [%option ym=(map atom xkey)]]
==
=^ res st (collate-option st xm ym)
(joint st x y [%option res])
::
++ tall-conj
|= $: st=xtable
[x=xkey xrole]
[y=xkey [%conjunction ywide=xkey ytall=xkey]]
==
=^ new-tall st (merge st x ytall)
(joint st ywide new-tall [%conjunction ywide new-tall])
::
++ atom-junc
|= $: st=xtable
[x=xkey xrole]
[y=xkey [%junction yflat=xkey ydeep=xkey]]
==
=^ flat-merged st (merge st x yflat)
(joint st flat-merged ydeep [%junction flat-merged ydeep])
::
++ cell-junc
|= $: st=xtable
[x=xkey xrole]
[y=xkey [%junction yflat=xkey ydeep=xkey]]
==
=^ deep-merged st (merge st x ydeep)
(joint st yflat deep-merged [%junction yflat deep-merged])
::
++ conj-conj
|= $: st=xtable
[x=xkey [%conjunction xwide=xkey xtall=xkey]]
[y=xkey [%conjunction ywide=xkey ytall=xkey]]
==
=^ new-wide st (merge st xwide ywide)
=^ new-tall st (merge st xtall ytall)
(joint st new-wide new-tall [%conjunction new-wide new-tall])
::
--
--
::
:: Convert an `ximage` to a spec for printing.
::
++ ximage-to-spec
|= [=top=xkey img=xtable]
^- spec
::
|^ (xray-to-spec ~ top-xkey)
::
+$ trace (set xkey)
::
++ xray-to-spec
|= [tr=trace i=xkey]
^- spec
=/ x=xray (focus-on img i)
=/ d=xdat (need xdat.x)
?: (~(has in tr) i) [%loop (synthetic i)]
?^ recipes.x (recipe-to-spec tr n.recipes.x)
%+ wrap-with-loop-binding x
=. tr (~(put in tr) i)
^- spec
?@ d [%base d]
?- -.d
%atom ?~ constant.d [%base %atom aura.d]
?: &(=(%n aura.d) =(`@`0 u.constant.d)) [%base %null]
[%leaf aura.d u.constant.d]
%cell =/ hd `spec`$(i head.d)
=/ tl `spec`$(i tail.d)
=/ both-basic &(=([%base %noun] hd) =([%base %noun] tl))
?: both-basic [%base %cell]
?: ?=(%bscl -.tl) [%bscl hd +.tl]
[%bscl hd tl ~]
%core =/ payld $(i xray.d)
=/ batt ^- (map term spec)
%- ~(run by (flatten-battery batt.d))
|= =xkey ^$(i xkey)
?- r.garb.d
%lead [%bszp payld batt]
%gold [%bsdt payld batt]
%zinc [%bstc payld batt]
%iron [%bsnt payld batt]
==
%pntr !!
%face =/ =spec $(i xray.d)
?^(face.d spec [%bsts face.d spec])
%fork =/ =xrole (need xrole.x)
|^ ?+ xrole
~& [%unexpected-fork-xrole xkey.x d xrole choices]
[%bswt choices]
%noun [%base %noun]
%void [%base %void]
[%option *] [%bswt choices]
[%union *] [%bscn choices]
[%misjunction *] [%bswt choices]
[%junction *] :+ %bsvt
^$(i flat.xrole)
^$(i deep.xrole)
[%conjunction *] :+ %bskt
^$(i wide.xrole)
^$(i tall.xrole)
==
::
++ choices
^- [i=spec t=(list spec)]
=- ?>(?=(^ -) -)
(turn ~(tap in set.d) |=(=xkey ^^$(i xkey)))
--
==
::
:: If this xray references itself, generate a $$ binding in the output
:: spec, and then we can just reference ourselves by name.
::
++ wrap-with-loop-binding
|= [xr=xray sp=spec]
^- spec
?. (need loop.xr) sp
=/ nm (synthetic xkey.xr)
[%bsbs [%loop nm] [[nm sp] ~ ~]]
::
:: If we have a `recipe`, we can generate much nicer output.
::
++ recipe-to-spec
|= [tr=trace r=recipe]
^- spec
?- -.r
%direct [%like [term.r ~] ~]
%synthetic =/ subs %+ turn list.r
|= =xkey (xray-to-spec tr xkey)
[%make [%limb term.r] subs]
==
::
:: Generate symbols to be used for loop references.
::
:: given a small atom (:number), construct a coresponding symbol
:: using the Hebrew alphabet.
::
++ synthetic
|= number=@ud
^- @tas
=/ alf/(list term)
^~ :~ %alf %bet %gim %dal %hej %vav %zay %het
%tet %yod %kaf %lam %mem %nun %sam %ayn
%pej %sad %qof %res %sin %tav
==
?: (lth number 22)
(snag number alf)
(cat 3 (snag (mod number 22) alf) $(number (div number 22)))
::
:: Batteries in a `spec` do not have chapters, so we just ignore
:: the chapters and flatten the whole battery down to `(map term xkey)`.
::
++ flatten-battery
|= batt=(batt-of xkey)
^- (map term xkey)
=/ chapters ~(tap by batt)
|- ^- (map term xkey)
?~ chapters ~
(~(uni by q.q.i.chapters) $(chapters t.chapters))
::
--
--