インターカル

発音可能な頭字語のないコンパイラ言語（INTERCAL ）は、 1972年にプリンストン大学の学生であるドン・ウッズとジェームズ・M・ライオン [ru]によってパロディとして作成された難解なプログラミング言語です。当時のさまざまなプログラミング言語の側面^[1]や、1960年代に提案された言語構造や表記法の急増を風刺しています。

INTERCAL方言には2つの実装が保守されています。Eric S. Raymond ^[2]と Alex Smith ^{[3]が保守するC-INTERCAL（1990年作成）と、Claudio Calvelli [4]}が保守するCLC-INTERCALです。

著者らによるオリジナルのマニュアルによれば、^[5]

コンパイラの正式名称は「発音可能な頭字語のないコンパイラ言語」であり、明らかな理由から「INTERCAL」と略されます。

プリンストン大学のオリジナルの実装では、パンチカードとEBCDIC文字セットが使用されていました。INTERCALをASCIIを使用するコンピュータで実行できるようにするには、2つの文字を置き換える必要がありました。は「ハードウェアに比べてソフトウェアのコストが上昇していることを表す」ミングル演算子として$置き換えられ、 は「排他的論理和に初めて遭遇したときの平均的な人の反応を正しく表現する」単項排他的論理和演算子として置き換えられました。 ^{[5] C-INTERCALの最近のバージョンでは、古い演算子が代替としてサポートされており、INTERCALプログラムは}ASCII、Latin-1、またはUTF-8でエンコードできるようになりました。^[6]¢?⊻

C-INTERCALは、従来とは異なり、メジャーバージョン番号とマイナーバージョン番号を入れ替えています。HISTORY ^[7]ファイルには、バージョン0.3から始まり、2020年5月時点で^[update]0.31まで進んでいるが、0.26と0.27の間に1.26が含まれていることが示されています。

CLC-INTERCALのバージョン番号付け方式はバージョン0.06までは従来の方式でしたが、その後README ^[8]ファイルに記載されている方式に変更されました。

* 正確さのため、「バージョン」という用語は「倒錯」に置き換えられました

* パーバージョン数は、整数部と小数部に独立した符号を持つ浮動小数点数で構成されます。負の小数はプレエスケープを示します (したがって、1.-94 は「1.00 までに 94 回のプレエスケープ」を意味します)。または、数字を合計して 0.06 を得ることもできますが、0.06 は現在開発されていないため、これは完全に偶然です)

* パーバージョン数の小数部は整数または浮動小数点数で、各部分の意味は同様です。現在のプレエスケープは 1.-94.-2 で、これは「プレエスケープ 1.-94 の前に 2 つのプレプレエスケープがある」ことを意味します。

INTERCALは他のすべてのコンピュータ言語とはまったく異なるように意図されていました。他の言語でよく使われる操作は、INTERCALでは難解で冗長な構文になっています。INTERCALリファレンスマニュアルより: ^[5]

理解不能な仕事をする人が尊敬されるというのは、よく知られた、そしてしばしば実証される事実です。たとえば、65536 という値を 32 ビットの INTERCAL 変数に格納する最も簡単な方法は、次のとおりです。

実行: 1 <- # 0 ¢# 256   

賢明なプログラマーなら誰でも、それは馬鹿げていると言うでしょう。これは確かに最も簡単な方法なので、当然上司が現れるはずなので、プログラマーは上司の前で愚か者のように扱われることになります。その影響は、プログラマーが正しかったとしても、同様に壊滅的なものになるでしょう。

INTERCAL には、プログラマーにとって見た目がさらに不快になるように設計された他の多くの機能があります。"READ OUT"、"IGNORE"、"FORGET" などのステートメントや "PLEASE" などの修飾子を使用します。この最後のキーワードは、コンパイラーがプログラムを拒否する 2 つの理由を提供します。"PLEASE" が十分に頻繁に出現しない場合は、プログラムは十分に丁寧ではないとみなされ、エラー メッセージにその旨が表示されます。"PLEASE" が頻繁に出現する場合は、プログラムは丁寧すぎると拒否される可能性があります。この機能は元の INTERCAL コンパイラーに存在していましたが、文書化されていませんでした。^[9]

