This HTML5 document contains 67 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/
n17https://pyre-check.org/
foafhttp://xmlns.com/foaf/0.1/
n13https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ruhttp://ru.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#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Gradual_typing
rdf:type
yago:Instrumentality103575240 yago:System104377057 yago:Object100002684 yago:WikicatTypeSystems yago:Whole100003553 yago:PhysicalEntity100001930 yago:Artifact100021939
rdfs:label
تنويع تدريجي Gradual typing Последовательная типизация
rdfs:comment
Последовательная типизация — система типов, в которой некоторым переменным могут быть заранее заданы строгие типы. Впоследствии, правильность типизации данных переменных проверяется во время компиляции, то есть к этим переменным применяется статическая типизация. Оставшиеся переменные можно оставлять нетипизированными, а возможные ошибки типа сообщаются во время выполнения. التنويع التدريجي Gradual typing هي نظام نوع حيث يمكن إعطاء بعض المتغيرات والتعبيرات أنواعًا ويتم التحقق من صحة التنويع في وقت التجميع (وهو نوع ثابت) وقد يتم ترك بعض التعبيرات دون نوع ويتم الإبلاغ عن أخطاء نوع في نهاية المطاف في وقت التشغيل (وهو نوع ديناميكي). يسمح التنويع التدريجي لمطوري البرامج باختيار كلا الأمرين بارادايم نوع كملائمة، من داخل لغة واحدة. في كثير من الحالات، تتم إضافة التنويع التدريجي إلى لغة ديناميكية موجودة، مما يؤدي إلى إنشاء لغة مشتقة تسمح باستخدام التويع الثابت ولكن لا تتطلب ذلك. في بعض الحالات ، تستخدم اللغة التويع التدريجي من البداية. Gradual typing is a type system in which some variables and expressions may be given types and the correctness of the typing is checked at compile time (which is static typing) and some expressions may be left untyped and eventual type errors are reported at runtime (which is dynamic typing). Gradual typing allows software developers to choose either type paradigm as appropriate, from within a single language. In many cases gradual typing is added to an existing dynamic language, creating a derived language allowing but not requiring static typing to be used. In some cases a language uses gradual typing from the start.
dcterms:subject
dbc:Type_systems
dbo:wikiPageID
39764472
dbo:wikiPageRevisionID
1114610053
dbo:wikiPageWikiLink
dbr:Dynamic_typing dbr:C_Sharp_(programming_language) dbr:Subtyping dbr:ActionScript dbr:Dylan_(programming_language) dbr:JS++ dbr:JavaScript dbr:Cperl dbr:Objective-C dbr:HyperTalk dbr:Document_Object_Model dbc:Type_systems dbr:Type_system dbr:Racket_(programming_language) dbr:Hack_(programming_language) dbr:Type_safety dbr:Runtime_(program_lifecycle_phase) dbr:Static_typing dbr:Raku_(programming_language) dbr:Closure_Compiler dbr:J_(programming_language) dbr:Python_(programming_language) dbr:Cython dbr:Perl_5 dbr:TypeScript dbr:Upcasting dbr:Soundness dbr:ECMAScript dbr:Variable_(computer_science) dbr:Dart_(programming_language) dbr:Mypy dbr:Compile_time dbr:Clojure
dbo:wikiPageExternalLink
n17:
owl:sameAs
dbpedia-ru:Последовательная_типизация yago-res:Gradual_typing n13:f6xi dbpedia-ar:تنويع_تدريجي wikidata:Q16965428 freebase:m.0w32zr0
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Cite_book dbt:Type_systems dbt:Short_description
dbo:abstract
Последовательная типизация — система типов, в которой некоторым переменным могут быть заранее заданы строгие типы. Впоследствии, правильность типизации данных переменных проверяется во время компиляции, то есть к этим переменным применяется статическая типизация. Оставшиеся переменные можно оставлять нетипизированными, а возможные ошибки типа сообщаются во время выполнения. Последовательная типизация позволяет разработчикам программного обеспечения выбрать любую подходящую парадигму для используемого языка. Во многих случаях последовательная типизация добавляется к существующей динамической типизации языка, не требуя статической типизации для абсолютно всех переменных. Gradual typing is a type system in which some variables and expressions may be given types and the correctness of the typing is checked at compile time (which is static typing) and some expressions may be left untyped and eventual type errors are reported at runtime (which is dynamic typing). Gradual typing allows software developers to choose either type paradigm as appropriate, from within a single language. In many cases gradual typing is added to an existing dynamic language, creating a derived language allowing but not requiring static typing to be used. In some cases a language uses gradual typing from the start. التنويع التدريجي Gradual typing هي نظام نوع حيث يمكن إعطاء بعض المتغيرات والتعبيرات أنواعًا ويتم التحقق من صحة التنويع في وقت التجميع (وهو نوع ثابت) وقد يتم ترك بعض التعبيرات دون نوع ويتم الإبلاغ عن أخطاء نوع في نهاية المطاف في وقت التشغيل (وهو نوع ديناميكي). يسمح التنويع التدريجي لمطوري البرامج باختيار كلا الأمرين بارادايم نوع كملائمة، من داخل لغة واحدة. في كثير من الحالات، تتم إضافة التنويع التدريجي إلى لغة ديناميكية موجودة، مما يؤدي إلى إنشاء لغة مشتقة تسمح باستخدام التويع الثابت ولكن لا تتطلب ذلك. في بعض الحالات ، تستخدم اللغة التويع التدريجي من البداية.
gold:hypernym
dbr:System
prov:wasDerivedFrom
wikipedia-en:Gradual_typing?oldid=1114610053&ns=0
dbo:wikiPageLength
10161
foaf:isPrimaryTopicOf
wikipedia-en:Gradual_typing