|
|||
|
1. trou noir 1. Une expression qui dépend de sa propre valeur ou d'une technique pour détecter de telles expressions. Dans la réduction de graphique, quand la réduction d'une expression est commencée, la racine de l'expression peut être recouverte avec un trou noir. Si l'expression dépend de sa propre valeur, par exemple x = x + 1 alors qu'il essayera d'évaluer le trou noir qui habituellement imprimera un message d'erreur et avortera le programme. Un effet secondaire est que, une fois la racine de l'expression noir-a été trouée, les parties de l'expression qui ne sont plus exigées peuvent être libérées pour la collection d'ordures. Sans trous noirs le résultat habituel d'essayer d'évaluer une expression qui dépend de elle-même serait un débordement de pile. Si l'expression est évaluée avec succès puis le trou noir sera mis à jour avec la valeur. Expressions telles que ceux = 1 : ceux n'est pas les trous noirs parce que le constructeur de liste : est paresseux ainsi la référence à ceux n'est pas évaluée en évaluant ceux à WHNF. 2. Là où un aritcle de message ou de nouvelles de courrier électronique a disparu s'il disparaît mystérieusement entre son origine et emplacements de destination sans renvoyer un avis de non-livraison. Comparez le seau de peu. [Dossier de jargon] mur à l'épreuve du feu 2. une région de l'espace résultant de l'effondrement d'un tenir le premier rôle ; champ extrêmement haut de la gravité |
ABCDEFGHIJKLMNOPQRSTUVWXYZ |
|
|
|