git.iko.soy/urbit.org
on master help sign in
remove references to factories (#848)

* remove references to factories * present-tensifies sentence about molds

commit65c4896d7423fb5dcca26135ff02ebec77d7c241 authorpoprox <51337059+syzygyzer@users.noreply.github.com> dateTue 21 Apr 2020, 15:53 (7 years ago) parente1445e2
2 files changed+6−6
compare with master
unifiedsplit
reference/hoon-expressions/rune/buc.md+3−3 reference/hoon-expressions/rune/ket.md+3−3
reference/hoon-expressions/rune/buc.md+3−3
@@ -7,9 +7,9 @@ aliases = ["docs/reference/hoon-expressions/rune/buc/"]
77The `$` family of runes is used for defining custom types. Strictly speaking,
88these runes are used to produce 'structures'. A structure is a compile-time
99value that at runtime can be converted to either an example value (sometimes
10−called a 'bunt' value) for its corresponding type, or to a 'factory' (sometimes
11−called a 'mold'). An example value is used as a placeholder for sample values,
12−among other things. A factory/mold is used as a data validator.
10+called a 'bunt' value) for its corresponding type, or to a 'mold'. An example
11+value is used as a placeholder for sample values, among other things. A
12+mold is an idempotent function used as a data validator.
1313
1414## Overview
1515
reference/hoon-expressions/rune/ket.md+3−3
@@ -51,7 +51,7 @@ The prettyprinter shows the core metal (`.` gold, `|` iron):
5151
5252### ^: "ketcol"
5353
54−`[%ktcl p=spec]`: 'factory' gate for type `p`.
54+`[%ktcl p=spec]`: mold gate for type `p`.
5555
5656##### Produces
5757
@@ -63,7 +63,7 @@ Regular: **1-fixed**.
6363
6464##### Discussion
6565
66−In older versions of Hoon, a 'mold' was an idempotent gate that was guaranteed to produce a noun of that type. If an input value wasn't of the correct type, the bunt value of that type was returned. (See `^*`.)
66+A mold is an idempotent gate that is guaranteed to produce a noun of that type. If an input value isn't of the correct type, the bunt value of that type is returned. (See `^*`.)
6767
6868`^:` is used to produce a gate that is much like a mold, except that instead of producing a bunt value when the input value is of the wrong type, it crashes.
6969
@@ -384,4 +384,4 @@ The prettyprinter shows the core metal (`.` gold, `?` lead):
384384
385385~zod:dojo> ^?(|=(@ 1))
386386<1?gcq [@ @n <250.yur 41.wda 374.hzt 100.kzl 1.ypj %151>]>
387−```
387+```