Tagged unionIn computer science, a tagged union, also called a variant, variant record, choice type, discriminated union, disjoint union, sum type or coproduct, is a data structure used to hold a value that could take on several different, but fixed, types. Only one of the types can be in use at any one time, and a tag field explicitly indicates which one is in use. It can be thought of as a type that has several "cases", each of which should be handled correctly when that type is manipulated.
AmigaL’Amiga est une famille d’ordinateurs personnels commercialisée par Commodore International entre et . Dans les années 1990, il est très populaire sur la scène démo, parmi les amateurs de jeux vidéo et dans l'industrie de la vidéo. Dans les années 1980, l'Amiga offrait en standard un affichage plus coloré et plus animé, un meilleur son et un système d'exploitation (multitâche préemptif avec interface graphique) plus avancé que la plupart de ses concurrents.
Bien et mal (philosophie)Dans les domaines religieux, éthique, philosophique et psychologique, « le bien et le mal » est un couple de concepts courant. Dans les cultures d'inspiration manichéenne ou abrahamique, le mal est généralement considéré comme l’opposé du bien, dans lequel le bien devrait prévaloir et le mal aurait vocation à être vaincu. Dans les cultures d'inspiration bouddhiste, le bien et le mal sont perçus comme une dualité antagoniste qui doit elle-même être surmontée en réalisant Śūnyatā, c'est-à-dire la reconnaissance du bien et du mal en tant que principes opposés mais complémentaires.
Par-delà le bien et le malPar-delà le bien et le mal. Prélude d'une philosophie de l'avenir (Jenseits von Gut und Böse - Vorspiel einer Philosophie der Zukunft) est une œuvre du philosophe allemand Friedrich Nietzsche, publiée en 1886. Le livre paraît après Ainsi parla Zarathoustra et avant la Généalogie de la morale, « qui complète et éclaire » Par-delà le bien et le mal. Il comporte une préface, neuf parties et un postlude, Du haut des monts, qui est un poème. Les neuf parties sont composées de 296 aphorismes, une forme que Nietzsche privilégie habituellement.
Higher-order abstract syntaxIn computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders. An abstract syntax is abstract because it is represented by mathematical objects that have certain structure by their very nature. For instance, in first-order abstract syntax (FOAS) trees, as commonly used in compilers, the tree structure implies the subexpression relation, meaning that no parentheses are required to disambiguate programs (as they are, in the concrete syntax).
