http://dbpedia.org/ontology/abstract
|
In Scheme and in Lisp dialects inspired by … In Scheme and in Lisp dialects inspired by it, the numerical tower is a set of data types that represent numbers and a logic for their hierarchical organisation. Each type in the tower conceptually "sits on" a more fundamental type, so an integer is a rational number and a number, but the converse is not necessarily true, i.e. not every number is an integer. This asymmetry implies that a language can safely allow implicit coercions of numerical types—without creating semantic problems—in only one direction: coercing an integer to a rational loses no information and will never influence the value returned by a function, but to coerce most reals to an integer would alter any relevant computation (e.g., the real 1/3 does not equal any integer) and is thus impermissible.al any integer) and is thus impermissible.
|
http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/NumericalTower.svg?width=300 +
|
http://dbpedia.org/ontology/wikiPageID
|
711485
|
http://dbpedia.org/ontology/wikiPageLength
|
8034
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1123006488
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Data_types +
, http://dbpedia.org/resource/Type_conversion +
, http://dbpedia.org/resource/Inheritance_%28object-oriented_programming%29 +
, http://dbpedia.org/resource/Significand +
, http://dbpedia.org/resource/Subtyping +
, http://dbpedia.org/resource/Canonical_form +
, http://dbpedia.org/resource/IEEE_754 +
, http://dbpedia.org/resource/Number +
, http://dbpedia.org/resource/Up_to +
, http://dbpedia.org/resource/Complex_number +
, http://dbpedia.org/resource/Dimensional_analysis +
, http://dbpedia.org/resource/Data_types +
, http://dbpedia.org/resource/Significant_figures +
, http://dbpedia.org/resource/Lisp_%28programming_language%29 +
, http://dbpedia.org/resource/Gram +
, http://dbpedia.org/resource/Scheme_%28programming_language%29 +
, http://dbpedia.org/resource/Rational_number +
, http://dbpedia.org/resource/JVM +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Integer +
, http://dbpedia.org/resource/Kawa_%28Scheme_implementation%29 +
, http://dbpedia.org/resource/Metre +
, http://dbpedia.org/resource/File:NumericalTower.svg +
, http://dbpedia.org/resource/Python_%28programming_language%29 +
, http://dbpedia.org/resource/Smalltalk +
, http://dbpedia.org/resource/Quaternion +
, http://dbpedia.org/resource/Floating-point_arithmetic +
, http://dbpedia.org/resource/Imaginary_number +
, http://dbpedia.org/resource/Repetend +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Data_types +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Set +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Numerical_tower?oldid=1123006488&ns=0 +
|
http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/NumericalTower.svg +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Numerical_tower +
|
owl:sameAs |
http://www.wikidata.org/entity/Q7069668 +
, https://global.dbpedia.org/id/4sbtx +
, http://rdf.freebase.com/ns/m.034wh6 +
, http://dbpedia.org/resource/Numerical_tower +
|
rdfs:comment |
In Scheme and in Lisp dialects inspired by … In Scheme and in Lisp dialects inspired by it, the numerical tower is a set of data types that represent numbers and a logic for their hierarchical organisation. Each type in the tower conceptually "sits on" a more fundamental type, so an integer is a rational number and a number, but the converse is not necessarily true, i.e. not every number is an integer. This asymmetry implies that a language can safely allow implicit coercions of numerical types—without creating semantic problems—in only one direction: coercing an integer to a rational loses no information and will never influence the value returned by a function, but to coerce most reals to an integer would alter any relevant computation (e.g., the real 1/3 does not equal any integer) and is thus impermissible.al any integer) and is thus impermissible.
|
rdfs:label |
Numerical tower
|