typed: update documentation

db4
Slava Pestov 2010-02-18 04:13:21 +13:00
parent bf72c89060
commit 9debed1c75
1 changed files with 8 additions and 0 deletions

View File

@ -58,10 +58,18 @@ HELP: output-mismatch-error
ARTICLE: "typed" "Strongly-typed word definitions" ARTICLE: "typed" "Strongly-typed word definitions"
"The Factor compiler supports advanced compiler optimizations that take advantage of the type information it can glean from source code. The " { $vocab-link "typed" } " vocabulary provides syntax that allows words to provide checked type information about their inputs and outputs and improve the performance of compiled code." "The Factor compiler supports advanced compiler optimizations that take advantage of the type information it can glean from source code. The " { $vocab-link "typed" } " vocabulary provides syntax that allows words to provide checked type information about their inputs and outputs and improve the performance of compiled code."
$nl
"Parameters and return values of typed words where the type is declared to be a " { $link POSTPONE: final } " tuple class with all slots " { $link read-only } " are passed by value."
{ $subsections { $subsections
POSTPONE: TYPED: POSTPONE: TYPED:
POSTPONE: TYPED:: POSTPONE: TYPED::
}
"Defining typed words at run time:"
{ $subsections
define-typed define-typed
}
"Errors:"
{ $subsections
input-mismatch-error input-mismatch-error
output-mismatch-error output-mismatch-error
} ; } ;