数値の次は文字を扱います。前回に引き続き配列の話がメインです。

文字列リテラル

文字列は、' (シングルクオーテーション) で囲んで表記します。

   'Hello, world!'
Hello, world!
   'abc''123'''
abc'123'

' 自体を表すには、'' と書きます。改行等の特殊な文字をエスケープする方法はありません。

文字列は、文字のリストなので、ベクターと同様の機能が使えます。

   a=: 'abcde'
   #a
5
   2 { a
c
   a i. 'e'
4

文字

リテラルがちょうど 1 文字 ¹ だけ含む場合、それは「文字」を表します。

'a'   NB. 文字
''''  NB. 文字
'ab'  NB. 文字列
''    NB. (空の) 文字列

「文字」と「文字列」の関係は、「数値」と「ベクター」の対応に似ています。

0      NB. 数値
0 1    NB. ベクター

文字を並べたものが文字列に、数値を並べたものがベクターになります。

リストの連結には , (dyad) を使います。

   'abc' , 'de'
abcde
   'a' , 'bc' , 'd'
abcd
   'a' , 'b'
ab

これを使うと、改行などを含めることができます。

   'abc' , LF , 'de'
abc
de

, はリストの操作なので、数値の場合も同じように使えます。

   1 2 3 , 0 1
1 2 3 0 1

文字と数値は型が違うので、混ぜるとエラーになります。暗黙の変換が行われることもありません。

   1 2 , 'ab'
|domain error
|   1 2    ,'ab'

domain error は、予期しない値が使われたことを示しています。(J でコードを書くにあたって、一番よく見るエラーだと思います。)

+ や * を文字に対して使うこともできません。

   'ab' + 'c'
|domain error
|   'ab'    +'c'
   'ab' * 2
|domain error
|   'ab'    *2

0 以上 255 以下のバイト値が、a. というリストに順番に格納されています。(a. の要素の型は文字です。) これによって、文字と整数の相互変換ができます。

   65 { a.     NB. 整数 -> 文字
A
   a. i. 'A'   NB. 文字 -> 整数
65

a. は制御文字も含んでいるので、直接中身を見ることはできません。印字可能な文字の一覧は、次のようにすれば得られます。

(32 + i.95) { a.

さて、ここで比較の話をしておきます。比較には以下の verb (いずれも dyad) を使います。

~: は「等しくない」を表し、<: と >: はそれぞれ「以下」「以上」を意味します。それ以外は、他の言語と同じです。

   1 = 1
1
   1 = 0
0
   'a' = 'a'
1
   'a' ~: 'b'
1
   0 > 1
0
   1 <: 2
1
   1 >: 1
1

= と ~: は、数値と文字とを比較することもできます ²。

   1 = '1'
0
   1 ~: '1'
1

= をリストに対して使うと、面白い結果が得られます。

   a
abcde
   a = 'apple'
1 0 0 0 1
   a = 'd'
0 0 0 1 0
   a = 'abc'
|length error
|   a    ='abc'

なんと、それぞれの要素 (文字) について、比較が行われているのです。試してみれば分かりますが、ベクターでも同様です。

上に挙げた比較の verb は全て、「1 つの値」ごとに比較します。この「1 つの値」(つまり数値や文字) のことを、アトム (atom) と呼びます。比較だけでなく + 等も、アトムに対する演算です。

アトムごとではなく、全体を比較するには、-: を使います。

   a -: 'a'
0
   a -: 'abcde'
1

配列を比較する場合は、気をつけるようにしましょう。