Kevin Reid at 17:43, 30 April 2009

Kevin Reid — Thu, 30 Apr 2009 17:43:56 GMT

New page

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

==Proposals==

* Borrow <code>printf</code> or one of its descendants. --[[User:Kevin Reid|Kevin Reid]] 12:43, 30 April 2009 (CDT)

* Tame [http://java.sun.com/j2se/1.4.2/docs/api/java/text/DecimalFormat.html 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. --[[User:Kevin Reid|Kevin Reid]] 12:43, 30 April 2009 (CDT)

==Discussion==

* [http://www.eros-os.org/pipermail/e-lang/2009-February/013009.html Initial report]

Number formatting - Revision history

Kevin Reid at 17:43, 30 April 2009