Julia (langage)Julia est un langage de programmation de haut niveau, performant et dynamique pour le calcul scientifique, avec une syntaxe familière aux utilisateurs d'autres environnements de développement similaires (Matlab, R, Scilab, Python, etc.). Il fournit un compilateur sophistiqué, un système de types dynamiques avec polymorphisme paramétré, une exécution parallèle distribuée, des appels directs de fonctions C, Fortran et Python.
Pure type systemNOTOC In the branches of mathematical logic known as proof theory and type theory, a pure type system (PTS), previously known as a generalized type system (GTS), is a form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these. The framework can be seen as a generalisation of Barendregt's lambda cube, in the sense that all corners of the cube can be represented as instances of a PTS with just two sorts. In fact, Barendregt (1991) framed his cube in this setting.
Top typeIn mathematical logic and computer science, some type theories and type systems include a top type that is commonly denoted with top or the symbol ⊤. The top type is sometimes called also universal type, or universal supertype as all other types in the type system of interest are subtypes of it, and in most cases, it contains every possible object of the type system. It is in contrast with the bottom type, or the universal subtype, which every other type is supertype of and it is often that the type contains no members at all.
GCJGCJ (GNU Compiler for Java) était le compilateur Java du projet GNU, sous licence libre. Il a été un des composants de GCC de la version 3 jusqu'à la version 6, avant d'en être retiré à partir de la version 7. Contrairement au compilateur du SDK Java de Sun Microsystems produisant exclusivement du bytecode Java, gcj opte pour une approche traditionnelle en produisant du code natif pour l'architecture matérielle. De plus GCJ est également capable de fonctionner comme un compilateur Java classique en produisant du bytecode, et permet également de transformer du bytecode vers du code natif.
Kind (type theory)In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator. A kind system is essentially a simply typed lambda calculus "one level up", endowed with a primitive type, denoted and called "type", which is the kind of any data type which does not need any type parameters. A kind is sometimes confusingly described as the "type of a (data) type", but it is actually more of an arity specifier.
Crise existentielleUne crise existentielle (ou crise de la vie) est une crise qui peut se produire au cours de la vie d’un individu. Elle correspond aux moments où les individus se demandent si leur vie a un sens, un but ou de la valeur. Ce phénomène est communément mais pas nécessairement lié à une dépression. Le problème du sens et du but de l'existence est un sujet traité par le mouvement philosophique existentialiste.
Psychothérapie existentielleLa psychothérapie existentielle est une forme de psychothérapie, basée sur le modèle de nature et d'expérience humaine développée par la tradition existentialiste de la philosophie européenne. Elle se concentre sur des concepts universellement applicables à l'existence humaine, qui incluent la mort, la liberté, la responsabilité, et le sens de la vie. Au lieu de considérer des expériences humaines comme l'anxiété, l'aliénation, ou la dépression comme des manifestations de maladie mentale, la psychothérapie existentielle voit ces expériences comme des stades du processus normal de développement et de maturation d'un être humain.
ExistentialismeL'existentialisme est un courant philosophique et littéraire qui considère que l'être humain forme l'essence de sa vie par ses propres actions, celles-ci n'étant pas prédéterminées par des doctrines théologiques, philosophiques ou morales. L'existentialisme considère chaque individu comme un être unique maître de ses actes, de son destin et des valeurs qu'il décide d'adopter.
