PoissonLes poissons sont des animaux vertébrés aquatiques à branchies, pourvus de nageoires dont le corps est généralement couvert d'écailles. On les trouve abondamment aussi bien dans les eaux douces, saumâtres et de mers : on trouve des espèces depuis les sources de montagnes (omble de fontaine, goujon) jusqu'au plus profond des mers et océans (grandgousier, poisson-ogre). Leur répartition est toutefois très inégale : 50 % des poissons vivraient dans 17 % de la surface des océans (qui sont souvent aussi les plus surexploités).
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Petite centrale hydroélectriqueUne petite centrale hydroélectrique ou micro-centrale hydro-électrique est une centrale électrique utilisant l'énergie hydraulique pour produire de l'électricité à petite échelle. Cette électricité peut être utilisée pour alimenter des sites isolés (une ou deux habitations, un atelier d’artisan, une grange...) en tant que système d'alimentation autonome ou revendue à un réseau public de distribution. Certaines centrales peuvent être construites avec des capacités de stockage d’énergie.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Histoire de la GrèceCet article contient les faits essentiels concernant l'histoire de la Grèce de la préhistoire à nos jours. Il ne s'agit pas seulement de l'histoire du territoire de la Grèce actuelle, mais d'un ensemble de territoires où la civilisation grecque a régné au cours de ses épisodes successifs : la Grèce de l'époque mycénienne, la Grèce des cités classiques (Athènes, Sparte), la Grèce hellénistique de l'empire d’Alexandre le Grand (de la Macédoine à l'Afghanistan et à l'Égypte), la Grèce de l’Empire romain, puis de l'Empire byzantin, prolongement de l'Empire romain d'Orient, la Grèce sous domination ottomane, puis, après l'indépendance proclamée en 1821, le royaume de Grèce, et l'actuelle République hellénique, la troisième, qui date de 1974.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
AllemagneLAllemagne (Deutschland), officiellement la République fédérale d’Allemagne (Bundesrepublik Deutschland) est un État d'Europe centrale, et selon certaines définitions d'Europe de l'Ouest, entouré par la mer du Nord, le Danemark et la mer Baltique au nord, par la Pologne à l'est-nord-est, par la Tchéquie à l'est-sud-est, par l'Autriche au sud-sud-est, par la Suisse au sud-sud-ouest, par la France au sud-ouest, par la Belgique et le Luxembourg à l'ouest, enfin par les Pays-Bas à l'ouest-nord-ouest.
Poisson abyssalthumb|Un poisson-vipère de Sloane (Chauliodus sloani). Les poissons abyssaux, poissons des abysses ou poissons des profondeurs sont des poissons qui passent la plus grande partie de leur vie dans les abysses. Les poissons des abysses constituent un élément important de la faune abyssale et une ressource halieutique considérable. Réputés pour leur apparence monstrueuse, la plupart mesurent à peine une dizaine de centimètres de longueur, rares sont ceux qui dépassent le mètre.
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).
Albanians in GreeceAlbanians in Greece (Shqiptarët në Greqi; Αλβανοί στην Ελλάδα) are people of Albanian ethnicity or ancestry who live in or originate from areas within modern Greece. They are divided into distinct communities as a result of different waves of migration. Albanians first migrated into Greece during the late 13th century. The descendants of populations of Albanian origin who settled in Greece during the Middle Ages are the Arvanites, who have been fully assimilated into the Greek nation and self-identify as Greeks.
