urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2025-01-06 04:36:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

ska: adds arm comments and TODOs

Browse Source
This commit is contained in:
Joe Bryan 2024-06-04 17:07:26 -04:00
parent f3f99c035d
commit 8805494906
1 changed files with 33 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
hoon/codegen/lib/skan.hoon
View File

@ -60,12 +60,16 @@
place=(unit spot)
== ==
|%
:: +memo: check for memoized, finalized analysis
::
:: hits are guaranteed complete
:: XX: add debug sanity-check that entries are never in [melo.gen]
::
++ memo
~/ %memo
|= [entr=@hail form=* less=naan]
^- (unit [naan lore])
=/ germ (~(get ja memo.gen) form)
:: => (?:((gth 10 (lent germ)) same (slog leaf+(scow %ud (lent germ)) ?~(place-arm ~ [(blot ">> " u.place-arm) ~]))) .)
|- ^- (unit [naan lore])
?~ germ ~
?. (~(huge so soot.i.germ) sock.less)
@ -81,9 +85,13 @@
|= [@hail a=cape b=cape]
~(cut ca (~(uni ca a) b))
=. call.gen (~(put by call.gen) entr [less more form ~ & | place.dad space.i.germ])
:: XX assert not in melo.gen
`[more gen]
::
:: +melo: check for in-progress analysis
::
:: hits are estimates, must be validated in +seal
:: XX: add [entr] to [wait.gen] to avoid "priority inversion"
::
++ melo
~/ %melo
|= [entr=@hail form=* less=naan]
@ -100,15 +108,6 @@
=/ more [mope root.i.gorm]
::
=. remo.gen (~(put by remo.gen) entr [site.i.gorm sock.less])
::
:: :: propagate memoized subject needs
:: =/ pant (~(due qui prot.less) want.i.gorm)
:: =. want.gen
:: %- (~(uno by want.gen) pant)
:: |= [@hail a=cape b=cape]
:: ~(cut ca (~(uni ca a) b))
:: =. call.gen (~(put by call.gen) entr [less more form ~ & & place.dad space.i.gorm])
::
=. loop.gen
%+ roll loom.i.gorm
|= [[c=@hail t=@hail s=sock n=noon] gen=loop=_loop.gen]
@ -122,6 +121,11 @@
::
`[more gen]
::
:: +loop: check for recursion
::
:: hits are estimates, must be validated in +mend and +seal
:: XX: improve debug output (link site -> target -> finalization site)
::
++ loop
~/ %loop
|= [roil=@hail fork=naan sand=naan]
@ -151,6 +155,10 @@
=> !@(call.verb ((onto:blot "<3 " roil place.dad i.tack.dad ~ ~) .) .)
`gen(wait (~(put by wait.gen) i.tack.dad (zing (flop [fire wire]))))
::
:: +hint: update lore after analyzing through hint (currently just %fast)
::
:: XX: validate recursive hint processing, refactor
::
++ hint
~/ %hint
|= [form=h=@ mild=naan bite=naan]
@ -230,6 +238,8 @@
==
==
::
:: +bide: save non-final results for "meloization"
::
++ bide
~/ %bide
|= [entr=@hail form=* less=naan more=naan space=(unit spot)]
@ -252,6 +262,10 @@
[[c t s n] loom] :: XX skip if ?=(~ p) ?
(~(add ja melo.gen) form [[sutt want sock.more have space] entr place.dad loom])
::
:: +mend: fixpoints to validate pseudo-recursive estimates
::
:: XX performance
::
++ mend
=< $
~% %mend ..mend ~
@ -287,6 +301,12 @@
?. =(nap nop) redo-loop
[?=(~ nop) gen]
::
:: +seal: finalize analysis (including recursive descendants)
::
:: XX: incorporate "melo" hits into wait.gen to avoid "priority inversion"
:: XX: debug %ices-fail-2, prevent memoization
:: XX: refactor
::
++ seal
~/ %seal
|= [entr=@hail sane=? wise=(list @hail) space=(unit spot)]
@ -384,6 +404,8 @@
(~(add ja moan.gen) form [soot u.load ices lope fizz])
gen
::
:: +scan: statefully analyze formula against subject
::
++ scan
~/ %scan
|= queu=i=todo