Gödel je v informatice deklarativní a všestranně použitelný programovací jazyk, který dodržuje logické programovací paradigma. Jedná se o silně typový jazyk, jehož systém je založen na mnohotříděné logice s parametrickým polymorfismem. Jazyk je pojmenován po rakouském logiku Kurtu Gödelovi narozeném v Brně.

PropertyValue
prop-cs:autor
  • John Lloyd & Patricia Hill
prop-cs:licence
  • nekomerční výzkum/čistě vzdělávací použití
prop-cs:název
  • Miranda
prop-cs:operačníSystém
prop-cs:paradigma
prop-cs:posledníVerze
  • 1.500000 (xsd:double)
prop-cs:typování
  • silná
prop-cs:vznik
  • 1992 (xsd:integer)
prop-cs:vývojář
  • John Lloyd & Patricia Hill
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Gödel je v informatice deklarativní a všestranně použitelný programovací jazyk, který dodržuje logické programovací paradigma. Jedná se o silně typový jazyk, jehož systém je založen na mnohotříděné logice s parametrickým polymorfismem. Jazyk je pojmenován po rakouském logiku Kurtu Gödelovi narozeném v Brně.
dbpedia-owl:creationYear
  • 1992-01-01 (xsd:date)
dbpedia-owl:latestReleaseVersion
  • 1.5
dbpedia-owl:licensee
  • nekomerční výzkum/čistě vzdělávací použití
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 427468 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2868 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 12 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 16357949 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Gödel
  • Gödel (programovací jazyk)
dcterms:subject
rdf:type
rdfs:comment
  • Gödel je v informatice deklarativní a všestranně použitelný programovací jazyk, který dodržuje logické programovací paradigma. Jedná se o silně typový jazyk, jehož systém je založen na mnohotříděné logice s parametrickým polymorfismem. Jazyk je pojmenován po rakouském logiku Kurtu Gödelovi narozeném v Brně.
rdfs:label
  • Gödel (programovací jazyk)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
foaf:name
  • Miranda
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of