INTERCAL

INTERCAL, est une parodie de langage de programmation, et la référence canonique des langages de programmation ésotériques. Ce langage a été créé par Don Woods et James M. Lyon, deux étudiants de l'Université de Princeton, en 1972. Il tourne en dérision certains aspects des langages de programmation de l'époque^[1], ainsi que la prolifération des propositions de construction de langage et de notation dans les années 1960. En conséquence, son humour peut paraître plutôt désuet pour des lecteurs modernes ayant grandi avec le C ou le Java.

Jimbo Lyon, un des auteurs d'INTERCAL

Selon le manuel original des auteurs^[2],

« Le nom complet du compilateur est "Langage compilé n'ayant aucun acronyme prononçable", ce que, pour d'évidentes raisons, nous abrégerons en "INTERCAL". »

Il existe actuellement deux versions maintenues d'INTERCAL : C-INTERCAL (anciennement maintenu par Eric S. Raymond^[3]), et CLC-INTERCAL, maintenu par Claudio Calvelli^[4].

Introduction

INTERCAL a pour vocation d'être complètement différent de tout autre langage informatique. Les opérations courantes dans d'autres langages ont une syntaxe cryptique et redondante en INTERCAL. D'après le Manuel de Référence d'INTERCAL^[2] :

«  C'est un fait bien connu et amplement démontré qu'une personne dont le travail est incompréhensible est tenue en haute estime. Par exemple, si quelqu'un devait affirmer que la manière la plus simple de stocker la valeur 65536 dans une variable 32-bit en INTERCAL est :
DO :1 ← #0¢#256
N'importe quel programmeur intelligent dirait que c'est absurde. Comme il s'agit effectivement de la méthode la plus simple, ce programmeur prendrait instantanément un air ahuri devant son responsable, qui aurait eu de toute évidence la bonne idée d'apparaître à ce moment-là, comme les responsables ont l'habitude de le faire. L'effet n'en serait pas moins radical si le programmeur avait eu raison. »

Le Manuel de Référence d'INTERCAL contient de nombreuses instructions paradoxales, insensées, ou autrement humoristiques (à la manière du jeu Kamoulox):

« Attention ! Ne confondez en aucune circonstance la grille avec l'opérateur d'interpolation, excepté en cas de circonstances pouvant porter à confusion ! »

Le manuel contient également une "amygdale", comme expliqué dans cette note de bas de page: "4) Comme tous les autres manuels de référence ont des appendices, il a été décidé que le manuel d'INTERCAL devrait contenir un autre type d'organe retirable."^[2]

Le "circuit diagramme" du manuel de Référence INTERCAL, censé expliquer le fonctionnement de l'opérateur "select".

INTERCAL possède de nombreuses autres fonctionnalités prévues pour le rendre encore plus esthétiquement déplaisant au programmeur : il utilise des impératifs comme "READ OUT" ("lit à voix haute"), "IGNORE", "FORGET" ("oublie"), et des modificateurs comme "PLEASE" ("s'il te plaît"). Ce dernier mot-clé fournit deux raisons au compilateur pour rejeter le programme : si "PLEASE" n'apparaît pas assez souvent, le programme est considéré comme insuffisamment poli, et le message d'erreur en fait part ; s'il apparaît trop souvent, le programme peut être rejeté pour cause d'obséquiosité. Malgré le fait que cette fonctionnalité existât dans le compilateur INTERCAL d'origine, elle n'était pas documentée^[5].

Le manuel d'INTERCAL donne des noms volontairement ridicule à tous les caractères ASCII non alphanumériques (à l'exception de l'esperluette, qui garde son nom anglais « ampersand » : comme l'affirme le Jargon File, "que pourrait-il bien exister de plus idiot ?"^[6]) : les apostrophes et les guillemets sont des "étincelles" et des "oreilles de lapin" respectivement. L'opérateur d'assignation, représenté par un signe d'égalité (une "demi-grille" selon INTERCAL) dans de nombreux autres langages de programmation, est en INTERCAL une flèche gauche, "←", à laquelle on se réfère sous le nom de "reçoit", et est faite avec un "angle" et un "ver".

L'implémentation originelle de Princeton utilisait des cartes perforées et le jeu de caractères EBCDIC. Afin de permettre à INTERCAL de fonctionner sur des ordinateurs utilisant l'ASCII, des substitutions durent être faites sur deux caractères : $ remplaça ¢ en tant qu'opérateur MINGLE ("mélanger"), lequel "représente le coût croissant du logiciel comparativement au matériel", et ? remplaça ∀ comme opérateur ou exclusif unaire pour "exprimer correctement la réaction de l'individu moyen lors de sa première rencontre avec un ou exclusif unaire"^[2]. Dans les versions récentes de C-INTERCAL, les anciens opérateurs sont supportés en tant qu'alternatives ; et les programmes INTERCAL peuvent maintenant être encodés en ASCII, Latin-1, ou UTF-8^[5].

