Number formatting

From Erights

(Difference between revisions)
Jump to: navigation, search
Kevin Reid (Talk)

Latest revision as of 17:43, 30 April 2009

E has no defined standard library to print numbers with formatting choices (e.g. leading zeros, number of decimal places, scientific notation).

Proposals

  • Borrow printf or one of its descendants. --Kevin Reid 12:43, 30 April 2009 (CDT)
  • Tame java.text.DecimalFormat and declare it to be our formatting library. (Is incorporating this Java-specific interface into our library spec acceptable for non-Java E implementations? Even if not, taming it is still potentially useful.) I have used DecimalFormat from E code by unsafe import and found it acceptable. --Kevin Reid 12:43, 30 April 2009 (CDT)

Discussion

Retrieved from "http://wiki.erights.org/wiki/Number_formatting"
Personal tools
more tools