Email list hosting service & mailing list manager

Underscores in numbers for legibility Lassi Kortela (12 Apr 2019 18:54 UTC)
Re: Underscores in numbers for legibility Arthur A. Gleckler (12 Apr 2019 19:02 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (12 Apr 2019 19:08 UTC)
Re: Underscores in numbers for legibility Shiro Kawai (12 Apr 2019 19:33 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (12 Apr 2019 19:46 UTC)
Re: Underscores in numbers for legibility Peter Bex (12 Apr 2019 19:55 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (12 Apr 2019 20:01 UTC)
Re: Underscores in numbers for legibility Peter Bex (12 Apr 2019 20:08 UTC)
Re: Underscores in numbers for legibility Arthur A. Gleckler (12 Apr 2019 20:15 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (12 Apr 2019 20:23 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (12 Apr 2019 22:17 UTC)
Re: Underscores in numbers for legibility John Cowan (12 Apr 2019 22:28 UTC)
Re: Underscores in numbers for legibility Jim Rees (13 Apr 2019 00:04 UTC)
Re: Underscores in numbers for legibility Arthur A. Gleckler (13 Apr 2019 00:10 UTC)
Re: Underscores in numbers for legibility John Cowan (13 Apr 2019 03:14 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (13 Apr 2019 07:27 UTC)
Re: Underscores in numbers for legibility John Cowan (13 Apr 2019 13:52 UTC)
Re: Underscores in numbers for legibility Arthur A. Gleckler (13 Apr 2019 14:26 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (13 Apr 2019 14:40 UTC)
Re: Underscores in numbers for legibility John Cowan (13 Apr 2019 15:27 UTC)
Re: Underscores in numbers for legibility Peter Bex (13 Apr 2019 19:37 UTC)
Re: Underscores in numbers for legibility John Cowan (13 Apr 2019 19:47 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (15 Apr 2019 09:32 UTC)
Re: Underscores in numbers for legibility Arthur A. Gleckler (15 Apr 2019 14:33 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (15 Apr 2019 15:18 UTC)
Re: Underscores in numbers for legibility Arthur A. Gleckler (15 Apr 2019 15:49 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (15 Apr 2019 20:16 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (13 Apr 2019 19:53 UTC)
Re: Underscores in numbers for legibility Per Bothner (13 Apr 2019 16:01 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (13 Apr 2019 16:10 UTC)
Re: Underscores in numbers for legibility Per Bothner (12 Apr 2019 19:41 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (12 Apr 2019 19:47 UTC)
Re: Underscores in numbers for legibility Per Bothner (12 Apr 2019 20:27 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (12 Apr 2019 21:07 UTC)
Re: Underscores in numbers for legibility John Cowan (12 Apr 2019 21:53 UTC)
Re: Underscores in numbers for legibility Lassi Kortela (12 Apr 2019 22:37 UTC)
Re: Underscores in numbers for legibility Per Bothner (13 Apr 2019 16:23 UTC)

Re: Underscores in numbers for legibility Per Bothner 13 Apr 2019 16:23 UTC

On 4/12/19 3:37 PM, Lassi Kortela wrote:
> Units of measure are now one of the selling points of F# though I presume Kawa's feature preceded it.

Kawa added units/quantities in early 1997, while F# 1.x was released 2005.
(I don't know which version of F# introduced units).

Of course F# does unit checking and calculation at compile-time,
while Kawa currently does it only at run time.
However, compile-time unit handling is on the wishlist:
https://www.gnu.org/software/kawa/Ideas-and-tasks.html#Types-for-units
--
	--Per Bothner
xxxxxx@bothner.com   http://per.bothner.com/