Open AshleyYakeley opened 2 months ago
Create a new numeric type represented by Scientific. Use it for JSON (#168).
Possible conversions:
Integer <: Scientific
Scientific <: Rational
1E1000000000
Scientific <: Number
Integer
inexact: Scientific -> Number
Rational -> Maybe Scientific
Should literals be of type Scientific?
Scientific
Should Scientific exponent be limited? If so, how? Note max Double value is 1.7976931348623157E308.
Representation as Literal: would be as large rational.
Literal
Create a new numeric type represented by Scientific. Use it for JSON (#168).
Possible conversions:
Integer <: Scientific: safeScientific <: Rational(exact): unsafe, e.g.1E1000000000.Scientific <: Number(inexact): safe, ugly, not injective, would have to special-caseInteger.inexact: Scientific -> Number: safeRational -> Maybe Scientific: safeShould literals be of type
Scientific?Should
Scientificexponent be limited? If so, how? Note max Double value is 1.7976931348623157E308.Representation as
Literal: would be as large rational.