This HTML5 document contains 118 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n23http://c2.com/cgi/
n15https://global.dbpedia.org/id/
n18https://web.archive.org/web/20051129140339/http:/www.haskell.org/ghc/docs/latest/html/users_guide/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n25http://foldoc.org/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n12https://web.archive.org/web/20160203203811/http:/research.microsoft.com/en-us/um/people/simonpj/Haskell/
n11http://haskell.org/onlinereport/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n26https://web.archive.org/web/20050408114902/http:/documents.wolfram.com/mathematica/book/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Umple
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
Subject Item
dbr:Constraint_Handling_Rules
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
Subject Item
dbr:Precondition
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
Subject Item
dbr:Haskell_features
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
Subject Item
dbr:Guard
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
dbo:wikiPageDisambiguates
dbr:Guard_(computer_science)
Subject Item
dbr:Return_statement
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
Subject Item
dbr:Pattern_guard
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
dbo:wikiPageRedirects
dbr:Guard_(computer_science)
Subject Item
dbr:Swift_(programming_language)
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
Subject Item
dbr:Direct_function
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
Subject Item
dbr:Guard_(computer_science)
rdf:type
yago:Abstraction100002137 yago:Content105809192 yago:WikicatConditionalConstructs yago:Idea105833840 yago:PsychologicalFeature100023100 yago:Cognition100023271 yago:Concept105835747
rdfs:label
Garde (informatique) Охрана (программирование) Варта (програмування) 卫语句 Guard (computer science) ガード (プログラミング)
rdfs:comment
ガード (Guard) とは、コンピュータ・プログラミング言語において、条件式ないし条件分岐のような意味を持つもので、ある分岐で処理を続けるために真 (true) と評価されなければならない式である。偽の場合は残りの処理のほうに進む。パターンマッチングのある言語の、パターンマッチングの能力をより強化したものと見ることもできる。すなわち、パターンマッチングとして構造がマッチしていても、その構造の中身の値を評価した結果によってはスキップさせることが可能なパターンのようなもの、である。 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. 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. 在计算机程序设计中，卫（guard）是布尔表达式，其结果必须为真，程序才能执行下去。卫语句（guard code或guard clause）用于检查先决条件。卫语句的用途，例如： * 引用（reference）使用前检查是否为空引用； * 使用一个布尔域，使得释放资源操作成为幂等运算，即多次释放资源等效于只释放一次。 Варта — логічний вираз, який призначений для обмеження обчислювальних процесів і спрямування їх за певним напрямком в залежності від умови варти. Зазвичай, використовується в функційних мовах програмування (наприклад, Haskell). В наступному прикладі на Haskell, варта знаходиться між кожною парою "|" і "=": f x | x > 0 = 1 | otherwise = 0 Відповідний математичний запис: У цьому випадку варти знаходяться в пунктах if і otherwise. divisors n = [x | x <- [1..(n - 1)], n `mod` x == 0] Охра́на (охраня́ющее выраже́ние, охранное выражение) — логическое выражение, которое предназначено для ограничения вычислительных процессов и выбора варианта вычислений. Обычно, используется в функциональных языках программирования (например, Haskell, Erlang).
dcterms:subject
dbc:Formal_methods_terminology dbc:Articles_with_example_Haskell_code dbc:Conditional_constructs
dbo:wikiPageID
1186249
dbo:wikiPageRevisionID
1120914500
dbo:wikiPageWikiLink
dbr:List_comprehension dbr:ISWIM dbr:Conditional_(programming) dbr:WikiWikiWeb dbr:Python_(programming_language) dbr:OCaml dbr:Precondition dbr:Smalltalk dbr:Guarded_suspension dbr:Guarded_Command_Language dbr:CPL_programming_language dbr:Clean_programming_language dbr:Scala_(programming_language) dbc:Formal_methods_terminology dbr:Haskell_(programming_language) dbr:Iverson_bracket dbr:Logical_conjunction dbr:Occam_(programming_language) dbr:Logical_conditional dbr:APL_(programming_language) dbr:Kent_Beck dbc:Articles_with_example_Haskell_code dbr:Subroutine dbr:Promela dbr:Boolean_datatype dbc:Conditional_constructs dbr:Erlang_programming_language dbr:Early_exit dbr:Pattern_matching dbr:SASL_programming_language dbr:Dispose_pattern dbr:Idempotence dbr:Switch_statement dbr:Kent_Recursive_Calculator dbr:Swift_(programming_language) dbr:Expression_(programming) dbr:Assertion_(computing) dbr:Formal_methods dbr:Structured_programming dbr:Refactoring dbr:Simon_Peyton_Jones dbr:Mathematica
dbo:wikiPageExternalLink
n11:exps.html n12:guards.html n18:syntax-extns.html%23pattern-guards n23:wiki%3FGuardClause n25:guard n26:section-2.3.5
owl:sameAs
dbpedia-fr:Garde_(informatique) dbpedia-uk:Варта_(програмування) n15:2FAZM dbpedia-ja:ガード_(プログラミング) dbpedia-ru:Охрана_(программирование) dbpedia-zh:卫语句 wikidata:Q2379942 freebase:m.04fhvk yago-res:Guard_(computer_science)
dbp:wikiPageUsesTemplate
dbt:More_footnotes dbt:Reflist dbt:Citation_needed
dbo:abstract
在计算机程序设计中，卫（guard）是布尔表达式，其结果必须为真，程序才能执行下去。卫语句（guard code或guard clause）用于检查先决条件。卫语句的用途，例如： * 引用（reference）使用前检查是否为空引用； * 使用一个布尔域，使得释放资源操作成为幂等运算，即多次释放资源等效于只释放一次。 Охра́на (охраня́ющее выраже́ние, охранное выражение) — логическое выражение, которое предназначено для ограничения вычислительных процессов и выбора варианта вычислений. Обычно, используется в функциональных языках программирования (например, Haskell, Erlang). 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. ガード (Guard) とは、コンピュータ・プログラミング言語において、条件式ないし条件分岐のような意味を持つもので、ある分岐で処理を続けるために真 (true) と評価されなければならない式である。偽の場合は残りの処理のほうに進む。パターンマッチングのある言語の、パターンマッチングの能力をより強化したものと見ることもできる。すなわち、パターンマッチングとして構造がマッチしていても、その構造の中身の値を評価した結果によってはスキップさせることが可能なパターンのようなもの、である。 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. Варта — логічний вираз, який призначений для обмеження обчислювальних процесів і спрямування їх за певним напрямком в залежності від умови варти. Зазвичай, використовується в функційних мовах програмування (наприклад, 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]
prov:wasDerivedFrom
wikipedia-en:Guard_(computer_science)?oldid=1120914500&ns=0
dbo:wikiPageLength
8317
foaf:isPrimaryTopicOf
wikipedia-en:Guard_(computer_science)
Subject Item
dbr:Guard_clause
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
dbo:wikiPageRedirects
dbr:Guard_(computer_science)
Subject Item
dbr:Occam_(programming_language)
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
Subject Item
dbr:Π-calculus
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
Subject Item
dbr:Tracing_just-in-time_compilation
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
Subject Item
dbr:Guard_(computing)
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
dbo:wikiPageRedirects
dbr:Guard_(computer_science)
Subject Item
dbr:Guard_pattern
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
dbo:wikiPageRedirects
dbr:Guard_(computer_science)
Subject Item
dbr:Guard_statement
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
dbo:wikiPageRedirects
dbr:Guard_(computer_science)
Subject Item
dbr:Guard_statements
dbo:wikiPageWikiLink
dbr:Guard_(computer_science)
dbo:wikiPageRedirects
dbr:Guard_(computer_science)
Subject Item
wikipedia-en:Guard_(computer_science)
foaf:primaryTopic
dbr:Guard_(computer_science)