ee169bf · urbit.org · git.iko.soy

git.iko.soy/urbit.org

fixes broken links

commitee169bf23afdeb122e779c0b29e142e3713ca18e authorJoseph Bryan <joemfb@gmail.com> dateMon 20 Jun 2016, 19:39 (10 years ago) parent7440e08

12 files changed+28−28

compare with master

unifiedsplit

docs/about/contributing.md+1−1 docs/arvo/basic.md+6−6 docs/arvo/network.md+1−1 docs/arvo/subject.md+3−3 docs/arvo/subscriptions.md+9−9 docs/hoon/library/4h.md+1−1 docs/hoon/library/zuse/core/epur.md+1−1 docs/hoon/library/zuse/core/yu.md+1−1 docs/hoon/library/zuse/diff.md+1−1 docs/hoon/library/zuse/gate/jesc.md+1−1 docs/hoon/library/zuse/gate/tope.md+1−1 docs/hoon/syntax.md+2−2

docs/about/contributing.md+1−1

@@ -16,7 +16,7 @@ for improving our [code](https://github.com/urbit/urbit/) and

1616Our official guide to contributing can be found

1717[here](https://github.com/urbit/urbit/blob/master/CONTRIBUTING.md),

1818which is most useful for large and low-level changes. For simpler

19−revisions, refer to [Hoon Syntax](/hoon/syntax) for an in-depth guide to

19+revisions, refer to [Hoon Syntax](../../hoon/syntax) for an in-depth guide to

2020good Hoon. Alternatively, [browse the

2121source](https://github.com/urbit/arvo/blob/master/arvo/hoon.hoon).

2222

docs/arvo/basic.md+6−6

@@ -163,7 +163,7 @@ You can write:

163163### Lines 12-34

164164

165165Now let's quickly walk through this code line-by-line. Lines 12-34 are

166−wrapped in a `|%` ('[barcen](/hoon/twig/bar-core/cen-core/)'), which produces a core. Cores are a

166+wrapped in a `|%` ('[barcen](../../hoon/twig/bar-core/cen-core/)'), which produces a core. Cores are a

167167fundamental datatype in Hoon, similar to a struct, class, or object. A

168168core is just a map of names to any kind of code, whether it be functions

169169or data. Each element in this map begins with a `++` followed by the

@@ -182,7 +182,7 @@ Let's step into each of the three arms within our core.

182182 (add (five a) (three a))

183183 --

184184

185−`|=` ('[bartis](/hoon/twig/bar-core/tis-gate/)') produces a function, much like a lambda in lisp. It

185+`|=` ('[bartis](../../hoon/twig/bar-core/tis-gate/)') produces a function, much like a lambda in lisp. It

186186takes two children:

187187

1881881. A set of argument(s). In this case our argument set only contains

@@ -207,7 +207,7 @@ takes two children:

207207As above, `++three` takes an integer argument, `a`, and then executes

208208the remainder of the code with `a` set to the actual arguments.

209209

210−Similarly, `=|` ('[tisbar](/hoon/twig/tis-flow/bar-new/)') pushes its first child, `b` into our context

210+Similarly, `=|` ('[tisbar](../../hoon/twig/tis-flow/bar-new/)') pushes its first child, `b` into our context

211211(in other words, it declares a variable `b`) and executes the remainder

212212of the code. However, `b` is not an argument; `=|` sets `b` to the

213213default value of whatever type it is declared as. Since the default

@@ -225,10 +225,10 @@ value of an atom is `0`, b is set to `0`.

225225So now we have two variables: `a` is set to our input, and `b` is

226226initialized to `0`.

227227

228−One way to think about `|-` ('[barhep](/hoon/twig/bar-core/hep-loop/)') is that it lays down a recursion

228+One way to think about `|-` ('[barhep](../../hoon/twig/bar-core/hep-loop/)') is that it lays down a recursion

229229point. More on this later.

230230

231−`^-` ('[kethep](/hoon/core/ket-cast/hep-cast/)') is just a cast that sets the result of the remainder of

231+`^-` ('[kethep](../../hoon/core/ket-cast/hep-cast/)') is just a cast that sets the result of the remainder of

232232the code to an unsigned integer, `@u`.

233233

234234In pseudocode, the last three lines read like this: if `a` is less than

@@ -272,7 +272,7 @@ our cheatsheat at the bottom.

272272 =(a b) test equality

273273 (function args ...) call function with args

274274

275−Lookup each of these expressions (and all others!) in the [Twig Expressions](/hoon/twig/) definition.

275+Lookup each of these expressions (and all others!) in the [Twig Expressions](../../hoon/twig/) definition.

276276

277277### New material

278278

docs/arvo/network.md+1−1

@@ -57,7 +57,7 @@ do that is to poke it from the command line, which we we did with

5757`:echo 5` (`:[app-name] [argument(s)]`).

5858

5959In this case, `++poke-noun` takes an argument `arg` and prints it out

60−with `~&` ([sigpam](/hoon/twig/sig-hint/pam-dump/)). This is an unusual

60+with `~&` ([sigpam](../../hoon/twig/sig-hint/pam-dump/)). This is an unusual

6161rune that formally "does nothing", but the interpreter detects it and

6262printfs the first child, before executing the second as if the first

6363didn't exist. This is a slightly hacky way of printing to the console,

docs/arvo/subject.md+3−3

@@ -15,7 +15,7 @@ Now we're going to cover the boiler plate that we skimmed over earlier.

1515 =< (sum [1.000 2.000])

1616

1717The first rune, `:-` (colhep, aka

18−[:cons](/hoon/twig/col-cell/hep-cons/)), constructs the 2-element cell

18+[:cons](../../hoon/twig/col-cell/hep-cons/)), constructs the 2-element cell

1919that will be our program. The first element, `%say`, tells the

2020interpreter what to produce--in this case a value.

2121

@@ -28,7 +28,7 @@ Similarly, the rest of the program (which we construct with another

2828producing a value of type `noun`, and the code that we run to actually

2929produce our value of the type `noun`.

3030

31−`=<` ([tisgal](/hoon/twig/tis-flow/gal-rap/)) is a rune that takes two

31+`=<` ([tisgal](../../hoon/twig/tis-flow/gal-rap/)) is a rune that takes two

3232children. The second child is the context against which we run the first

3333child. So in this case, we are running the expression

3434`(sum [1.000 2.000])` against everything contained within the `|%`. In

@@ -72,7 +72,7 @@ allows a sort of reification of the context through continutations, and

7272some may see a parallel to Forth's stack, but Hoon takes takes the

7373concept one step further.

7474

75−Our starting subject is the [standard library](/hoon/library), which is

75+Our starting subject is the [standard library](../../hoon/library), which is

7676defined in `/arvo/hoon.hoon` and `/arvo/zuse.hoon`. This is where

7777functions like `add` are defined. When we define a core with `|%`, we

7878don't throw away the subject (i.e. the standard library); rather, we

docs/arvo/subscriptions.md+9−9

@@ -75,42 +75,42 @@ Cheat sheet:

7575

7676- `&` (pam) can either be the boolean true (as can `%.y`, `0`), or

7777 the irregular wide form of the `?&`

78− ([wutpam](/hoon/twig/wut-test/pam-and)) rune, which computes

78+ ([wutpam](../../hoon/twig/wut-test/pam-and)) rune, which computes

7979 logical `AND` on its two children.

8080

8181- Similar to `&`,`|` is either the boolean false (along with `%.n` and

8282 `1`), or the irregular short for of `?|`

83− ([wutbar](/hoon/twig/wut-test/bar-or)), which computes logical `OR`

83+ ([wutbar](../../hoon/twig/wut-test/bar-or)), which computes logical `OR`

8484 on its two children.

8585

8686- `!` is the irregular wide form of `?!`

87− ([wutzap](/hoon/twig/wut-test/zap-not/)), which computes logical

87+ ([wutzap](../../hoon/twig/wut-test/zap-not/)), which computes logical

8888 `NOT` on its child.

8989

90−- `?~` ([wutsig](/hoon/twig/wut-test/sig-ifno/)) is basically an

90+- `?~` ([wutsig](../../hoon/twig/wut-test/sig-ifno/)) is basically an

9191 if-then-else that checks whether condition `p` is `~` (null). `?~`

9292 is slightly different from `?:(~ %tru %fal)` in that `?~` reduces to

9393 `?:($=(%type value) %tru %false)`. `$=`

94− ([buctis](/hoon/twig/buc-mold/tis-coat/)) tests whether value `q` is

94+ ([buctis](../../hoon/twig/buc-mold/tis-coat/)) tests whether value `q` is

9595 of type `p`.

9696 <!--One thing to watch out for in hoon: if you do `?~`, it

9797 affects the type of the conditional value: XXexample-->

9898

99−- `:_` ([colcab](/hoon/twig/col-cell/cab-scon/)) is inverted `:-`: it

99+- `:_` ([colcab](../../hoon/twig/col-cell/cab-scon/)) is inverted `:-`: it

100100 accepts `p` and `q`, and produces `[q p]`.

101101

102102- `++bowl` is the type of the system state within our app. For

103103 example, it includes things like `our`, the name of the host urbit,

104104 and `now`, the current time.

105105

106−- `$%` ([buccen](/hoon/twig/buc-mold/cen-book/)) is a type

106+- `$%` ([buccen](../../hoon/twig/buc-mold/cen-book/)) is a type

107107 constructor: it defines a new type, composed of `n` types that it is

108108 passed. For example `$% @ * ^ ==` is the type of either `@`,

109109 `*`, or a cell `^`.

110110

111111- You may have noticed the separate `|%`

112− ([barcen](/hoon/twig/bar-core/cen-core/)) above the application core

113− `|_` ([barcab](/hoon/twig/bar-core/cab-door/). We usually put our

112+ ([barcen](../../hoon/twig/bar-core/cen-core/)) above the application core

113+ `|_` ([barcab](../../hoon/twig/bar-core/cab-door/). We usually put our

114114 types in another core on top of the application core. We can access

115115 these type from our `|_` because in `hoon.hoon` files, all cores are

116116 called against each other. (The shorthand for 'called' is `=>`.)

docs/hoon/library/4h.md+1−1

@@ -61,7 +61,7 @@ Examples

6161Parse backslash

6262

6363Parses ASCII character 92, the backslash. Note the extra `\` in the calling of

64−`bas` with [`++just`](/doc/hoon/library/2ec#++just) is to escape the escape

64+`bas` with [`++just`](/docs/hoon/library/2ec#++just) is to escape the escape

6565character, `\`.

6666

6767Source

docs/hoon/library/zuse/core/epur.md+1−1

@@ -12,7 +12,7 @@ Parses an entire URL.

1212Accepts

1313-------

1414

15−`a` is a [`++cord`](/doc/hoon/library/1#++cord).

15+`a` is a [`++cord`](/docs/hoon/library/1#++cord).

1616

1717Produces

1818--------

docs/hoon/library/zuse/core/yu.md+1−1

@@ -153,7 +153,7 @@ Examples

153153Back-shifted leap second dates

154154

155155Produces a [`++list`]() of absolute dates ([`@da`]()s) that represent the Urbit

156−Galactc Time equivalents of the UTC leap second dates in [`++les`](/doc/hoon/library/3bc#++les).

156+Galactc Time equivalents of the UTC leap second dates in [`++les`](/docs/hoon/library/3bc#++les).

157157

158158Produces

159159--------

docs/hoon/library/zuse/diff.md+1−1

@@ -227,7 +227,7 @@ Examples

227227Find common

228228

229229Finds a subsequence of repeated elements within two

230−[`++list`](/doc/hoon/library/1#++list)s, producing a [\`++tape]().

230+[`++list`](/docs/hoon/library/1#++list)s, producing a [\`++tape]().

231231

232232Accepts

233233-------

docs/hoon/library/zuse/gate/jesc.md+1−1

@@ -7,7 +7,7 @@ navhome: /docs

88Escape JSON character

10−Produces a [`++tape`]() of an escaped [`++json`](/doc/hoon/library/3bi#++json) character `a`.

10+Produces a [`++tape`]() of an escaped [`++json`](/docs/hoon/library/3bi#++json) character `a`.

1111

1212Accepts

1313-------

docs/hoon/library/zuse/gate/tope.md+1−1

@@ -24,7 +24,7 @@ A `++path`.

2424 ^- path

2525 [(scot %p p.bem) q.bem (scot r.bem) (flop s.bem)]

2626

27−Parses a [`++beam`]() to a [`++path`](/doc/hoon/library/1#++path).

27+Parses a [`++beam`]() to a [`++path`](/docs/hoon/library/1#++path).

2828

2929 ~zod/try=/zop> (tope [~zod %main ud/1] /hook/down/sur)

3030 /~zod/main/1/sur/down/hook

docs/hoon/syntax.md+2−2

@@ -371,7 +371,7 @@ long names and/or kebab-case.

371371

372372If you came all this way to learn how to write apps, you're all

373373set. This is about all you need to know to start getting your

374−hands dirty. Refer back here or to the [standard library](/hoon/library) when

375−needed, but for now, move on to [Arvo](/arvo) to continue learning.

374+hands dirty. Refer back here or to the [standard library](../../hoon/library) when

375+needed, but for now, move on to [Arvo](../../arvo) to continue learning.

376376

377377If, however, good enough is *not* enough, feel free to dive deeper: