Hello!

Inspiré(e) de prendre part à la discussion ? Ou de poser une question ou demander de l’aide ?

Alors bienvenues dans les grands sujets des forums de La Bulle : m’inscrire.

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.

Le type booléen avec Ada
Auteur Message
Tchatcheur
Tchatcheur
RANDOM_AVATAR
  • Genre : Télétubbie
  • Messages : 109
Ven 23 Nov 2018 20:07
Message 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 :
(Uninitialised, Nothing, False, True) ;
-- because the four values are possible case.


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.

Dernière édition par M. Max Sens le Ven 23 Nov 2018 20:27, édité 1 fois.

Profil
Tchatcheur
Tchatcheur
RANDOM_AVATAR
  • Genre : Télétubbie
  • Messages : 109
Ven 23 Nov 2018 20:26
Message 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é.
Profil
Tchatcheur
Tchatcheur
RANDOM_AVATAR
  • Genre : Télétubbie
  • Messages : 109
Ven 23 Nov 2018 20:44
Message 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

type Veracity_Enum_Type is (Nothing, None, Negativie, Positive, Infinite) ;

end 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.

Dernière édition par M. Max Sens le Ven 23 Nov 2018 20:55, édité 1 fois.

Profil
Tchatcheur
Tchatcheur
RANDOM_AVATAR
  • Genre : Télétubbie
  • Messages : 109
Ven 23 Nov 2018 20:50
Message 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) ;
Profil
Tchatcheur
Tchatcheur
RANDOM_AVATAR
  • Genre : Télétubbie
  • Messages : 109
Ven 23 Nov 2018 20:59
Message 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".
Profil
Tchatcheur
Tchatcheur
RANDOM_AVATAR
  • Genre : Télétubbie
  • Messages : 109
Ven 23 Nov 2018 21:14
Message 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.
Profil
Tchatcheur
Tchatcheur
RANDOM_AVATAR
  • Genre : Télétubbie
  • Messages : 109
Ven 23 Nov 2018 21:30
Message 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
(Nothing_Probed,
None_Probed,
Positive_Probed,
Middle_Probed
Negative_Probed) ; -- Unprobed.
Profil