On Thu, Feb 15, 2001 at 07:18:14AM -0800, Andrew Kennedy wrote:
> First, I think there's been a misunderstanding. I was referring to
> the poster ("Christoph Grein") ... but from
> what I've seen your (Dylan's) posts are well-informed. Sorry if
> there was any confusion.
It was easy to get con
Thurston [mailto:[EMAIL PROTECTED]]
> Sent: Wednesday, February 14, 2001 7:15 PM
> To: Andrew Kennedy; [EMAIL PROTECTED]
> Subject: Re: Typing units correctly
>
>
> On Wed, Feb 14, 2001 at 08:10:39AM -0800, Andrew Kennedy wrote:
> > To be frank, the poster that you cite doesn
On Wed, Feb 14, 2001 at 08:10:39AM -0800, Andrew Kennedy wrote:
> To be frank, the poster that you cite doesn't know what he's talking
> about. He makes two elementary mistakes:
Quite right, I didn't know what I was talking about. I still don't.
But I do hope to learn.
> (a) attempting to encod
D]
> [mailto:[EMAIL PROTECTED]]
> Sent: Wednesday, February 14, 2001 5:02 PM
> To: [EMAIL PROTECTED]
> Subject: Re: Typing units correctly
>
>
>
> Hi,
>
> I don't know if this is useful, but in response to a link to that
> article that I posted on Lambda, so
Hi,
I don't know if this is useful, but in response to a link to that
article that I posted on Lambda, someone posted a link arguing that
such an approach (at least in Ada) was impractical. To be honest, I
don't find it very convincing, but I haven't been following this
discussion in detail. I
Tom Pledger writes:
In both of those cases, the apparent non-integer dimension is
accompanied by a particular unit (km, V). So, could they equally
well be handled by stripping away the units and exponentiating a
dimensionless number? For example:
(x / 1V) ^ y
I think not.
Dylan Thurston writes:
| Any such system would probably not be able to type (^), since the
| output type depends on the exponent. I think that is acceptable.
In other words, the first argument to (^) would have to be
dimensionless? I agree. So would the arguments to trig functions,
etc.
As
On Mon, Feb 12, 2001 at 10:08:02AM +0100, Bjorn Lisper wrote:
> >The main complication is that the type system needs to deal with
> >integer exponents of dimensions, if it's to do the job well.
> Andrew Kennedy has basically solved this for higher order languages with HM
> type inference. He made
