Reprise du message précédent :

Les gens ne disent pas spécialement de mal de Bill Gates en tant que personne (uniquement en tant que figure emblématique d'une companie peu appréciée), va voir du côté de Ballmer si tu veux un mec peu apprécié

0 c'est bon
 
(j'ai déjà vérifié "rigth", parce que c'est souvent moi qui me plante)

c'est surtout completement hors sujet, on evalue un produit par rapport a nos besoin, pas par rapport a la gentillesse/mechanceté du dirigeant de la boite qui a créé le produit.

 
J'aimerais voir ta tronche a la seconde ou on touche a ton pvoir d'achat, je pense que ca sera pas la meme chose qu'un discours sur blabla@prog

tu as réellement ce genre de vérifs dans le compilo ??

http://www.dilbert.com/
j'y capte rien à cette BD, c'est normal ?

Si je regarde la liste d'erreurs pythons j'en vois pas d'autres qui s'appliquent.
 
À part peut être des erreurs d'index sur des conteneurs non mutables dont tu connais la taille à la compilation (out of range index) et une détection des divisions par 0 si tu ne laisses pas le processeur se démerder

Les deux derniers sont etranges

non, je viens de vérifer dans toute l'appli en java à coup de search global
 
 
 
les modéliseurs sont des porcs, dans le langage en question, y'a l'équivalent du #define de C++.

niet et niet : on a pas de conteneurs (parce qu'on programme pas) et les divisions par zéro ça sera géré derrière (mais je pense que qu'il vienne à l'idée de quelqu'un d'utiliser la division là-dedans)

Pardon

 
c'est un lgge ou personne ne programme
 
(j'ai pas encore bien compris)

Je dirais, dépassement des limites des types, divisions par zéro, erreurs d'arrondis, explosion de la pile, et après tout ce qui concerne les erreurs de mémoire (dépassements de tableaux, corruption mémoire, accès à mémoire non allouée, double libération, mémoire non libérée), et enfin erreurs non rattrapées (exceptions non catchées, etc, c'est techniquement plus un pb de conception que de langage, mais le langage peut faciliter ou non la conception). Je ne sais pas dans quelle mesure un compilo peut détecter ces type d'erreurs qui ont lieu à l'exécution.

Je ne parlais pas des produits Microsoft, je parlais de la mauvaise image de son propriétaire...

très exactement zéro, vu que c'est pas un langage de programmation.
 
(je vous rappelle que ni java, ni C# ne proposent d'ailleur de vérifier ça statiquement)

bin y detecte ce qui peut etre deduit a compile time a grand coup d'analyse de flux, mais c'est assez limité (surtout que l'interprocedural, bonjour)

Ah oui, c'est ton truc pour faire de la preuve, c'est ça ?

 
Bin l'interet me parait limité dans des langages comme ca qui font ce genre de verif en run time. Sur des brols type C/C++, la oui

oué, voilà, à la base c'était destiné à faire de la preuve (langage B).

Ué enfin ils sont pas d'une violence terrifiante, faudrait voir quel niveau de vérification fait Haskell par exemple (vu qu'il est fortement et statiquement typé sans jamais avoir besoin de spécificer explicitement le typage, le type inference doit être relativement violent, donc l'analyse du code, donc il y a des chances qu'ils choppent tout ce qu'ils peuvent chopper )

J'ai pas l'exclusivité des messages d'erreur de merde
 
(j'ai aucune idée de l'erreur, la méthode qui est capable de lancer cette erreur fait 254, dont un bon tiers en commentaires)

niet : les divisions par zéro, il sait pas faire.
 
Il a un système de type normal, tout ce qui ne relève pas du système de type, il peut pas. Même si tu implémentait des tableaux à coups de monads, la possibilité d'un échec de l'accès ne serait pas masquée,il t'obligerait à prévoir un chemin de code en cas d'erreur (ce que fait aussi java d'aileur, par les exceptions).

Ben si, renseigne-toi, ADA vérifie la plupart des cas d'erreurs d'éxécution à la compilation.
 
Avant ADA95, il était tout bonnement impossible de faire :
 
int = int * int (forcément dans un type plus grand)
int = int / int (forcément dans un type flotant)
val = val / val (obligé de vérifier que le diviseur était != 0 - ou d'un type excluant 0 -)
 
même pour int + int et int - int, de base, il est impossible de compiler ce genre d'instruction en mode parano : int + int pouvant faire un dépassement de capacité, on ne pouvait pas avoir autrechose que int = int2 + int2 avec int2 dérivé de int dont la borne suppérieure était cele de int / 2.
 
je vais pas énumérer tous les cas, parceque non seulement je me suis arrêté à de la programmation "light" sur ce langage, mais surtout je n'y ai pas touché depuis 8 ans.
mais une chose est sûre, t'as rêvé d'un truc, ADA l'a fait, et bien avant que la première ligne de Java ne soit imaginée.
 
edit: tout ce que j'ai dit là-haut comme étant "impossible" est en fait possible d'après mes souvenirs, à la simple condition (de taille) de gérer toutes les exceptions que de telles oppérations peuvent produirent.

Je me trompe, ou l'idée est de spécifier complètement un programme et l'outil prouve qu'il est correct (ou non), puis génère le code source à compiler ?

oké d'accord ouais.
 
T'as pas envie d'aller parler de plan9 sur OSA plutôt ?

Ben non ça génère rien, ça déjà du mal à prouver que 1+1=2 alors pondre une appli

 
La demande augmente fortement en ADA

Et sinon...
 
int a = 0;
int b = 1;
int c = b / a;
 
=> En C#, ça compile pas... Il vérifie le calculs sur les constantes et variables assignées à une constante et pas encore écrasées à la compilation.

niet, dans notre cas, on saisi un modèle avec ce langage, (par exemple le modèle d'interaction carte à puce/lecteur de carte), puis on dit : "Sur ce modèle, à tel endroit (spatial, temporel), je dois avoir telle propriété de vraie" et il te génère la séquence d'inputs à donner au modèle pour atteindre le point (je rentre la carte, puis j'appuie sur la touche machin, etc.), te fourni le code pour aller lire les paramètres qui t'intéresse, et le code de comparaison. Dans certaines campagnes de validation, c'est un robot qui pousse réellement une vraie carte dans un lecteur et la retire pour faire les tests (il appuie quand même pas à la main sur les boutons, c'est des switchs électroniques).

moi j'ai pris la résolution de t'en trouver une, dans l'espoir d'avoir la paix
 
 
 
 
 

Scoop : y'a même des gens qui donnent d'eux-même sans qu'on les force, et qui, par ailleurs, ne passent pas leur temps à se mesurer la bite au salaire des autres sur des forums
 
 

'k, lol, 4/2 c'est forcément dans un type flottant  

 
Et ce genre de personnes n'ont pas besoin de sortir l'argument demago du petit enfnat haitien

Ca dépends de la réprésentation du flotant... Je doute qu'ADA utilise les registres CPU buggés jusqu'à la moelle pour stocker des flottants. Tu penses pas qu'un vecteur diviseur/dividande c'est une bonne représentation d'un flottant, et que ça permet sans problème de stocker des valeurs entières ?

http://www.jaggersoft.com/csharp_standard/14.7.2.htm
http://www.jaggersoft.com/csharp_standard/14.15.htm ( le dernier alinéa)
 
c'est spécifié où ?

euh, oui.
j'ai pas tout suivi de la "conversation" hein

Hmmm... En effet, ça plante que sur les constantes. C'est déjà pas mal
 

 
Me tombe pas dessus alors

si on a parlé de moi (je me sens visé par le moi "haitien" ), je vois pas om j'ai parlé de mon salaire ou de celui des autres forumeurs...

MOI JE GAGNE PLUS QUE VOUUUUUUUUS AHAHAHAHAH  
 
 
 
FRIIIIIIIIIIIIIIIIIIIIIIIIIIC /FOU/ /FOU/