This HTML5 document contains 190 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/
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6https://global.dbpedia.org/id/
pwdrhttp://www.w3.org/2007/05/powder-s#
n18http://dbpedia.org/resource/Template:N/
n10http://dbpedia.org/resource/Template:
n17http://ods-qa.openlinksw.com:8896/about/id/entity/http/dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n14http://dbpedia.org/resource/Comparison_of_programming_languages_by_type_system#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n8http://en.wikipedia.org/wiki/
dbpprophttp://dbpedia.org/property/
categoryhttp://dbpedia.org/resource/Category:
n15http://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n5http://www.wikidata.org/entity/
dbpediahttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia:Comparison_of_programming_languages_by_type_system
owl:sameAs
dbpedia:Comparison_of_programming_languages_by_type_system n5:Q25305425 n6:2Npsr
n15:wasDerivedFrom
n8:Comparison_of_programming_languages_by_type_system?oldid=1072894789&ns=0
dbpedia-owl:abstract
This is a comparison of the features of the type systems and type checking of multiple programming languages. Brief definitions * A nominal type system means that the language decides whether types are compatible and/or equivalent based on explicit declarations and names. * A structural type system means that the language decides whether types are compatible and/or equivalent based on the definition and characteristics of the types. * Type checking determines whether and when types are verified. Static checking means that type errors are reported based on a program's text (source code). Dynamic checking means that type errors are reported based on a program's dynamic (run-time) behavior.
dbpedia-owl:wikiPageID
50605244
dbpedia-owl:wikiPageRevisionID
1072894789
rdfs:comment
This is a comparison of the features of the type systems and type checking of multiple programming languages. Brief definitions * A nominal type system means that the language decides whether types are compatible and/or equivalent based on explicit declarations and names. * A structural type system means that the language decides whether types are compatible and/or equivalent based on the definition and characteristics of the types. * Type checking determines whether and when types are verified. Static checking means that type errors are reported based on a program's text (source code). Dynamic checking means that type errors are reported based on a program's dynamic (run-time) behavior.
rdfs:label
Comparison of programming languages by type system
dbpprop:wikiPageUsesTemplate
n10:Reflist n10:Dunno n10:Partial n10:ProgLangCompare n10:Optional n18:a
pwdr:describedby
n17:Alef_(programming_language)
foaf:topic
dbpedia:Type_system dbpedia:Outline_of_computer_programming n14:this n8:Comparison_of_programming_languages_by_type_system dbpedia:Comparison_of_programming_languages_by_type_system_and_type_checking dbpedia:Comparison_of_type_systems dbpedia:Comparison_of_programming_languages_(types,_type_system)
dcterms:subject
category:Programming_language_comparisons category:Type_systems
foaf:isPrimaryTopicOf
n8:Comparison_of_programming_languages_by_type_system
dbpedia-owl:wikiPageLength
17208
dbpedia-owl:wikiPageWikiLink
dbpedia:Plus_(programming_language) dbpedia:Java_(programming_language) dbpedia:NekoVM dbpedia:ISLISP dbpedia:Nu_(programming_language) dbpedia:Scala_(programming_language) dbpedia:Ada_(programming_language) dbpedia:Tcl dbpedia:ABAP dbpedia:ABC_(programming_language) dbpedia:Type_inference dbpedia:Programming_language dbpedia:AWK dbpedia:Prolog dbpedia:Lua_(programming_language) dbpedia:Maple_(software) dbpedia:ALGOL_W dbpedia:Component_Pascal dbpedia:TypeScript dbpedia:Chapel_(programming_language) dbpedia:Cool_(programming_language) dbpedia:ALGOL_68 dbpedia:Forth_(programming_language) dbpedia:APL_(programming_language) dbpedia:Julia_(programming_language) dbpedia:Xojo dbpedia:Simula dbpedia:Fortran dbpedia:Eiffel_(programming_language) dbpedia:Harbour_(programming_language) dbpedia:ChucK dbpedia:AppleScript dbpedia:Haskell_(programming_language) dbpedia:Crystal_(programming_language) dbpedia:Modula-2 dbpedia:Seed7 dbpedia:ActionScript dbpedia:Dylan_(programming_language) dbpedia:NewLISP dbpedia:Bash_(Unix_shell) dbpedia:Oberon_(programming_language) dbpedia:Curry_(programming_language) dbpedia:Pure_(programming_language) dbpedia:Curl_(programming_language) dbpedia:Unicon_(programming_language) dbpedia:Standard_ML dbpedia:Scheme_(programming_language) dbpedia:Objective-C dbpedia:Rexx dbpedia:Clojure dbpedia:NetLogo dbpedia:AMOS_(programming_language) dbpedia:NewtonScript dbpedia:D_(programming_language) dbpedia:Gambas dbpedia:Pascal_(programming_language) dbpedia:ALGOL_58 dbpedia:ALGOL_60 dbpedia:XL_(programming_language) dbpedia:Newspeak_(programming_language) dbpedia:AngelScript dbpedia:Ateji_PX dbpedia:Clean_(programming_language) dbpedia:GLBasic dbpedia:Perl dbpedia:BeanShell dbpedia:MUMPS dbpedia:Ballerina_(programming_language) category:Programming_language_comparisons dbpedia:MATLAB dbpedia:Latent_typing dbpedia:Boo_(programming_language) dbpedia:Keith_Packard dbpedia:Nominal_type_system dbpedia:Agda_(programming_language) dbpedia:Raku_(programming_language) dbpedia:Structural_type_system category:Type_systems dbpedia:C* dbpedia:Io_(programming_language) dbpedia:C-- dbpedia:Joy_(programming_language) dbpedia:Swift_(programming_language) dbpedia:Caml dbpedia:J_(programming_language) dbpedia:Tagged_union dbpedia:Nial dbpedia:Rebol dbpedia:Type_safety dbpedia:Cilk dbpedia:F_Sharp_(programming_language) dbpedia:JavaScript dbpedia:Ceylon_(programming_language) dbpedia:Ruby_(programming_language) dbpedia:Claire_(programming_language) dbpedia:Wolfram_Language dbpedia:BASIC dbpedia:C_shell dbpedia:Cobra_(programming_language) dbpedia:Nim_(programming_language) dbpedia:Object_Pascal dbpedia:Rust_(programming_language) dbpedia:Elixir_(programming_language) dbpedia:Common_Lisp dbpedia:Opa_(programming_language) dbpedia:CoffeeScript dbpedia:Apache_Groovy dbpedia:S-Lang dbpedia:ColdFusion_Markup_Language dbpedia:Haxe dbpedia:Arc_(programming_language) dbpedia:Dart_(programming_language) dbpedia:Smalltalk dbpedia:PowerShell dbpedia:C_(programming_language) dbpedia:C_Sharp_(programming_language) dbpedia:S_(programming_language) dbpedia:XQuery dbpedia:Erlang_(programming_language) dbpedia:Zeek dbpedia:LabVIEW dbpedia:Mercury_(programming_language) dbpedia:Python_(programming_language) dbpedia:CHILL dbpedia:COBOL dbpedia:Aldor dbpedia:NEWP dbpedia:COMAL dbpedia:Icon_(programming_language) dbpedia:Alef_(programming_language) dbpedia:CLU_(programming_language) dbpedia:Kotlin_(programming_language) dbpedia:Wolfram_Mathematica dbpedia:Alma-0 dbpedia:Alice_(programming_language) dbpedia:A+_(programming_language) dbpedia:BCPL dbpedia:XPath dbpedia:Visual_Basic_.NET dbpedia:Nemerle dbpedia:Modula-3 dbpedia:C++ dbpedia:Cython dbpedia:Euphoria_(programming_language) dbpedia:Go_(programming_language) dbpedia:Type_system dbpedia:AutoLISP dbpedia:BLISS dbpedia:Visual_Prolog dbpedia:NetRexx dbpedia:CORAL dbpedia:OCaml dbpedia:Cuneiform_(programming_language) dbpedia:B_(programming_language) dbpedia:Oz_(programming_language) dbpedia:Oxygene_(programming_language) dbpedia:Cecil_(programming_language) dbpedia:AutoHotkey dbpedia:Gosu_(programming_language) dbpedia:AmbientTalk dbpedia:Visual_Basic_(classic) dbpedia:PHP dbpedia:IBM_RPG