言語の意図的に難解で冗長な構文にもかかわらず、INTERCAL はチューリング完全です。十分なメモリがあれば、INTERCAL はユニバーサル チューリング マシンが解ける問題をすべて解くことができます。しかし、ほとんどの INTERCAL 実装では、この処理に非常に時間がかかります。65536未満の素数をすべて計算するエラトステネスのふるいベンチマークは、1992 年にSun SPARCstation 1でテストされました。C では 0.5 秒もかかりませんでしたが、INTERCAL では同じプログラムに 17 時間以上かかりました。^[10]

INTERCAL リファレンス マニュアルには、逆説的、無意味、またはユーモラスな指示が多数含まれています。

注意! 混乱を招く状況を除き、メッシュとインターリーブ演算子を混同しないでください。

このマニュアルには「扁桃腺」も含まれており、脚注で次のように説明されている。「4) 他のすべてのリファレンスマニュアルには付録があるため、INTERCALマニュアルには別のタイプの取り外し可能な器官を含めることが決定されました。」^[5]

INTERCAL マニュアルでは、すべての非英数字ASCII文字に変わった名前が付けられています。シングルクォーテーションとダブルクォーテーションは、それぞれ「sparks」と「rabbit ears」です。(例外はアンパサンドです。Jargon File に「これ以上馬鹿げたものがあるだろうか?」と書かれているとおりです)。他の多くのプログラミング言語では等号 (INTERCAL の「ハーフメッシュ」) として表される代入演算子は、INTERCAL では左矢印 で、<-「angle」と「worm」で構成され、明らかに「gets」と読みます。

入力（WRITE IN命令を使用）と出力（READ OUT命令を使用）は通常の形式を使用しません。INTERCAL-72では、WRITE INは英語の数字（SIX FIVE FIVE THREE FIVEなど）として書き出された数値を入力し、READ OUTはそれを「切り刻まれた」ローマ数字で出力します。^[5]最近のバージョンには独自のI/Oシステムがあります。^{[4] [9]}

コメントは、NOTまたはN'Tを含む反転ステートメント識別子を使用することで実現できます。これにより、行は最初にABSTAINされるため、効果はありません。^[5]（行は、有効な構文を持たない場合でもABSTAINできます。構文エラーは実行時に発生し、行がABSTAIN解除された場合にのみ発生します。）^[5]

INTERCAL-72（INTERCALのオリジナルバージョン）には、16ビット整数 （で表され.、「スポット」と呼ばれる）、32ビット整数（:、 「ツースポット」と呼ばれる）、16ビット整数の配列,（ 、 「テール」と呼ばれる）、および32ビット整数の配列（;、 「ハイブリッド」と呼ばれる）の4つのデータ型しかありませんでした。各タイプには65535個の変数があり、たとえば16ビット整数の場合は から まで番号が付けられています。ただし、これらの変数はそれぞれ独自のスタックを持ち、.1そこにプッシュおよびポップ（INTERCAL用語では、STASHedおよびRETRIEVEd）できるため、データ構造の複雑さが増す可能性があります。^[5] INTERCALのより新しいバージョンでは、適切な変更が加えられ、概ね同じデータ構造が維持されています。 TriINTERCAL は、数値を表す基数を変更し、 16 ビット型ではなく10ビット型を使用できます。 ^[9] CLC-INTERCAL は、新しい型を追加するのではなく、基本データ型に多くの情報を保存することで、「クラスと講義」などの独自のデータ構造を多数実装しています。^{[4]配列は、}スカラー変数であるかのように割り当てることで次元化されます。定数も使用でき、(「メッシュ」) の後に定数自体が続く 10進数で表されます。0 から 65535 までの整数定数のみがサポートされています。^[5].65535#

INTERCAL-72 には 5 つの演算子しかありません。実装によって、どの文字がどの演算を表すかは異なり、多くの実装では複数の文字が受け入れられるため、多くの演算子には複数の可能性が与えられます。

