On Mon, Mar 1, 2010 at 9:06 AM, Dan Bron <[email protected]> wrote:
> "Function" is an appropriate word. Because more than referentially
> transparent, tacit verbs are _functional_. That is, for the
> same inputs, they always and forever produce the same output. They can't
> refer to mutable state whatsoever.
I can think of a lot of examples where tacit verbs refer to mutable
state in various ways, for example:
(? 0:)
". @ ('abc'"_)
prompt bind ' ' [ require 'misc'
1!:1@<
Tacit verbs have a strong tendency towards referential transparency
but they do not close the door on mutable state.
Tacit programming just means that the arguments are not named.
And, for that matter, you can only write explicit programs in J using
tacit programming. (The result is explicit but the process of
creating that result is tacit.)
--
Raul
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
