From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 1108a1,59ec73856b699922
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-Thread: f43e6,899fc98b2883af4a
X-Google-Attributes: gidf43e6,public
X-Google-Thread: fdb77,5f529c91be2ac930
X-Google-Attributes: gidfdb77,public
X-Google-ArrivalTime: 2003-05-19 13:31:06 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi_feed4!attbi.com!12.120.28.17!attla2!ip.att.net!usc.edu!sdd.hp.com!ihnp4.ucsd.edu!news.ucsd.edu!not-for-mail
From: Dr Chaos <mbkennelSPAMBEGONE@NOSPAMyahoo.com>
Newsgroups: 
 comp.lang.java.advocacy,comp.object,comp.lang.ada,comp.software-eng
Subject: Re: Logic Errors and Ada (Was: A big hairy thread on Ada, Quality,
 and Drivers)
Followup-To: comp.lang.java.advocacy
Date: Mon, 19 May 2003 20:30:55 +0000 (UTC)
Organization: Univ of Calif San Diego
Message-ID: <slrnbcifoe.rab.mbkennelSPAMBEGONE@lyapunov.ucsd.edu>
References: <9fa75d42.0304230424.10612b1a@posting.google.com>
 <9fa75d42.0305130543.60381450@posting.google.com>
 <254c16a.0305140549.3a87281b@posting.google.com>
 <9fa75d42.0305141747.5680c577@posting.google.com>
 <slrnbc6ivm.i3.randhol+abuse@kiuk0152.chembio.ntnu.no>
 <1053027582.984315@master.nyc.kbcfp.com>
 <slrnbc90us.pi.randhol+abuse@kiuk0152.chembio.ntnu.no>
 <3ec4b5c5$1@news.wineasy.se> <254c16a.0305160930.40bb42f9@posting.google.com>
 <9fa75d42.0305181502.53703035@posting.google.com>
 <af783afe.0305190311.7e0d5b89@posting.google.com>
 <x7v4r3q67v1.fsf@smaug.pushface.org>
NNTP-Posting-Host: lyapunov.ucsd.edu
X-Trace: news1.ucsd.edu 1053376255 6591 132.239.222.85 (19 May 2003 20:30:55
 GMT)
X-Complaints-To: usenet@news1.ucsd.edu
NNTP-Posting-Date: Mon, 19 May 2003 20:30:55 +0000 (UTC)
User-Agent: slrn/0.9.7.4 (Linux)
Xref: archiver1.google.com comp.lang.java.advocacy:64194 comp.object:63703
 comp.lang.ada:37531 comp.software-eng:19302
Date: 2003-05-19T20:30:55+00:00
List-Id: <comp.lang.ada>

On 19 May 2003 20:42:42 +0100, Simon Wright <simon@pushface.org> wrote:
>   type Position is record
>      Lat  : Latitude;
>      Long : Longitude;
>   end record;
> 
> and inspect the low-level support subprograms.

What is the right way to do spherical geometry with separate
latitude and longitude types?     

The problem mathematically that I see is that SO(3) 
transformations will yield arithmetic combinations of these,
which would require lots of I would guess conversions to
some kind of default float.

On the other hand, if Latitude and Longitude were variables
whose values would be displayed to humans or perhaps stored
in some database, then the separate typing may work.