Abstrasy.org refs:lang:typeindex

array

Anonymous (anonymous@undisclosed.example.com) — 2013-05-31T10:22:37+0000

types:types types:primitifs types:collections types:constructeurs types:array array Le type array fournit un tableau de valeurs immuables. La structure du type array est immuable. On lui donne une taille fixe qui ne peut être modifiée qu'en créant un nouveau tableau et en y recopiant les élément du tableau précédent. Le type

boolean

Anonymous (anonymous@undisclosed.example.com) — 2020-11-14T19:59:31+0000

types:types types:primitifs types:identites types:boolean complements:compositionnalite boolean Le type booléen ne peut avoir que deux valeurs dont les formes littérales sont TRUE pour vrai et FALSE pour faux. (define 'x TRUE) # On assigne une valeur booléenne "vrai" à x. On note que la forme littérale consiste à utiliser les symboles

double

Anonymous (anonymous@undisclosed.example.com) — 2014-02-19T19:23:38+0000

types:types types:primitifs types:litteraux types:double types:number double Le type double définit les nombres à virgule flottante conforme à la norme IEEE754 / 64bits. Il s'agit de la forme littérales par défaut des nombres à virgule flottante. Il suffit d'en indiquer la valeur pour définir un nombre du type

function

Anonymous (anonymous@undisclosed.example.com) — 2013-06-01T17:25:56+0000

types:types types:primitifs types:constructeurs types:function function En programmation, les fonctions permettent de décomposer les programmes en portions plus petites pour effectuer des calculs et des opérations élémentaires. Les fonctions sont essentielles à l'abstraction du langage de programmation. Elles permettent notamment d'isoler et de centraliser certaines opérations répétitives. Elles facilitent ainsi la compréhension et la maintenance des programme.

int

Anonymous (anonymous@undisclosed.example.com) — 2013-06-03T19:19:18+0000

types:types types:primitifs types:litteraux types:int types:number int Le type int définit les nombres entiers signés de 32 bits. Il s'agit de littéraux pour lesquels il suffit d'indiquer la valeur. Ainsi, le nombre entier 10, s'écrit tout simplement 10. Constructeur par conversion Le constructeur par conversion des nombres entiers est

lazy

Anonymous (anonymous@undisclosed.example.com) — 2013-05-30T13:18:56+0000

types:types types:primitifs types:litteraux types:lazy lazy Opérateurs

list

Anonymous (anonymous@undisclosed.example.com) — 2013-05-31T08:22:04+0000

types:types types:primitifs types:collections types:constructeurs types:list list list Aussi appelée liste immuable, list est une structure de liste ordonnée, immuable et simplement chaînée de cellules d'indirection ref. Ainsi, bien que la structure d'une list soit immuable, les éléments qu'elle contient sont mutables.

nothing

Anonymous (anonymous@undisclosed.example.com) — 2013-05-30T13:15:59+0000

types:types types:primitifs types:identites types:nothing nothing Le type <> est un type singleton dont la seule et unique valeur est (nothing). Dans d'autres langage de programmation, ce type est souvent appelé <>, <> ou encore <> pour désigner une variable ou une référence qui n'est liée à aucune donnée. On peut considérer que

operator

Anonymous (anonymous@undisclosed.example.com) — 2013-05-31T14:14:09+0000

types:types types:primitifs types:litteraux types:identites types:operator operator Les opérateurs sont les fonctions internes et réservées du langage. Ils forment un ensemble d'éléments abstraits fonctionnels. En effet, contrairement aux fonctions classiques, les opérateurs n'ont pas de constructeur. Chaque opérateur est une identité abstraite et immuable qui ne peut être redéfinie.

ref

Anonymous (anonymous@undisclosed.example.com) — 2013-07-10T13:45:19+0000

types:types types:primitifs types:constructeurs types:ref ref En Abstrasy, le type <> fournit le dispositif d'indirection qui permettent de manipuler les données à l'aide de références et non directement leurs valeurs. On les appelle donc aussi à juste raison <>. Une cellule d'indirection

string

Anonymous (anonymous@undisclosed.example.com) — 2013-06-03T15:53:10+0000

types:types types:primitifs types:litteraux types:string string Une chaîne de caractères est une donnée littérale composée de caractères et délimitées par une paire de guillemets (exemple: “toto”) ou de <>, autrement-dit, des accents graves (exemple: `toto`). Dans le cas particulier où on utilise des

thunk

Anonymous (anonymous@undisclosed.example.com) — 2013-05-30T13:21:13+0000

types:types types:primitifs types:constructeurs types:thunk thunk Opérateurs

trivalent

Anonymous (anonymous@undisclosed.example.com) — 2014-09-29T14:19:50+0000

types:types types:primitifs types:identites types:trivalent trivalent Le type identitaire trivalent permet de résoudre les problème de logique ternaire (à 3 valeurs). Une donnée du type trivalent peut avoir 3 états: K+, K- et K= qui correspondent respectivement à vrai, faux et à un troisième état

tuple

Anonymous (anonymous@undisclosed.example.com) — 2013-05-30T13:33:22+0000

types:types types:primitifs types:collections types:litteraux types:tuple tuple Un tuple est une liste immuable et simplement chaînée de valeurs ordonnées. Il est très facile de créer un tuple car ce type fait partie des littéraux du langage. Toute expression délimitée par des crochets (<<[>> et <<]>>) est un tuple. Par exemple, pour créer un tuple composé de deux nombres entiers, il suffit d'écrire ses nombres entre crochets. Ainsi,

vector

Anonymous (anonymous@undisclosed.example.com) — 2013-05-31T12:02:56+0000

types:types types:primitifs types:collections types:constructeurs types:vector vector Le type vector est la variante à contenu mutable du type array. Au lieu d'être un tableau de valeurs immuables, un vector est un tableau de références. Sa structure immuable est donc formée de cellules d'indirection ref (structure représentée en bleu dans le schéma ci-contre).