11
votes

langue sans siest?

Un collègue a déclaré avoir entendu parler d'une langue qui n'avait pas le concept de "si". Est-ce possible? Si oui, quelle langue est-ce?

language-design

3 commentaires

Qu'entendez-vous par ifs ? Une langue peut ne pas avoir d'opérateur explicite si , mais chaque langue doit avoir une manière moyen de ramification d'un seul code à deux autres morceaux de code, sinon chaque entrée à Un programme donnerait toujours la même sortie.


                                        
                                                                            Ma réponse a-t-elle fourni ce que vous recherchiez? Si oui, veuillez la marquer comme la réponse à votre question
                                        
                                                                            Voir aussi  Can-YOU-ERIT-ERITE-NEAL-ALGORITHM-SANS- an-if-énoncé



                                    
                    5 Réponses :
                    
                                            
                            
                                
                                    1
 votes
                                
                            
                            
                                
                                     Je crois que une langue doit avoir des moyens de sélection, afin d'être  Turing-complète . Cependant, cela signifie que ce ne serait pas obligé de devenir votre formulaire classique if-relevé. 

 Probablement l'exemple le plus familier serait des langages d'expression réguliers. (A | B *) prend une décision basée sur ce qui est sur les côtés opposés de ce  | . Pas exactement une déclaration "si".                                 


                                                                    
                                    
                                    
                                        0 commentaires
                                        
                                                                                    
                                    
                                                            

                        

                        
                                            
                            
                                
                                    1
 votes
                                
                            
                            
                                
                                     Il existe des langues logiques composées de déclarations. Les résultats à une requête sont une évaluation logique qui vérifie si le résultat peut être supposé par le groupe de règles «codé». 

 regarder  prolog  par exemple.                                 

                                                                    
                                    
                                    
                                        0 commentaires
                                        
                                                                                    
                                    
                                                            
                        
                        
                                            
                            
                                
                                    8
 votes
                                
                            
                            
                                
                                     Outre peut-être prolog, je ne connais aucune langue spécifique, mais je peux penser à quelques façons d'une langue sans  si les déclarations  em> peuvent travailler. En fait, vous n'avez pas besoin de constructions de boucle non plus. Vous avez évidemment besoin d'une bonne façon de branches conditionnelles et de boucler. 
 Si, par exemple, vous avez eu les caractéristiques suivantes:  fonctions  em>,  modèle de style ML correspondant à des arguments de la fonction  em> et  optimisation des appels queue  em>, vous pouvez programmer sans ifs ou boucles.  P> 
[function(){else-clause}, function(){then-clause}][condition]()

                                

                                                                    
                                    
                                    
                                        0 commentaires
                                        
                                                                                    
                                    
                                                            
                        
                        
                                            
                            
                                
                                    6
 votes
                                
                            
                            
                                
                                     SmallTalk, considéré comme une langue "véritablement" orientée objet, n'a pas de déclaration "si", et il n'a pas de déclaration "pour", pas de déclaration "tandis que". Il y a d'autres exemples (comme Haskell) mais c'est un bon.
Source:  sans ifs                                  

                                                                    
                                    
                                    
                                        1 commentaires
                                        
                                                                                            
                                                    SmallTalk fait cependant, définir  iftrue:  et  iffalse: , ainsi que  whiletrue:  et  tandis quefalse:                                                 

                                                
                                                                                    

                                    

                                                            

                        

                        
                                            
                            
                                
                                    3
 votes
                                
                            
                            
                                
                                     La programmation de modèle C ++ n'a pas de construction "si" mais est Turing-complète via une spécialisation de modèle:  xxx  
 de  Article de Wikipedia sur la métaprogrammation de modèle                                   

                                                                    
                                    
                                    
                                        0 commentaires

Articles qui pourrait vous intéresser : Comment la flexibilité affecte-t-elle la syntaxe d'une langue? Pourquoi «dernier» appelé «dernier» à Perl? Polymorphisme par paramètre de fonction Est-ce que QT classé comme une bibliothèque C ++? Sinon une bibliothèque, comment classeriez-vous QT?