Cette partie du forum n’est pas compatible avec les bloqueurs publicitaires
Félicitations à vous, de préférer les accès payants plutôt que la gratuité par la publicité, c’est honnorable et cohérent de votre part. Malheureusement, l’accès payant par micropaiement (qui serait d’environ 1 cent pour 20 pages consultées) n’est pour l’instant pas encore mis en place, et l’accès gratuit sans publicité, est réservé aux membres actif(ve)s du forum. En attendant, si vous souhaitez poursuivre votre visite chez nous, vous pouvez ajouter le site à votre liste blanche, ou encore mieux, désactiver le bloqueur partout. Pour ajouter le site à votre liste blanche, pour Firefox (similaire pour les autres navigateurs), rendez‑vous en bas à gauche de la fenêtre de votre navigateur, et cliquez sur le menu comme dans l’exemple de l’image ci‑dessous, puis rechargez la page, en appuyant sur F5.
|
|
|
| Auteur | Message |
|---|---|
|
Tchatcheur
 
|
Ven 23 Nov 2018 20:07
Le type booléen avec Ada
Bonjour,
Le type booléen avec Ada, sensiblement à distinguer du type natif du standard "boolean" du langage de programmation qu'est le langage Ada. Source Ada :type Boolean_Enum_Type is-- le type booléen doit être : En effet, une variable avec Ada peu ne pas être initilaisée, c'est une liberté et rien n'indique de valeur constant à défaut. Aussi, le type booléen se doit avec Ada d'avoir une quatrième valeur afin de permettre de valuer une valeur ayant vocation à signifier le caractère véritable d'un fait pour désigner l'inconnu effectivement. La valeur "unknow" au lieu de "nothing" est possible (mais à proscrire puisque) bien que sujettante d'une ambiguïté puisque justement elle est le signifié d'une connaissance. Bien que de même nature paradoxale, "nothing" exprime "aucun" d'entre False et True, mais je ne sais pas quelle en est la sémantique anglo- saxone. |
|
|
|
|
|
|
Tchatcheur
|
Ven 23 Nov 2018 20:26
Re: Le type booléen avec Ada
Du coup, après une petite traduction, j'écrirais le type de la manière suivante :
Source Ada :type Boollean_Enum_Type is (Nothing, None, False, True) ; True : véracité ::= vrai. False : véracité ::= faux. None : véracité ::= aucun. Nothing : véracité ::= indécidé. |
|
|
|
|
Tchatcheur
|
Ven 23 Nov 2018 20:44
Re: Le type booléen avec Ada
J'irais même jusqu'à déclarer un cinquième nom corrolaire au trois exprimant la véracité effective, et donc, ou pas :
Source Ada :package Lib.Veracity Infinite, serait l'expression du calcul ou de l'expression en cours ou le dépassement de leur valuation a contrario des trois précédente. |
|
|
|
|
Tchatcheur
|
Ven 23 Nov 2018 20:50
Re: Le type booléen avec Ada
Pour s'assurer de na pas converger par manque de clairevoyance lexico- graphique, suffixée du mot "_Verax" :
Source Ada :type Veracity_Enum_Type is (Nothing_Verax, None_Verax, Negative_Verax, Positive_Verax, Infinite_Verax) ; |
|
|
|
|
Tchatcheur
|
Ven 23 Nov 2018 20:59
Re: Le type booléen avec Ada
pour la circularité de la valuation exprimant l'encours ou le dépassement, je remplacerai "Infinite_Verax" par "Round_Verax".
|
|
|
|
|
Tchatcheur
|
Ven 23 Nov 2018 21:14
Re: Le type booléen avec Ada
Re- again.
Pour distinguer l'encours du dépassement puisqu'il le faut : Source Ada :type Veracity_Enum_Type is (Nothing_Verax, None_Verax, Negative_Verax, Positive_Verax, Outstanding_Verax, Overtaking_Verax) ; Ce qui compte six noms pour exprimer six états possible d'un type qui n'en compte que deux à l'origine. |
|
|
|
|
Tchatcheur
|
Ven 23 Nov 2018 21:30
Re: Le type booléen avec Ada
Ce qui me fait penser que le type booléen est sur- jacent à un type préalable qui exprimerait le probable, puisqu'elle est énoncé dans les nouvelles sciences ; Lequel implémenterait moins de nom, cinq seulement :
Source Ada :type Probable_Enum_Type is |
|
|
|
|
|
|