Le groupe de discussion Usenet alt.lang.intercal est dévoué à l'étude et à l'appréciation d'INTERCAL avec d'autres langages ésotériques.

Malgré le fait que le langage soit intentionnellement obtus et bavard, INTERCAL est néanmoins Turing-complet : pour peu qu'il dispose d'assez de mémoire, INTERCAL peut résoudre n'importe quel problème qu'une machine de Turing universelle puisse résoudre. La plupart des implémentations d'INTERCAL le font très lentement, néanmoins. Un test de performance basé sur un crible d'Eratosthène, calculant tous les nombres premiers inférieurs à 65536, a été testé sur un ordinateur Sun SPARCStation-1. En C, il fallut moins d'une demi-seconde ; le même programme en INTERCAL prit un peu plus de dix-sept heures^[7].

Il convient de noter qu'à peu près tous les langages de programmation autorisent des horreurs de notation aussi grandes ou pires que celles d'INTERCAL, comme le démontrent des concours comme l'International Obfuscated C Code Contest. Cependant, il s'agit généralement d'efforts intentionnels pour coder de manière illisible ce qui pourrait l'être de manière claire. Au contraire, le design même d'INTERCAL force quasiment tout code à être illisible.

Selon le manuel d'INTERCAL, "l'objectif en concevant INTERCAL était de n'avoir aucun antécédent", à supposer ni en fonctionnalités de contrôle de flux, ni en opérateurs de manipulation de données. Les concepteurs ont presque réussi ; le seul antécédent connu est une instruction machine^[8] dans un ordinateur central BESM-6 soviétique, sorti en 1967, et qui est effectivement équivalente à l'opérateur SELECT d'INTERCAL.

Dialectes

L'INTERCAL Woods–Lyon original était très limité dans ses capacités d'entrée/sortie : les seules entrées acceptables étaient des nombres épelés en toutes lettres, et la seule sortie possible était une version étendue des chiffres romains. Un peu plus tard, il y eut une 'implémentation Atari', au sujet de laquelle des notes sont fournies dans le manuel de référence d'INTERCAL ; elle "diffère de la version originelle de Princeton principalement dans l'utilisation de l'ASCII plutôt que de l'EBCDIC'^[2].

La réimplémentation C-INTERCAL, disponible sur Internet, a rendu le langage plus populaire parmi les dévots de la programmation ésotérique^[9]. Le dialecte C-INTERCAL possède quelques différences par-rapport à l'INTERCAL original et introduit quelques nouvelles fonctionnalités, comme une commande COME FROM ("arrive de") et un moyen de réaliser de l'E/S de texte basé sur le Modèle de Texte de Turing^[5].

Les auteurs du C-INTERCAL ont également créé la variante TriINTERCAL, basée sur le système trinaire et en généralisant les jeux d'opérateurs d'INTERCAL^[5].

Une variante plus récente est Threaded Intercal, qui étend la fonctionnalité de COME FROM pour supporter le multithreading^[10].

Syntaxe

Structures de données

INTERCAL-72 (la version originale d'INTERCAL) connaissait seulement quatre types, l'entier 16-bit (représenté par un ., appelé un 'spot'), l'entier 32 bits (:, un 'double-spot), le tableau d'entiers 16 bits (,, une 'queue'), et le tableau d'entiers 32 bits (;, un 'hybride'). Il y a 65535 variables disponibles de chaque type, numérotées de .1 à .65535 pour les entiers 16 bits, en l'occurrence. Néanmoins, chacune de ces variables a sa propre pile sur laquelle elle peut être poussée ou reprise (STASHée et RETRIEVée, en terminologie INTERCAL), augmentant la possible complexité des structures de données^[2] (les versions plus modernes d'INTERCAL ont dans les grandes lignes conservé les mêmes structures de données, avec des modifications appropriées ; TriINTERCAL, qui modifie la base avec laquelle les nombres sont représentés, peut utiliser un type 10 trits plutôt qu'un type 16 bits^[5], et le CLC-INTERCAL implémente nombre de ses propres structures de données, comme les 'classes et conférences', en faisant stocker plus d'information aux types de données de base plutôt que d'ajouter de nouveaux types^[4].) Les tableaux sont dimensionnés en leur assignant un nombre comme s'ils étaient un type scalaire. Des constantes peuvent aussi être utilisées, et sont représentées par une # ('grille') suivie de la constante elle-même, écrite sous forme d'un nombre décimal ; seules les constantes entières de 0 à 65535 sont supportées^[2].