他のほとんどの言語とは異なり、AND、OR、XOR は単項演算子であり、引数の連続するビットに対して作用します。結果の最上位ビットは、入力の最下位ビットと最上位ビットに適用される演算子であり、結果の 2 番目に重要なビットは、最上位ビットと 2 番目に重要なビットに適用される演算子であり、結果の 3 番目に重要なビットは、2 番目に重要なビットと 3 番目に重要なビットに適用される演算子であり、以下同様に続きます。演算子は、変数名または定数を指定する句読点と、それがどの変数であるかを指定する数値の間、またはグループ化マークのすぐ内側 (つまり、Cなどのプログラミング言語の場合よりも 1 文字後ろ) に配置されます。SELECT と INTERLEAVE (MINGLE とも呼ばれます) は、中置二項演算子です。 SELECT は、第 1 オペランドのビットのうち第 2 オペランドの "1" ビットに対応するビットを取り、"0" ビットに対応するビットを削除し、最下位ビットの方向にシフトしてゼロで埋めます (したがって、51 (2進数では1 1 0 0 1 1 ) SELECT 21 (2 進数では 10101) は 5 (2 進数では101 ) です)。MINGLE は、第 1 オペランドと第 2 オペランドのビットを交互にします (第 2 オペランドの最下位ビットが結果の最下位ビットになるようにします)。演算子の優先順位はありません。優先順位があいまいになる場合は、グループ化マークを使用して優先順位を明確にする必要があります (使用可能なグループ化マークは'("spark") で、これは別の spark に一致し、"("rabbit ears") は別の rabbit ears に一致します。プログラマは、これらを使用して表現があいまいにならないようにする必要があります)。^[5]

INTERCAL 文はすべて「文識別子」で始まります。INTERCAL-72 では、これはDO、PLEASE、 のいずれかでPLEASE DO、プログラムに対してはすべて同じ意味を持ちます (ただし、これらのいずれかを多用するとプログラムが拒否されます。これはC-INTERCAL マニュアルで言及されている INTERCAL-72 の文書化されていない機能です)。 ^[9]または反転形式 (識別子にNOTまたはを追加) です。 ^[5]バックトラッキング INTERCAL は、最新のバリアントで、を文識別子として使用するバリアントも許可されています (PLEASE または DO と組み合わせて使用​​することもできます)。これにより、選択ポイントが導入されます。^[11]識別子の前に、オプションで行番号 (括弧で囲まれた整数) を指定できます。識別子の後には、行が実行される確率を の形式で指定できます。デフォルトでは 100% です。^[5]N'TMAYBE%50

INTERCAL-72 では、主な制御構造は NEXT、RESUME、および FORGET です。指定された行に分岐し、コール スタックに NEXT がなかった場合に実行される次の行を記憶します (DO 以外の識別子はどのステートメントでも使用できます。DO は例として示されています)。コール スタックの先頭から式のエントリを削除します(これは、エントリが 80 を超える場合に発生するエラーを回避するのに役立ちます)。また、コール スタックから式のエントリを削除し、記憶されている最後の行にジャンプします。^[5]DO (line) NEXTDO FORGET expressionDO RESUME expression

C-INTERCAL はCOME FROM命令も提供します。これは と記述されます。CLC-INTERCAL と最新の C-INTERCAL バージョンは計算された COME FROM (と NEXT FROM も提供します。これは COME FROM に似ていますが、NEXT STACK に戻りアドレスも保存します。^[4]DO COME FROM (line)DO COME FROM expression)

プログラムフローに影響を与える別の方法として、もともとINTERCAL-72で利用可能だった、変数に対するIGNORE命令とREMEMBER命令（これにより、変数への書き込みが暗黙的に無視され、再び有効になるため、命令を無効にして無効にすることができます）と、行またはステートメントの種類に対するABSTAIN命令とREINSTATE命令（それぞれ行を無効にしたり、再び有効にしたりします）があります。^[5]

従来の「Hello, world!」プログラムは、 INTERCAL が標準的なプログラミング言語とどのように異なるかを示しています。C では、次のようになります。

#include <stdio.h> 

int main ( void ) { printf ( "Hello, world! \n " );  
    

    0 を返す; } 

C-INTERCAL での同等のプログラムはより長く、読みにくくなります。

DO 、1 <- # 13お願いしますDO 、1 SUB # 1 <- # 238 DO 、1 SUB # 2 <- # 108 DO 、1 SUB # 3 <- # 112 DO 、1 SUB # 4 <- # 0 DO 、1 SUB # 5 <- # 64 DO 、1 SUB # 6 <- # 194 DO 、1 SUB # 7 <- # 48お願いしますDO 、1 SUB # 8 <- # 22 DO 、1 SUB # 9 <- # 248 DO 、1 SUB # 10 <- # 168 DO 、1 SUB # 11 <- # 24 DO 、1 SUB # 12 <- # 16 DO 、1 SUB # 13 <- # 162読んでください、1諦めてください   
      
     
     
     
     
     
     
      
     
     
     
     
     
   
  

オリジナルの Woods-Lyon INTERCAL は、入出力機能が非常に限られていました。受け入れられる入力は数字とその数字の桁がすべて表記されたものだけで、出力はローマ数字の拡張バージョンだけでした。

C-INTERCALの再実装はインターネット上で利用可能であり、難解なプログラミング言語の愛好家の間でこの言語の人気が高まっています。^{[12] C-INTERCAL方言はオリジナルのINTERCALとは若干の違いがあり、} COME FROM文やチューリングテキストモデルに基づくテキストI/Oを行う手段など、いくつかの新機能が導入されています。^[9]

C-INTERCALの作者は、三進法に基づいてINTERCALの演算子セットを一般化したTriINTERCALの変種も作成した。 ^[9]

より最近の変種はThreaded Intercalであり、これはCOME FROMの機能を拡張してマルチスレッドをサポートする。^[13]

CLC-INTERCAL には、INTERCAL サーバーとしてのネットワーク機能を含む INTERNET と呼ばれるライブラリがあり、また、最初の量子コンピューターに対応できると言われる方法で多値計算を可能にする Quantum Intercal などの機能も含まれています。

2017年初頭、.NET Frameworkを対象とした.NET実装がGitHubに登場しました。この実装は、スタンドアロンのバイナリライブラリの作成と他のプログラミング言語との相互運用性をサポートしています。^[14]

記事「A Box, Darkly: Obfuscation, Weird Languages, and Code Aesthetics」^[12]では、 INTERCAL は「ここに入る者は正気を捨てよ: INTERCAL」という見出しで説明されています。コンパイラとコメント戦略は、説明されている「奇妙な」機能の 1 つです。

コンパイラは、その名にふさわしく「ick」と名付けられ、このパロディを続けています。コンパイラが理解できない、通常の言語ではコンパイル エラーになるようなものは、すべてスキップされます。この「寛容な」機能により、バグの発見が非常に困難になります。また、プログラム コメントを追加するための独自のシステムも導入されています。プログラマは、プログラム内の任意の場所にコンパイル不可能なテキストを挿入するだけで、コメントの途中に有効なコードが誤って埋め込まれないように注意します。

「テクノマゾヒズム」^[15]の中で、レフ・ブラティシェンコはINTERCALコンパイラを支配者として特徴づけている。

PLEASE が十分に頻繁に使用されない場合、プログラムは拒否されます。つまり、コンパイラによって説明なしに無視されます。頻繁に使用されると、今度は泣き言として拒否されます。プログラミング言語ではほとんど使用されないが、INTERCAL のステートメントとして表示される他の単語と組み合わせると、コードは誰かが懇願しているように読み取られます。

英国のインディーゲーム開発会社Nitromeが開発した架空のビデオゲームコンソールである Nitrome Enjoyment Systemには、INTERCAL でプログラムされたゲームが搭載されています。

ウィキメディア・コモンズには、 INTERCALに関連するメディアがあります。

• C-INTERCALの公式ウェブサイト
• ウェブ上のINTERCALリソース（いくつかの実装を含む）
• Computerworld のドン・ウッズ氏による INTERCAL に関するインタビュー
• INTERCAL における抽象化とモジュール化に関する論文