| dbo:abstract
|
- 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. Regardless of which programming language is used, a guard clause, guard code, or guard statement, is a check of integrity preconditions used to avoid errors during execution. (en)
- 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 brancheen question.Le terme est utilisé notamment dans les langages informatiques Haskell et .Dans Mathematica, les gardes sont appelés contraintes.Les gardes sont un concept fondamental des , 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 répondent aussi à la définition de garde mais elles sont appelées conditions. Dans l'exemple suivant en langage Haskell, les gardes apparaissent entre chaque paire de "|" et "=" : f x | x > 0 = 1 | otherwise = 0 C'est similaire à la notation mathématique suivante : Dans la notation Haskell les gardes sont dans les clauses « si » et « sinon ». S'il y a des gardes parallèles, comme dans l'exemple ci-dessous, elles sont tentées dans l'ordre de la première à la dernière. La premièrebranche qui passe la garde est choisie. Les gardes d'une liste de cas sont typiquement parallèles.Mais, dans une compréhension de liste en Haskell, les gardes sont en série. Si l'une d'elles échoue, la liste d'éléments n'est pas produite.Cela équivaut à combiner les différentes gardes avec un et logique, sauf qu'il peut y avoir d'autres clausesde compréhension de liste parmi les gardes. (fr)
- ガード (Guard) とは、コンピュータ・プログラミング言語において、条件式ないし条件分岐のような意味を持つもので、ある分岐で処理を続けるために真 (true) と評価されなければならない式である。偽の場合は残りの処理のほうに進む。パターンマッチングのある言語の、パターンマッチングの能力をより強化したものと見ることもできる。すなわち、パターンマッチングとして構造がマッチしていても、その構造の中身の値を評価した結果によってはスキップさせることが可能なパターンのようなもの、である。 (ja)
- Охра́на (охраня́ющее выраже́ние, охранное выражение) — логическое выражение, которое предназначено для ограничения вычислительных процессов и выбора варианта вычислений. Обычно, используется в функциональных языках программирования (например, Haskell, Erlang). (ru)
- Варта — логічний вираз, який призначений для обмеження обчислювальних процесів і спрямування їх за певним напрямком в залежності від умови варти. Зазвичай, використовується в функційних мовах програмування (наприклад, Haskell). В наступному прикладі на Haskell, варта знаходиться між кожною парою "|" і "=": f x | x > 0 = 1 | otherwise = 0 Відповідний математичний запис: У цьому випадку варти знаходяться в пунктах if і otherwise. Функція divisors повертає список дільників заданого числа n. У другому рядку визначення показана варта, яка обмежує вибір елемента списку дільників x тільки такими значеннями, які ділять вихідний параметр n без залишку. divisors n = [x | x <- [1..(n - 1)], n `mod` x == 0] (uk)
- 在计算机程序设计中，卫（guard）是布尔表达式，其结果必须为真，程序才能执行下去。卫语句（guard code或guard clause）用于检查先决条件。卫语句的用途，例如：
* 引用（reference）使用前检查是否为空引用；
* 使用一个布尔域，使得释放资源操作成为幂等运算，即多次释放资源等效于只释放一次。 (zh)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8317 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- 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. Regardless of which programming language is used, a guard clause, guard code, or guard statement, is a check of integrity preconditions used to avoid errors during execution. (en)
- ガード (Guard) とは、コンピュータ・プログラミング言語において、条件式ないし条件分岐のような意味を持つもので、ある分岐で処理を続けるために真 (true) と評価されなければならない式である。偽の場合は残りの処理のほうに進む。パターンマッチングのある言語の、パターンマッチングの能力をより強化したものと見ることもできる。すなわち、パターンマッチングとして構造がマッチしていても、その構造の中身の値を評価した結果によってはスキップさせることが可能なパターンのようなもの、である。 (ja)
- Охра́на (охраня́ющее выраже́ние, охранное выражение) — логическое выражение, которое предназначено для ограничения вычислительных процессов и выбора варианта вычислений. Обычно, используется в функциональных языках программирования (например, Haskell, Erlang). (ru)
- 在计算机程序设计中，卫（guard）是布尔表达式，其结果必须为真，程序才能执行下去。卫语句（guard code或guard clause）用于检查先决条件。卫语句的用途，例如：
* 引用（reference）使用前检查是否为空引用；
* 使用一个布尔域，使得释放资源操作成为幂等运算，即多次释放资源等效于只释放一次。 (zh)
- 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 brancheen question.Le terme est utilisé notamment dans les langages informatiques Haskell et .Dans Mathematica, les gardes sont appelés contraintes.Les gardes sont un concept fondamental des , 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 répondent aussi à la définition de garde mais elles sont appelées conditions. (fr)
- Варта — логічний вираз, який призначений для обмеження обчислювальних процесів і спрямування їх за певним напрямком в залежності від умови варти. Зазвичай, використовується в функційних мовах програмування (наприклад, Haskell). В наступному прикладі на Haskell, варта знаходиться між кожною парою "|" і "=": f x | x > 0 = 1 | otherwise = 0 Відповідний математичний запис: У цьому випадку варти знаходяться в пунктах if і otherwise. divisors n = [x | x <- [1..(n - 1)], n `mod` x == 0] (uk)
|
| rdfs:label
|
- Guard (computer science) (en)
- Garde (informatique) (fr)
- ガード (プログラミング) (ja)
- Охрана (программирование) (ru)
- Варта (програмування) (uk)
- 卫语句 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