Opérateurs

Il y a seulement cinq opérateurs en INTERCAL-72 ; les implémentations diffèrent selon quel caractère représente quelle opération, et beaucoup acceptent plus d'un caractère, c'est pourquoi plus d'une possibilité est donnée pour de nombreux opérateurs.

Source de cette table^[2],[4],[5]:

Opérateur	caractères INTERCAL-72	caractères Atari	caractères C-INTERCAL	caractères CLC-INTERCAL
INTERLEAVE ("intercaler") / MINGLE ("mélanger")	c retour arrière /	$	¢, $, c retour arrière /	¢
SELECT ("sélectionner")	~	~	~	~
AND ("et")	&	&	&	&
OR ("ou")	V	V	V	V
XOR ("ou exclusif")	V retour arrière -	?	V retour arrière -, ?, ?	V retour arrière -, ¥

Contrairement à la plupart des autres langages, les opérateurs AND, OR, et XOR sont des opérateurs unaires, qui fonctionnent sur les bits consécutifs de leur argument ; le bit de poids fort du résultat est l'opérateur appliqué aux bit de poids fort et bit de poids faible de l'entrée, le second bit de poids fort du résultat est l'opérateur appliqué au premier et second bit de poids fort, le troisième bit de poids fort du résultat est l'opérateur appliqué au second et troisième bit de poids fort, et ainsi de suite. L'opérateur est placé entre le signe de ponctuation qui spécifie un nom de variable ou une constante et le nombre qui spécifie de quelle variable il s'agit, ou simplement à l'intérieur de marqueurs de regroupement (c'est-à-dire un caractère plus loin qu'il le serait dans des langages de programmation comme le C.) SELECT et INTERLEAVE (également connu sous le nom de MINGLE) sont des opérateurs binaires infixes ; SELECT prend les bits de sa première opérande qui correspondent aux bits à '1' de sa seconde opérande et supprime les bits qui correspondent à '0', décalant vers le bit de poids faible et remplissant avec des zéros (ainsi 51 (110011 en binaire) SELECT 21 (10101 en binaire) donne 5 (101 en binaire)); MINGLE alterne les bits de sa première et seconde opérande (de telle manière que le bit de poids faible de la seconde opérande soit le bit de poids faible du résultat). Il n'y a pas de précédence des opérateurs ; des marqueurs de regroupement doivent être utilisés pour expliciter la priorité dans les cas où elle serait ambigüe (les marqueurs de regroupement disponibles sont ' ('étincelle') qui est à mettre en rapport avec une autre étincelle, et " ('oreilles de lapin') qui est à mettre en rapport avec d'autres oreilles de lapin ; le programmeur de l'utilisation de celles-ci de telle manière qu'elles rendent l'expression non ambigüe.)^[2]

Structures de contrôle

Les commandes en INTERCAL commencent toutes par un 'identificateur de commande' ; en INTERCAL-72, ceci peut être DO, PLEASE, ou PLEASE DO, chacun desquels ayant la même signification en ce qui concerne le programme (mais l'utilisation de l'un d'entre eux en excès provoque le rejet du programme, une fonctionnalité non documentée d'INTERCAL-72 qui fut mentionnée dans le manuel du C-INTERCAL^[5]), ou bien par une forme inversée (avec NOT ou N'T ajouté à l'identificateur)^[2]. Backtracking INTERCAL, une variante moderne, autorise également des variantes comme MAYBE ("peut-être", qui peut être combiné avec PLEASE ou DO) en tant qu'identificateurs de commande, ce qui introduit la notion de hasard^[11]. Avant l'identificateur, un numéro de ligne optionnel peut être donné (un entier encadré par des parenthèses) ; après l'identificateur, un pourcentage de chance que la ligne soit exécutée peut être donné au format %50, lequel prend par défaut la valeur 100%^[2].

En INTERCAL-72, les structures de contrôle principales sont NEXT ("suivant"), RESUME ("reprend"), et FORGET ("oublie"). DO (ligne) NEXT branche le programme à la ligne indiquée, en se souvenant de la ligne suivante qui aurait été exécutée s'il n'y avait pas eu ce NEXT sur la pile d'appel (d'autres identificateurs que DO peuvent être utilisés sur n'importe quelle commande, DO est simplement donné ici comme exemple) ; DO FORGET expression supprime les entrées égales à expression du haut de la pile d'appel (ceci est utile pour éviter l'erreur qui survient autrement lorsqu'il y a plus de 80 entrées), et DO RESUME expression supprime les entrées expression de la pile d'appel et branche le programme à la dernière ligne mémorisée^[2].

C-INTERCAL fournit aussi l'instruction COME FROM, qui s'écrit DO COME FROM (ligne) ; le CLC-INTERCAL et les versions les plus récentes du C-INTERCAL fournissent également des versions calculatoires de COME FROM (DO COME FROM expression) et NEXT FROM, qui fonctionne comme COME FROM mais sauvegarde également une adresse de retour sur la PROCHAINE pile^[4].

Des moyens alternatifs d'affecter le flux du programme, disponibles à l'origine en INTERCAL-72, sont d'utiliser les instructions IGNORE et REMEMBER ("souviens-toi") sur des variables (ce qui permet que les écritures sur cette variable soient discrètement ignorées puis reprennent effet, de sorte que des instructions puissent être désactivées), et les instructions ABSTAIN ("abstiens-toi") et REINSTATE ("réhabilite") sur des lignes ou sur des types de commande, ce qui désactive la ligne ou la réactive respectivement^[2].

Divers

L'entrée (qui utilise l'instruction WRITE IN) et la sortie (qui utilise l'instruction READ OUT) n'emploient pas le format habituel ; en INTERCAL-72, WRITE IN gère l'entrée d'un nombre écrit en toutes lettres en langue anglaise (comme SIX FIVE FIVE THREE FIVE), et READ OUT l'imprime en chiffres romains^[2]. Les versions plus récentes ont leur propre système d'E/S^[4],[5]. Les commentaires peuvent être réalisés en utilisant les inverseurs d'identificateur de commande NOT ou N'T ; ceux-ci provoquent l'abstention d'exécution (ABSTAIN) de ces lignes de sorte qu'elles n'ont pas d'effet^[2] (une ligne peut être en abstention même si elle ne possède pas une syntaxe valide ; les erreurs de syntaxe surviennent à l'exécution, et seulement à ce moment-là quand la ligne n'est pas en abstention.)^[2].

Hello, world

Le programme "Hello, world!" traditionnel démontre combien INTERCAL est différent des langages de programmation standard. En C, il ressemble à ceci :

#include <stdio.h>
 
int main()
{
    printf("Hello, world!");
    return 0;
}

Le programme équivalent en C-INTERCAL est plus long et plus difficile à lire:

DO ,1 ← #13
PLEASE 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
PLEASE 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
PLEASE READ OUT ,1
PLEASE GIVE UP

En INTERCAL-72, le programme équivalent n'est pas possible étant donné que cette version du langage ne peut produire de sortie qu'en chiffres romains^[2].

Abandonnez toute santé d'esprit

Dans l'article « A Box, Darkly: Obfuscation, Weird Languages, and Code Aesthetics »^[9], INTERCAL est décrit sous le titre « Abandonnez toute santé d'esprit, vous qui entrez ici : INTERCAL ». Le compilateur et la stratégie de commentaire sont parmi les fonctionnalités « étranges » décrites :

«  Le compilateur, adéquatement nommé "ick," continue la parodie. Tout ce que le compilateur ne peut pas comprendre, ce qui dans un langage de compilation normal résulterait en une erreur de compilation, est simplement ignoré. Cette fonctionnalité de "pardon" rend le fait de trouver des bugs très difficile ; elle introduit aussi un système unique d'ajout de commentaires de programme. Le programmeur n'a en gros qu'à insérer du texte non compilable n'importe où dans le programme, en faisant attention à ne pas inclure accidentellement une portion de code valide au milieu de son commentaire. »

Références

1. ↑ Techworld - The A-Z of Programming Languages: INTERCAL
2. ↑ ^{a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p et q} INTERCAL reference manual
3. ↑ The INTERCAL Resources Page
4. ↑ ^{a, b, c, d et e} CLC-INTERCAL
5. ↑ ^{a, b, c, d, e, f, g et h} C-INTERCAL supplemental reference manual
6. ↑ http://www.jargon.net/jargonfile/a/ASCII.html
7. ↑ Stross, Charles : Intercal -- the Language From Hell, Computer Shopper (UK) (1992-09).
8. ↑ Broukhis, Leonid. "BESM-6 Instruction Set"
9. ↑ ^{a et b} Mateas, Michael; Nick Montfort. "A Box, Darkly: Obfuscation, Weird Languages, and Code Aesthetics". Proceedings of the 6th Digital Arts and Culture Conference, IT University of Copenhagen, 1-3 December 2005: 144–153. 
10. ↑ Threaded Intercal
11. ↑ Backtracking in Intercal

Liens externes

• Page principale d'INTERCAL (en anglais)
• Ressources pour INTERCAL sur Internet, incluant plusieurs implémentations (en anglais)
• Interview de Don Woods par Computerworld au sujet d'INTERCAL (en anglais)
• Le guide de style Google pour INTERCAL (en anglais)