ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-17 20:01:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Implementation of new %cb runes, without syntax.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-11-29 20:42:25 -08:00
parent 4ab6596013
commit 6070be2a7a
1 changed files with 50 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

53
arvo/hoon.hoon
View File

@ -1,4 +1,4 @@
:::::: :::::::::::::::::::::::::::::::::::::::::::::::::::::: !::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::: :::::: Preface :::::: :::::: :::::: Preface ::::::
:::::: :::::::::::::::::::::::::::::::::::::::::::::::::::::: :::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
?> ?=(@ .) :: atom subject ?> ?=(@ .) :: atom subject
@ -29,7 +29,7 @@
++ axis ,@ :: tree address ++ axis ,@ :: tree address
++ also ,[p=term q=wing r=type] :: alias ++ also ,[p=term q=wing r=type] :: alias
++ bank (list ,@cF) :: UTF-32 string ++ bank (list ,@cF) :: UTF-32 string
++ base ?([%atom p=odor] %noun %cell %bean %null) :: axils, @ * ^ ? ~ ++ base ?([%atom p=odor] %noun %cell %bean %void %null)
++ bean ,? :: 0=&=yes, 1=|=no ++ bean ,? :: 0=&=yes, 1=|=no
++ beer $|(@ [~ p=twig]) :: simple embed ++ beer $|(@ [~ p=twig]) :: simple embed
++ beet $| @ :: advanced embed ++ beet $| @ :: advanced embed
@ -216,7 +216,7 @@
[%cbpm p=twig q=twig] :: pairhead fork (bush) [%cbpm p=twig q=twig] :: pairhead fork (bush)
[%cbbr p=twig q=twig] :: atom fork (reed) [%cbbr p=twig q=twig] :: atom fork (reed)
[%cbwt p=(list twig)] :: untagged fork [%cbwt p=(list twig)] :: untagged fork
[%cbzy p=term q=@] :: symbol [%cbzy p=stem] :: symbol
[%cbzz p=base] :: base [%cbzz p=base] :: base
:: :::::: tuples :: :::::: tuples
[%clcb p=twig q=twig] :: [q p] [%clcb p=twig q=twig] :: [q p]
@ -326,6 +326,7 @@
[%zpwt p=$|(p=@ [p=@ q=@]) q=twig] :: restrict hoon vers. [%zpwt p=$|(p=@ [p=@ q=@]) q=twig] :: restrict hoon vers.
[%zpzp ~] :: always crash [%zpzp ~] :: always crash
== :: == ::
++ stem (pair term ,@) ::
++ tine (list ,[p=tile q=twig]) :: ++ tine (list ,[p=tile q=twig]) ::
++ tusk (list twig) :: ++ tusk (list twig) ::
++ tyre (list ,[p=term q=twig]) :: ++ tyre (list ,[p=term q=twig]) ::
@ -6750,6 +6751,7 @@
%noun [%dttr [%dtzz %$ 0] [[%dtzz %$ 0] [%dtzz %$ 1]]] %noun [%dttr [%dtzz %$ 0] [[%dtzz %$ 0] [%dtzz %$ 1]]]
%cell =+(nec=$(sec [%axil %noun]) [nec nec]) %cell =+(nec=$(sec [%axil %noun]) [nec nec])
%bean [%dtts [%dtzz %$ 0] [%dtzz %$ 0]] %bean [%dtts [%dtzz %$ 0] [%dtzz %$ 0]]
%void [%zpzp ~]
%null [%dtzz %n %$] %null [%dtzz %n %$]
== ==
:: ::
@ -6836,6 +6838,9 @@
[%dtts [%dtzz %$ |] [~ axe]] [%dtts [%dtzz %$ |] [~ axe]]
[%dtzz %f |] [%dtzz %f |]
[%dtzz %f &] [%dtzz %f &]
::
%void
bunt
:: ::
%null %null
bunt bunt
@ -6933,6 +6938,48 @@
?:(=(toe [[%0 ~] [%0 ~]]) [%0 ~] [%2 toe]) ?:(=(toe [[%0 ~] [%0 ~]]) [%0 ~] [%2 toe])
== ==
:: ::
++ bile
^- (each line tile)
=+ boil
?: ?=([[%leaf *] *] -)
[%& [%leaf p.p.- q.p.-] q.-]
[%| -]
::
++ boil
^- tile
?+ gen [%herb gen]
::
[%cbbr *] [%reed boil(gen p.gen) boil(gen q.gen)]
[%cbcl *]
|- ^- tile
?~ p.gen [%axil %null]
?~ t.p.gen boil(gen i.p.gen)
[boil(gen i.p.gen) $(p.gen t.p.gen)]
::
[%cbcn *]
?~ p.gen
[%axil %void]
?~ t.p.gen
boil(gen i.p.gen)
=+ :* def=bile(gen i.p.gen)
^= end ^- (list line)
%+ turn `(list twig)`t.p.gen
|=(a=twig =+(bile(gen a) ?>(?=(%& -<) ->)))
==
?- -.def
%& [%kelp p.def end]
%| ?~(end p.def [%fern p.def [%kelp end] ~])
==
::
[%cbpm *] [%bush boil(gen p.gen) boil(gen q.gen)]
[%cbsg *] [%weed p.gen]
[%cbwt *] =+ (turn p.gen |=(a=twig boil(gen a)))
?~(- [%axil %void] [%fern -])
[%cbzy *] [%leaf p.gen]
[%cbzz *] [%axil p.gen]
[%zpcb *] boil(gen q.gen)
==
::
++ open ++ open
^- twig ^- twig
?- gen ?- gen