Monad/dyad definition

<=   =>

As discussed in the earlier section on ambivalence, all verbs had two definitions, a monad and a dyad. You have defined only a monad for centigrade. What about the dyad?

   23 centigrade 32
|domain error: centigrade
|   23     centigrade 32

Since you didn't provide a dyad definition, it is empty and this is treated as if the dyad had no arguments in its domain, and any arguments you give will cause a domain error.

Let's examine some simple examples of defining dyadic, monadic, and both cases.

   monadminus =. 3 : 0
- y
)
   monadminus 5
_5
   5 monadminus 3
|domain error: monadminus
|   5     monadminus 3

The above defines the monad of the verb named monadminus. Applying it monadically works and applying it dyadically fails.

In one-line definitions like this you can take a shortcut and make the definition on a single line and avoid entering the special input mode that needs to be ended with the ). The following is an equivalent way of doing the above definition:

   monadminus =. 3 : '- y'

The string contains the single line that makes up the definition. It is provided directly as the right argument of : instead of the 0 used earlier.

So far you have defined just the monadic case of a verb. You can also define a verb with just a dyadic definition. Instead of 3 as the left argument to : use a 4 to define the dyadic case.

   dyadminus =. 4 : 'x - y'
   5 dyadminus 3
2
   dyadminus 5
|domain error: dyadminus
|       dyadminus 5

In the monad case the y name is the right argument and in the dyad case x is the left argument and y is the right.

What if you want to define both cases of a verb?

   minus =. 3 : 0
- y
:
x - y
)

The : by itself on a line separates the monad and dyad definitions.

   3 minus 5
_2
   5 minus 3
2
   minus 5
_5

<=   =>

Primer Index               Hover to reveal titles   -   Click to access   -   Current page is highlighted
1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	✅
26	27	28	29	30	31	32	33	34	35	36	37	38	39	40	41	42	43	✅
45	46	47	48	✅
50	51	52	53	54	55	56	57	✅
59	60	61	62	63	64	65	66	67	68	69	70	71	72	73	74	75	✅
77	78	79	80	81	82	83	84	85	86	87	88	89	90	91	92	93	94	95	✅
97	98	99	100	101	102	103	104	105	106	✅