Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Java syntaxThe syntax of Java is the set of rules defining how a Java program is written and interpreted. The syntax is mostly derived from C and C++. Unlike in C++, in Java there are no global functions or variables, but there are data members which are also regarded as global variables. All code belongs to classes and all values are objects. The only exception is the primitive types, which are not represented by a class instance for performance reasons (though can be automatically converted to objects and vice versa via autoboxing).
GNU Compiler CollectionGNU Compiler Collection, abrégé en GCC, est un ensemble de compilateurs créés par le projet GNU. GCC est un logiciel libre capable de compiler divers langages de programmation, dont C, C++, Objective-C, Java, Ada, Fortran et Go. GCC est utilisé pour le développement de la plupart des logiciels libres. Le noyau Linux dépend notamment étroitement des fonctionnalités de GCC. GCC a été conçu pour remplacer le compilateur C fourni en standard sur le système d'exploitation Unix, qui s'appelle CC.
Apache KafkaApache Kafka est un projet à code source ouvert d'agent de messages développé par l'Apache Software Foundation et écrit en Scala. Le projet vise à fournir un système unifié, en temps réel à latence faible pour la manipulation de flux de données. Sa conception est fortement influencée par les journaux de transactions. Apache Kafka a été initialement développé par LinkedIn et son code a été ouvert début 2011. Le projet intègre l'incubateur Apache Incubator le .
AbonnementLe mot abonnement se réfère de manière générale à une souscription convenue entre un prestataire et un bénéficiaire pour un même service proposé en plusieurs fois ou sur une période donnée. Il peut renvoyer à plusieurs notions : Commande d'un lecteur à un éditeur de presse portant sur plusieurs parutions pour un titre donné ; Commande d'un spectateur à une entreprise de spectacles portant sur plusieurs représentations pour une saison donnée ; Commande d'un voyageur à une entreprise de transport portant sur l'acquisition d'un titre de transport valable pour une période donnée ou pour un nombre de courses définies.
Observateur (patron de conception)Le patron observateur est un patron de conception de la famille des patrons comportementaux. Il s'agit de l'un des vingt-trois patrons de l'ouvrage du « Gang of Four » Design Patterns – Elements of Reusable Object-Oriented Software. Il est utilisé pour envoyer un signal à des modules qui jouent le rôle dobservateurs. En cas de notification, les observateurs effectuent alors l'action adéquate en fonction des informations qui parviennent depuis les modules qu'ils observent (les observables).
D-BusEn informatique, D-Bus est un logiciel de communication inter-processus permettant à des applications de communiquer entre elles. Hautement influencé par le système DCOP implémenté dans KDE 2 et KDE 3, il l'a remplacé dans KDE 4. Red Hat est le développeur principal de D-Bus, en tant qu'élément du projet freedesktop.org. Freedesktop.org diffuse D-Bus sous les termes de la licence publique générale GNU et la Licence Académique Libre en tant que logiciel libre.
