Toitvignette|Les Hospices de Beaune : les toits en tuile vernissée de Bourgogne multicolores à losanges de l'Hôtel-Dieu sont typiques de la Bourgogne. vignette|droite|Vue sur les toits de Prague. vignette|droite|Toits plats et dômes de la Grande Mosquée de Kairouan, en Tunisie. vignette|droite|Toits au Viêt Nam. vignette|droite|Toit bourguignon en tuiles plates, Avallon. Le toit est la surface ou couverture couvrant la partie supérieure d'un édifice, permettant principalement de protéger son intérieur contre les intempéries et l'humidité.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
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.
Explorateur de fichiersExplorateur de fichiers (), précédemment l'Explorateur Windows () est le gestionnaire de fichiers fourni avec le système d'exploitation Microsoft Windows. Le gestionnaire permet, notamment, d'afficher et de modifier le nom des fichiers et des dossiers, de manipuler les fichiers et les dossiers (copier, déplacer, effacer), d'ouvrir les fichiers de données, et de lancer les programmes. L'Explorateur Windows est également le programme qui affiche le bureau de Microsoft Windows, notamment la barre des tâches et le menu Démarrer.
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.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Natural buildingA natural building involves a range of building systems and materials that place major emphasis on sustainability. Ways of achieving sustainability through natural building focus on durability and the use of minimally processed, plentiful or renewable resources, as well as those that, while recycled or salvaged, produce healthy living environments and maintain indoor air quality. Natural building tends to rely on human labor, more than technology. As Michael G.
Toiture végétalevignette|upright=1.0|Bøur, aux îles Féroé. vignette|upright=1.0|Toiture extensive de sédums, utile et pédagogique, centre d'interprétation de la Nature, parc national De Biesbosch, Pays-Bas. vignette|upright=1.0|Norðragøta (îles Féroé). vignette|upright=1.0|Reconstitution d'habitations Vikings au Labrador. vignette|upright=1.0|L'architecture militaire pour des raisons de camouflage ou de protection contre les obus a utilisé la terre et la végétation en couverture vignette|upright=1.
Domestic roof constructionDomestic roof construction is the framing and roof covering which is found on most detached houses in cold and temperate climates. Such roofs are built with mostly timber, take a number of different shapes, and are covered with a variety of materials. Modern timber roofs are mostly framed with pairs of common rafters or prefabricated wooden trusses fastened together with truss connector plates. Timber framed and historic buildings may be framed with principal rafters or timber roof trusses.
Mapping objet-relationnelUn mapping objet-relationnel (en anglais object-relational mapping ou ORM) est un type de programme informatique qui se place en interface entre un programme applicatif et une base de données relationnelle pour simuler une base de données orientée objet. Ce programme définit des correspondances entre les schémas de la base de données et les classes du programme applicatif. On pourrait le désigner par là « comme une couche d'abstraction entre le monde objet et monde relationnel ».
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).
Gestionnaire de fichiersUn gestionnaire de fichiers présente les fichiers informatiques situés sur une ou plusieurs machines, affiche des informations sur eux (nom, taille, aperçu...), permet de trier leur présentation et d'effectuer sur eux quelques opérations, individuellement ou en les groupant. Il permet aussi la création et la suppression de fichiers et de répertoires Travaillant le plus souvent dans une interface graphique, il permet aussi ouverture, visualisation, impression, renommage, déplacement ou copie, la suppression, affichage et modification de propriétés et recherche de fichiers.
