| Information | |
|---|---|
| has gloss | eng: In computer programming, a guard is a boolean expression that must evaluate to true if the program execution is to continue in the branch in question. The term is used at least in Haskell, Clean, Erlang, occam, Promela and OCaml programming languages. 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 statements usually also fit this definition of a guard although they are called conditions. |
| lexicalization | eng: guard |
| instance of | e/Formal methods |
| Meaning | |
|---|---|
| French | |
| has gloss | fra: En informatique, une garde est une expression de type booléen qui a pour valeur vrai si l'exécution du programme doit continuer dans la branche en question. Le terme est utilisé notamment dans les langages informatiques Haskell et Clean. Dans Mathematica, les gardes sont appelés contraintes. Les gardes sont un concept fondamental des commandes gardées, un langage de méthode formelles. Les gardes peuvent être utilisées pour augmenter le filtrage par motif avec la possibilité de sauter un motif même si la structure passe le filtre. Les expressions booléennes dans une instruction conditionnelle répondent aussi à la définition de garde mais elles sont appelées conditions. |
| lexicalization | fra: garde |
| Japanese | |
| has gloss | jpn: ガード (Guard)とは、プログラム内のある分岐で処理を続けるために真 (true)と評価されなければならないブーリアン型の式である。Haskell、Clean、Erlang、occam、OCamlといったプログラミング言語や多くの並行論理プログラミング言語で使われる用語。Mathematica ではガードをconstraintと呼ぶ。ガードは形式手法の言語であるGuarded Command Languageの基本概念でもある。ガードはパターンマッチの能力を強化することができ、たとえ構造がマッチしていてもパターンをスキップさせることが可能である。ブーリアン型の式はif文でも使われていて、ここでのガードの定義にも合致しているが、一般に「条件式」と呼ばれる。 |
| lexicalization | jpn: ガード |
| Russian | |
| has gloss | rus: Охра́на (охраня́ющее выраже́ние) — логическое выражение, которое предназначено для ограничения вычислительных процессов и направления их по определённому направлению в зависимости от условия охраны. Обычно используется в функциональных языках программирования (например, Haskell). |
| lexicalization | rus: Охрана |
Lexvo © 2008-2022 Gerard de Melo. Contact Legal Information / Imprint