|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{nofootnotes|date=September 2010}}
| | == this hit == |
|
| |
|
| {{TOCright}}
| | A damaged ship, but also a huge motionless ......<br><br>class humanoid finally hit over,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_11.htm オークリー野球サングラス].<br><br>'bang bang bang!!!!' First around the ship around some ship debris, pieces knocked flying far away, around the ship around the flame, electric snake, light, etc. are also foes grind Pressure annihilation, followed by such ancient humanoid creature and impact directly on the ship together, should be humanoid upper body and ancient ship impact, and is the first to hit the head.<br><br>Boom,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_59.htm オークリー サングラス 偏光レンズ]! ! ,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_66.htm オークリー サングラス]! ,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_57.htm オークリー サングラス レディース]! ,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_62.htm オークリー サングラス 交換レンズ]! !<br><br>terrible impact of the first moment,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_50.htm オークリーサングラス取扱店], so squeezing temporal fragmentation,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_10.htm オークリー サングラス 野球], open to squeeze in all directions, forming a terrible shock, shock waves. Outermost weak shock waves pass the first time out, followed by a devastating shockwave ...... is the area around the crash, it is simply a nightmare land, even the strongest of the universe,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_77.htm オークリー ゴルフ サングラス], even the Xeon treasure, fear had to destroy!<br><br>this hit, the power of unmatched |
| | | 相关的主题文章： |
| In computer programming, a '''guard''' is a [[Boolean datatype|boolean]] [[expression (programming)|expression]] that must evaluate to true if the program execution is to continue in the branch in question.
| | <ul> |
| | | |
| Regardless of which programming language is used, '''guard code''' is a check of integrity preconditions used to avoid errors during execution. A typical example is checking that a reference about to be processed be not null, which avoids null-pointer failures.
| | <li>[http://www.020dog.com/home.php?mod=space&uid=23896 http://www.020dog.com/home.php?mod=space&uid=23896]</li> |
| | | |
| The term is used with specific meaning a.o. in [[Haskell (programming language)|Haskell]], [[Clean programming language|Clean]], [[Erlang programming language|Erlang]], [[Occam (programming language)|occam]], [[Promela]], [[OCaml]] and [[Scala (programming language)|Scala]] programming languages.{{Citation needed|date=March 2012}} In [[Mathematica]], guards are called ''constraints''. Guards are the fundamental concept in [[Guarded Command Language]], a language in [[formal methods]]. Guards can be used to augment [[pattern matching]] with the possibility to skip a pattern even if the structure matches. Boolean expressions in [[Conditional (programming)|conditional statement]]s usually also fit this definition of a guard although they are called ''conditions''.
| | <li>[http://www.shiboyjy.com/plus/feedback.php?aid=150 http://www.shiboyjy.com/plus/feedback.php?aid=150]</li> |
| | | |
| In the following Haskell example, the guards occur between each pair of "|" and "=":
| | <li>[http://icsd.dlmu.edu.cn/plus/feedback.php?aid=187 http://icsd.dlmu.edu.cn/plus/feedback.php?aid=187]</li> |
| | | |
| <source lang="haskell"> | | </ul> |
| f x
| |
| | x > 0 = 1
| |
| | otherwise = 0
| |
| </source> | |
| | |
| This is similar to the respective mathematical notation:
| |
| | |
| <math>
| |
| f(x) = \left\{ \begin{matrix}
| |
| 1 & \mbox{if } x>0 \\
| |
| 0 & \mbox{otherwise}
| |
| \end{matrix}
| |
| \right.
| |
| </math>
| |
| | |
| In this case the guards are in the "if" and "otherwise" clauses.
| |
| | |
| If there are several parallel guards, such as in the example above, they are normally tried in a top to bottom order and the branch of the first to pass is chosen. Guards in a list of cases are typically parallel.
| |
| | |
| However, in Haskell [[list comprehension]]s the guards are in series, and if any of them fails, the list element is not produced. This would be the same as combining the separate guards with [[logical conjunction|logical AND]], except that there can be other list comprehension clauses among the guards.
| |
| | |
| ==Evolution==
| |
| A simple conditional expression, already present in [[CPL programming language|CPL]] in 1963, has a guard on first sub-expression, and another sub-expression to use in case the first one cannot be used. Some common ways to write this:
| |
| (x>0) -> 1/x; 0
| |
| x>0 ? 1/x : 0
| |
| | |
| If the second sub-expression can be a further simple conditional expression, we can give more alternatives to try before the last ''fall-through'':
| |
| (x>0) -> 1/x; (x<0) -> -1/x; 0
| |
| | |
| In 1966 [[ISWIM]] had a form of conditional expression without an obligatory fall-through case, thus separating guard from the concept of choosing either-or. In the case of ISWIM, if none of the alternatives could be used, the value was to be ''undefined'', which was defined to never compute into a value.
| |
| | |
| [[SASL programming language|SASL]] (1976) was one of the first programming languages to use the term "guard". In the language, functions could have several definitions and the one to apply was chosen based on the guards that followed each definition:
| |
| | |
| <!-- SASL isn't Haskell, of course, but the syntax is close enough... -->
| |
| <source lang="haskell">
| |
| fac n = 1, n = 0
| |
| = n * fac (n-1), n > 0
| |
| </source> | |
| <!-- add something on how Guarded commands fit in --> | |
| | |
| ==Pattern guard==
| |
| In addition to a guard attached to a pattern, '''pattern guard''' can refer to the use of [[pattern matching]] in the context of a guard. In effect, a match of the pattern is taken to mean pass. This meaning was introduced in a proposal for Haskell by [[Simon Peyton Jones]] titled [http://research.microsoft.com/Users/simonpj/Haskell/guards.html A new view of guards] in April 1997 and was used in the implementation of the proposal. The feature provides the ability to use patterns in the guards of a pattern.
| |
| | |
| An example in extended Haskell:
| |
| | |
| <source lang="haskell">
| |
| clunky env var1 var2
| |
| | Just val1 <- lookup env var1
| |
| , Just val2 <- lookup env var2
| |
| = val1 + val2
| |
| -- ...other equations for clunky...
| |
| </source>
| |
| | |
| This would read: "Clunky for an environment and two variables, ''in case the lookups of the variables from the environment produce values'', is the sum of the values. ..." As in [[list comprehension]]s, the guards are in series, and if any of them fails the branch is not taken.
| |
| | |
| ==See also==
| |
| * [[Assertion (computing)|Assertion]]
| |
| * [[Logical conditional]]
| |
| * [[Switch statement]]
| |
| * [[Iverson bracket]]
| |
| * [[Guarded suspension]]
| |
| | |
| ==References==
| |
| * [http://foldoc.org/guard Guard] in ''Free On-Line Dictionary of Computing - FOLDOC'', Denis Howe (editor).
| |
| * ''The Haskell 98 Report'', chapter [http://haskell.org/onlinereport/exps.html 3 Expressions].
| |
| * ''The Mathematica Book,'' section [http://documents.wolfram.com/mathematica/book/section-2.3.5 2.3.5 Putting Constraints on Patterns]
| |
| * ''The Glorious Glasgow Haskell Compilation System User's Guide'', Version 6.4, section [http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#pattern-guards 7.3.2. Pattern guards]
| |
| | |
| [[Category:Conditional constructs]]
| |
| [[Category:Formal methods terminology]]
| |
| [[Category:Articles with example Haskell code]]
| |
this hit
A damaged ship, but also a huge motionless ......
class humanoid finally hit over,オークリー野球サングラス.
'bang bang bang!!!!' First around the ship around some ship debris, pieces knocked flying far away, around the ship around the flame, electric snake, light, etc. are also foes grind Pressure annihilation, followed by such ancient humanoid creature and impact directly on the ship together, should be humanoid upper body and ancient ship impact, and is the first to hit the head.
Boom,オークリー サングラス 偏光レンズ! ! ,オークリー サングラス! ,オークリー サングラス レディース! ,オークリー サングラス 交換レンズ! !
terrible impact of the first moment,オークリーサングラス取扱店, so squeezing temporal fragmentation,オークリー サングラス 野球, open to squeeze in all directions, forming a terrible shock, shock waves. Outermost weak shock waves pass the first time out, followed by a devastating shockwave ...... is the area around the crash, it is simply a nightmare land, even the strongest of the universe,オークリー ゴルフ サングラス, even the Xeon treasure, fear had to destroy!
this hit, the power of unmatched
相关的主题文章：