urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-02 08:55:07 +03:00
Code Issues Packages Projects Releases Wiki Activity

Partial %143-ization of deco.

Browse Source
This commit is contained in:
Elliot Glaysher 2017-11-14 13:16:06 -08:00
parent eee8697782
commit 64787c8096
1 changed files with 19 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
gen/deco.hoon
View File

@ -78,9 +78,8 @@
:- %say
|= *
=< [%noun (say-hello %world)]
=> :> #
:> # %arch
:> #
=> :> # %arch
:>
:> structures for our imaginary hello, world generator.
:>
:> nothing forces us to put structures in a separate core.
@ -95,24 +94,25 @@
:> in a separate chapter (separated by {+|}).
|%
:> # %model
:>
:> models (molds) are functions that normalize nouns.
:>
:> arms producing molds are introduced with {+=}. for molds,
:> we decorate the mold rather than the arm. the compiler
:> will copy the mold decoration onto the arm.
+|
+= spot {p/@ q/@} :< a coordinate
+= spot [p=@ q=@] :< a coordinate
+= tops :> also a coordinate
{p/@ q/@}
[p=@ q=@]
+= goof :> a simple tuple
$: foo/@ :< something mysterious
bar/@ :< go here for drink
moo/(binary-tree juice) :< cows do this
$: foo=@ :< something mysterious
bar=@ :< go here for drink
moo=(binary-tree juice) :< cows do this
==
+= juice :> fruity beverage
$% {$plum p/@} :< fresh prune
{$pear p/@ q/@} :< good for cider
{$acai p/@} :< aztec superfood
$% [%plum p=@] :< fresh prune
[%pear p=@ q=@] :< good for cider
[%acai p=@] :< aztec superfood
==
:> #
:> # %pattern
@ -124,8 +124,8 @@
:> or "higher-kinded types".
+|
++ binary-tree :< tree pattern
|* a/$-(* *)
$@($~ {n/a l/(binary-tree a) r/(binary-tree a)})
|* a=$-(* *)
$@($~ [n=a l=(binary-tree a) r=(binary-tree a)])
:> #
:> # %constant
:> #
@ -134,8 +134,9 @@
++ answer :< answer to everything
42
--
:> #
:> # %work
:>
:> #
:> engines for our imaginary hello, world app.
:>
:> note that ++say-goodbye is the correct notation, even though
@ -147,7 +148,7 @@
:>
|= :> txt: friend to say hi to
:>
txt/term
txt=term
^- tape
"hello, {(rip 3 txt)}"
:> ++say-goodbye: say a really proper goodbye
@ -164,8 +165,8 @@
:>
|= :> txt: departing friend
:> num: number of friends
$: txt/term
num/@
$: txt=term
num=@
==
^- tape
:> foo: four
@ -176,6 +177,6 @@
"goodbye and {(scot %ud moo)}, {(rip 3 txt)}"
:> :> ++say-minimum
++ say-minimum :> minimal decoration
|= txt/term
|= txt=term
"nothing to say to {(rip 3 txt)}"
--