Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
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 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).
RentabilitéLa rentabilité est le rapport entre un revenu obtenu ou prévu et les ressources employées pour l'obtenir. La notion s'applique notamment aux entreprises, mais aussi à tout autre investissement. La rentabilité rétrospective est le rapport entre un résultat comptable et les moyens en passifs mis en œuvre pour l'obtenir. La rentabilité prévisionnelle est le rapport entre un gain de trésorerie projeté et la valeur d'un investissement nécessaire pour générer ce gain.
Actionnariat salariéL'actionnariat salarié est un dispositif qui vise à faire entrer durablement les salariés d'une entreprise dans le capital de cette dernière. Il s'agit d'un dispositif relativement ancien de conciliation des intérêts du capital et du travail, initié en France par Charles de Gaulle. De nombreux dispositifs sont depuis venus enrichir cette pratique qui s'est considérablement développée ces dernières années. Le rôle immédiat de l'actionnariat salarié consiste à constituer une épargne et à susciter l'implication du salarié dans son entreprise.
VenteUne vente est une convention par laquelle le vendeur s'oblige à livrer un bien ou un service, et l'acheteur à le payer. En d'autres termes, une vente est une action par laquelle un bien ou un droit détenu par un vendeur est cédé à un acheteur contre une somme d’argent (prix de vente). Lorsque la contrepartie n'est pas de l'argent, alors il ne s'agit pas de vente mais d'un échange ou d'un troc. En droit civil français, la vente est définie à l'article 1582 alinéa 1er du Code civil de 1804.
OwnershipOwnership is the state or fact of legal possession and control over property, which may be any asset, tangible or intangible. Ownership can involve multiple rights, collectively referred to as title, which may be separated and held by different parties. The process and mechanics of ownership are fairly complex: one can gain, transfer, and lose ownership of property in a number of ways. To acquire property one can purchase it with money, trade it for other property, win it in a bet, receive it as a gift, inherit it, find it, receive it as damages, earn it by doing work or performing services, make it, or homestead it.
Capital-investissementLe capital-investissement (en anglais : private equity) est un mode d'investissement de capital où un investisseur ou fonds d'investissement utilise des capitaux pour acheter des parts d'une entreprise. Secteur de la finance considéré comme très prestigieux, les professionnels du private equity sont régulièrement décrits comme les ou encore . Le capital-investissement consiste, stricto sensu, en une augmentation de capital d'une entreprise par un apport d'une autre entreprise spécialisée dans l'investissement.
Intérêt (finance)En finance, l'intérêt est la rémunération d'un prêt, sous forme généralement d'un versement périodique de l'emprunteur au prêteur. Pour le prêteur, c'est le prix de sa renonciation temporaire à la liquidité. Pour l'emprunteur, c'est un coût correspondant à une utilisation anticipée. Une épargne rémunérée par un intérêt est assimilable à un prêt fait à un emprunteur, comme une banque ou l'organisme bénéficiaire de cette épargne. Taux d'intérêt L'intérêt est proportionnel au capital et croît avec le temps couru.
Introduction en bourseUne introduction en bourse ( ou IPO) est une opération financière conduite par une société et ses différents conseils (banquier d'affaires, commissaire aux comptes, avocat d'affaires, etc.) qui permet la cotation de titres de capital [actions] de cette entreprise sur un marché boursier. Elle est généralement couplée à une levée de fonds (augmentation de capital) et parfois à des cessions d'actions détenues par des actionnaires. Les 10 plus grosses introductions en Bourse de l'histoire des bourses de valeurs Autres introductions 2004 : Google lève 1,9 milliard de dollars.
Taux d'intérêtLe taux d'intérêt d'un prêt ou d'un emprunt fixe la rémunération du capital prêté (exprimée en pourcentage du montant prêté) versée par l'emprunteur au prêteur. Le taux et les modalités de versement de cette rémunération sont fixés lors de la conclusion du contrat de prêt. Ce pourcentage tient compte de la durée du prêt, de la nature des risques encourus et des garanties offertes par le prêteur. Les taux d'intérêt sont utilisés dans de multiples domaines, des instruments financiers jusqu'aux produits d'épargne (compte d'épargne), en passant par les obligations.
Retour sur investissementLe retour sur investissement (RSI ou rentabilité du capital investi), parfois appelé rendement, taux de rendement, taux de profit ou encore ROI (terme anglais, return on investment), désigne un ratio financier qui mesure le montant d'argent gagné ou perdu, par rapport à la somme initialement investie dans un investissement. Pour un investissement financier, ce ratio est généralement exprimé en pourcentage plutôt qu'en valeur décimale. Pour un investissement productif à durée de vie courte ou indéterminée (achat / développement de logiciels par exemple), ce sera l’inverse.
