Help / Learning / Ch 12: Explicit Verbs
>> << Pri JfC LJ Phr Dic Voc !: Rel NuVoc wd Help Learning J
|
Chapter 12: Explicit VerbsThis chapter continues from Chapter 04 the theme of the explicit definition of verbs. 12.1 The Explicit Definition ConjunctionRecall from Chapter 04 the example of an explicit dyadic verb, the "positive difference" of two numbers, defined as larger minus smaller. PosDiff =: 4 : '(x >. y) - (x <. y)' 3 PosDiff 4 1 The general scheme for the explicit definition of a function is to provide two arguments to the Explicit Definition conjunction ( : , colon) in the form type : body In the body, the variables x and y are the arguments. 12.1.1 TypeThe type is a number: type-3 functions are monadic verbs or ambivalent verbs. Type-4 functions are strictly dyadic verbs (that is, with no monadic case). There are other types: types 1 and 2 are operators, covered in Chapter 13 . Type 13 is covered in Chapter 10 . 12.1.2 Mnemonics for TypesThe standard J profile predefines several variables to provide mnemonic names for the types, and other things, thus: noun =: 0 adverb =: 1 conjunction =: 2 verb =: 3 monad =: 3 dyad =: 4 def =: : define =: : 0 Thus the PosDiff example above could be also written as: PosDiff =: dyad def '(x >. y) - (x <. y)' 3 PosDiff 4 1 12.1.3 Body StylesThe body of an explicit definition consists of one or more lines of text. There are several ways to provide the body The example above, PosDiff, shows a single line written as a string. A multi-line body can be introduced with a right argument of 0 for the colon operator. PosDiff =: 4 : 0 larger =. x >. y smaller =. x <. y larger - smaller ) 3 PosDiff 4 1 Another variation allows a multi-line body to be written compactly by embedding line-feeds. LF is predefined to be the line-feed character. Notice that the whole body must be parenthesized. PosDiff =: 4 : ('la =. x >. y', LF, 'sm =. x <. y', LF, 'la - sm')
Another variation uses a boxed list of lines (again with the body parenthesized): PosDiff =: 4 : ('la =. x >. y' ; 'sm =. x <. y' ; 'la - sm')
Notice that these are not variations of syntax, but rather alternative expressions for constructing a data-structure acceptable as the right-argument of the : operator. 12.1.4 Ambivalent VerbsAn ambivalent verb has both a monadic and a dyadic case. In the definition, the monadic case is presented first, then a line consisting of a solo colon, and then the dyadic case. For example: log =: 3 : 0 ^. y NB. monad - natural logarithm : x ^. y NB. dyad - base-x logarithm )
12.2 AssignmentsIn this section we consider assignments, which are of significance in defining explicit functions. 12.2.1 Local and Global VariablesConsider the example foo =: 3 : 0 L =. y G =: y L ) Here, the assignment of the form L =. expression causes the value of expression to be assigned to a local variable named L. Saying that L is local means that L exists only while the function foo is executing, and furthermore this L is distinct from any other variable named L. By contrast, the assignment of the form G =: expression causes the value of expression to be assigned to a global variable named G. Saying that G is global means that the unique variable G exists independently, in its own right. To illustrate, we define two GLOBAL variables called L and G, then execute foo to show that the L mentioned in foo is not the same as global L, while the G mentioned in foo is the same as global G: L =: 'old L' G =: 'old G'
With versions of J from J6 onward, it is regarded as an error to make a global assignment (with =:) to a variable with the same name as an already-existing local variable. For example, the argument variables x and y are local, so it would normally be an error in an explicit verb to make a global assignment to a variable named y . foo =: 3 : 0 z =. y + 1 y =: 'hello' z ) foo 6 |domain error: foo | y =:'hello' If we really, really wanted to assign to a global named y from within an explicit definition, the local y must first be erased. foo =: 3 : 0 z =. y+1 erase <'y' y =: 'hello' z ) foo 6 7 y hello
12.2.2 Local FunctionsWe have seen local variables, which are nouns. We may also have local functions. A local function may be tacit or explicit, as in the following example foo =: 3 : 0 Square =. *: Cube =. 3 : 'y * y * y' (Square y) + (Cube y) ) foo 2 12 However, what we can't have is an explicit local function defined by an inner multiline body Recall that a multiline body is a script terminated by a solo right parenthesis, so we cannot have one such body inside another. Instead, we could use an alternative form for the body of an inner function, such as scale in the following example: FTOC =: 3 : 0 line1 =. 'k =. 5 % 9' line2 =. 'k * y' scale =. 3 : (line1 ; line2) scale y - 32 ) FTOC 212 100 One final point on the topic of inner functions. A name, of a variable or function, is either global or local. If it is local, then that means it is recognised in the function in which it is defined. However it is not recognised in any inner function. For example: K =: 'hello ' zip =: 3 : 0 K =. 'goodbye ' zap =. 3 : 'K , y' zap y ) zip 'George' hello George We see that there is a global K and a local K. The inner function zap uses the global K because the K which is local to zip is not local to zap. 12.2.3 Multiple and Indirect AssignmentsJ provides a convenient means of unpacking a list by assigning different names to different items.
Instead of a simple name to the left of the assignment, we have a string with names separated by spaces. A variation uses a boxed set of names:
The parentheses around the left hand of the assignment force evaluation as a set of names, to give what is called "indirect assignment". To illustrate: N =: 'DAY';'MO';'YR'
As a convenience, a multiple assignment will automatically remove one layer of boxing from the right-hand side:
12.2.4 Unpacking the ArgumentsEvery J function takes exactly one or exactly two arguments - not zero and not more than two. This may appear to be a limitation but in fact is not. A collection of values can be packaged up into a list, or boxed list, to form in effect multiple arguments to the J function. However, the J function must unpack the values again. A convenient way to do this is with the multiple assignment. For example, the familiar formula to find the roots of a quadratic (a*x^2) +(b*x)+c, given the vector of coefficients a,b,c might be: rq =: 3 : 0 'a b c' =. y ((-b) (+,-) %: (b^2)-4*a*c) % (2*a) )
12.3 Control Structures12.3.1 ReviewRecall from Chapter 04 the positive-difference function defined as: POSDIFF =: 4 : 0 if. x > y do. x - y else. y - x end. ) 3 POSDIFF 4 1 Everything from if. to end. is called a "control structure". In it, if. do. else. and end. are called "control words". The plan for this section is to use this example for a general discussion of control structures, and then go on to look at a number of particular control structures. 12.3.2 LayoutWe can freely choose a layout for the expressions and control words forming a control structure. Immediately before or immediately after any control word, any end-of-line is optional, so that we can choose to remove one or insert one. For example, by removing as many as possible from POSDIFF we get PD =: 4 : 'if. x > y do. x - y else. y - x end. ' 3 PD 4 1 12.3.3 Expressions versus Control StructuresWe speak of evaluating an expression. We regard assignments as expressions, since they produce values, but in this case it is natural to speak of "executing" the assignment, since there is an effect as well as a value produced. We will use the words "execute" and "evaluate" more or less interchangeably. Executing (or evaluating) a control structure produces a value, the value of one of the expressions within it. Nevertheless, a control structure is not an expression, and cannot form part of an expression. The following is a syntax error: foo =: 3 : '1 + if. y > 0 do. y else. 0 end.' foo 6 |syntax error: foo | 1+ Observing the distinction between expressions and control structures, we can say that the body of an explicit definition is a sequence of items, where an item is either an expression or a control structure. Here is an example where the body is an expression followed by a control structure followed by an expression. PD1 =: 4 : 0 w =. x - y if. x > y do. z =. w else. z =. - w end. z ) 3 PD1 4 1 The value produced by a control structure is discarded if the control structure it is not the last item in the sequence. However, this value can be captured when the item is the last, so that the value becomes the result delivered by the function. Hence the previous example can be simplified to: PD2 =: 4 : 0 w =. x - y if. x > y do. w else. - w end. ) 3 PD 4 1
12.3.4 BlocksThe examples above show the pattern: if. T do. B1 else. B2 end. meaning: if the expression T evaluates to "true", then execute the expression B1, and otherwise execute the expression B2. Expression T is regarded as evaluating to "true" if T evaluates to any array of which the first element is not 0. foo =: 3 : 'if. y do. ''yes'' else. ''no'' end.'
More generally, T, B1 and B2 may be what are called "blocks". A block is a sequence of items, where an item is either an expression or a control structure. The result delivered by a block is the value of the last item of the block. Here is an example, to form the sum of a list, where the T-block and the B2-block each consist of a sequence. sum =: 3 : 0 if. length =. # y NB. T block length = 0 NB. T block do. 0 NB. B1 block else. first =. {. y NB. B2 block rest =. }. y NB. B2 block first + sum rest NB. B2 block end. ) sum 1 2 3 6 Here we see that the value of the T-block (true or false) is the value of the last expression in the sequence, (length = 0) The items of a block may be (inner) control structures. For example, here is a function to classify the temperature of porridge: ClaTePo =: 3 : 0 if. y > 80 do. 'too hot' else. if. y < 60 do. 'too cold' else. 'just right' end. end. ) ClaTePo 70 just right 12.3.5 Variants of if.A neater version of the last example is: CLATEPO =: 3 : 0 if. y > 80 do. 'too hot' elseif. y < 60 do. 'too cold' elseif. 1 do. 'just right' end. ) CLATEPO 70 just right showing the pattern: if. T1 do. B1 elseif. T2 do. B2 ... elseif. Tn do. Bn end. Notice that according to this scheme, if all of the tests T1 ... Tn fail, then none of the blocks B1 .. Bn will be executed. Consequently we may wish to make Tn a catch-all test, with the constant value 1, as in the example of CLATEPO above. If all the tests do fail, so that none of the blocks B0 ... Bn is executed, then the result will be i. 0 0 which is a J convention for a null value. foo =: 3 : 'if. y = 1 do. 99 elseif. y = 2 do. 77 end. ' (i. 0 0) -: foo 0 1 There is also the pattern: if. T do. B end. Here either B is executed or it is not. For example, positive-difference yet again: PD =: 4 : 0 z =. x - y if. y > x do. z =. y - x end. z ) 3 PD 4 1
12.3.6 The select. Control StructureConsider this example of a verb to classify a name, using an if. control structure. class =: 3 : 0 t =. 4 !: 0 < y if. t = 0 do. 'noun' elseif. t = 1 do. 'adverb' elseif. t = 2 do. 'conjunction' elseif. t = 3 do. 'verb' elseif. 1 do. 'bad name' end. ) class 'class' verb class 'oops' bad name A neater formulation is allowed by the select. control structure. CLASS =: 3 : 0 select. 4 !: 0 < y case. 0 do. 'noun' case. 1 do. 'adverb' case. 2 do. 'conjunction' case. 3 do. 'verb' case. do. 'bad name' end. ) CLASS 'CLASS' verb CLASS 'oops' bad name Suppose we are interested only in a three-way classification, into nouns, verbs and operators (meaning adverbs or conjunctions). We could of course write: Class =: 3 : 0 select. 4 !: 0 < y case. 0 do. 'noun' case. 1 do. 'operator' case. 2 do. 'operator' case. 3 do. 'verb' case. do. 'bad name' end. ) but this can be abbreviated as: Clss =: 3 : 0 select. 4 !: 0 < y case. 0 do. 'noun' case. 1;2 do. 'operator' case. 3 do. 'verb' case. do. 'bad name' end. )
12.3.7 The while. and whilst. Control StructuresIn the general pattern while. T do. B end. block B is executed repeatedly so long as block T evaluates to true. Here is an example, a version of the factorial function: fact =: 3 : 0 r =. 1 while. y > 1 do. r =. r * y y =. y - 1 end. r ) fact 5 120 The variation whilst. T do. B end. means B while. T do. B end. that is, block B is executed once, and then repeatedly so long as block T is true. 12.3.8 for.The pattern for_a. A do. B. end. means: for each item a in array A, execute block B. Here a may be any name; the variable a takes on the value of each item of A in turn. For example, to sum a list: Sum =: 3 : 0 r =. 0 for_term. y do. r =. r+term end. r ) Sum 1 2 3 6 In addition to the variable a for the value of an item, the variable a_index is available to give the index of the item. For example, this function numbers the items: f3 =: 3 : 0 r =. 0 2 $ 0 for_item. y do. r =. r , (item_index; item) end. r ) f3 'ab';'cdef';'gh' +-+----+ |0|ab | +-+----+ |1|cdef| +-+----+ |2|gh | +-+----+ Another variation is the pattern for. A do. B end. in which block B is executed as many times as there are items of A. For example, here is a verb to count the items of a list. f4 =: 3 : 0 count =. 0 for. y do. count =. count+1 end. ) f4 'hello' 5
12.3.9 The return. Control WordSuppose we need to define a verb to test for a small integer scalar. "Small" means magnitude less than 100, say. This would do: test =: 3 : 0 if. 4 = 3 !:0 y do. NB. integer ? if. 0 = # $ y do. NB. scalar ? 100 > | y NB. small ? else. 0 end. else. 0 end. )
Clearly we must check for an integer before testing the integer for smallness. Hence the nested ifs. Here is a neater alternative: test =: 3 : 0 if. 4 ~: 3!:0 y do. 0 return. end. NB. not integer if. 0 ~: # $ y do. 0 return. end. NB. not scalar 100 > | y NB. small ? )
The effect of the return. control word is to short-circuit any further execution of the verb, delivering the most-recently computed value, which in this example will be 0 at each return. . 12.3.10 Other Control StructuresChapter 29 covers the control structure try. catch. end. . Other control words and structures are covered in the J Dictionary This is the end of Chapter 12. |
The examples in this chapter
were executed using J version 802 beta.
This chapter last updated 01 Nov 2014
Copyright © Roger Stokes 2014.
This material may be freely reproduced,
provided that acknowledgement is made.
>> << Pri JfC LJ Phr Dic Voc !: Rel NuVoc wd Help Learning J