Pike (langage)

int main() {
    write("Hello world!\n");
    return 0;
}

La syntaxe ci-dessus s’explique de la façon suivante :

• La première ligne annonce la fonction main. C’est la première fonction exécutée au lancement d’un programme ; main signifie « principal(e) » en anglais. La mention int qui la précède signale qu’un nombre entier sera retourné à la fin de la fonction.
• La fonction write envoie une chaîne de caractères sur la sortie standard, qui est bien souvent une interface en ligne de commande.
• La troisième ligne retourne un nombre à l’appelant de la fonction, dans ce cas l’interface en ligne de commande, pour laquelle zéro signifie par convention que le programme s’est exécuté sans erreur.
• Les accolades enserrent la fonction et le point-virgule sépare les instructions (ce qui implique que la fonction aurait pu tenir sur une seule ligne int main(){write("Hello world!\n");return 0;})
• Le \n après le « Hello world! » est le caractère symbolisant une fin de ligne.

La liste qui suit montre tous les types acceptés en standard par Pike. Des types de données plus complexes comme les séquences, les files, les tas, les piles, etc. sont disponibles dans le module ADT inclus avec Pike.

Types de données basiques :

• entier (int)
• flottant (float)
• chaîne (string)

Types d’ensembles :

• tableau (array)
• mapping
• multiensemble (multiset)

Autres types :

• programme (program, la représentation compilée d’une classe)
• objet (object, l’instance d’une classe)
• fonction (function)

Pike oblige à déclarer explicitement toutes les variables. Il utilise cette information pour avertir sur d’éventuelles erreurs de type au moment de l’interprétation du code. Le code ci-dessous causera une erreur parce que la valeur de la variable « number » doit être un entier mais que le code tente d’y assigner un nombre flottant puis une chaîne de caractères.

int number;     // variable integer, n'accepte que des entiers
number = 5.5;   // 5.5 est un nombre flottant, ce qui conduit à une erreur
number = "5";   // "5" est une chaîne, et non le nombre entier 5, d'où erreur

Ce type de comportement est habituellement considéré comme restrictif et limitant par les tenants des langages dynamiquement typés. Toutefois, à la différence du C, du C++ ou de Java, pour ne citer qu’eux, Pike a recours à un système de typage spécifique qui permet au programmeur de déclarer des variables comme pouvant contenir une valeur de différents types, une chose la plupart du temps impossible ou dangereux dans la plupart des langages apparentés au C.

Le code suivant montre comment une variable peut être déclarée de deux types différents, c’est-à-dire comme pouvant contenir l’un ou l’autre de ces types au cours de l’exécution du programme.

int|float number; // variable de type entier OU flottant
number = 5;       // ceci est valable
number = 5.5;     // ... et ceci également.

Du fait qu’une variable peut être déclarée comme pouvant être de plus d’un type, des fonctions sont fournies pour déterminer quel type de données une telle variable stocke à un instant t. Ces fonctions suivent une convention de nommage : le nom du type accolé à la lettre p ; ainsi trouve-t-on intp, floatp, stringp, etc.

int|float number;
number = 5;
intp(number);      // renvoie vrai parce que number stocke un entier
floatp(number);    // renvoie faux
number = 5.5;
floatp(number);    // renvoie vrai parce que number stocke maintenant un nombre flottant

En outre, il existe un type de données mixed spécial. Sa définition permet à une variable de contenir n’importe quel type de données.

mixed anything;
anything = 5;    // anything est maintenant l’entier 5
anything = 5.5;  // anything est maintenant le flottant 5,5
anything = "5";  // anything est maintenant la chaîne "5"

Pour convertir une valeur d’un type à un autre, Pike utilise une conversion de type explicite :

mixed anything;
anything = (int)5.5;         // anything est maintenant un entier de valeur 5
anything = (string)anything; // anything est maintenant une chaîne qui vaut "5"

• Caudium

• (en) Site officiel
• (en) Site de la communauté autour de Pike