Re: Python from Wise Guy's Viewpoint

From: Mario S. Mommer (m_mommer_at_yahoo.com)
Date: 10/29/03 

Date: 29 Oct 2003 15:37:25 +0100

Matthias Blume <find@my.address.elsewhere> writes:
> Matthew Danish <mdanish@andrew.cmu.edu> writes:
>
> > Declarations can take this further, such that a compiler as smart as
> > CMUCL can manipulate raw (unsigned-byte 32) values, for example.
>
> Oh, so you're saying you want static declarations, checked and
> enforced by the compiler? Hmm, I've read this point of view in this
> thread somewhere.

The point is that you can use static typing when you want. It doesn't
stand in the way when you don't need it, which is most of the time.

> > Are the vast majority of your programs the type which behave properly
> > within machine-word integers?
>
> > > idea that the only correct result of 20 * 30 has to be 600.)
> >
> > (20 * 30) mod 256 is, of course, a completely different expression.
>
> Undoubtedly, it is a different expression. But it might mean the
> same, given a correspondingly chosen domain for 20 and 30, together
> with an certain * operation.

Indeed. It could well be 42. Or 3.141592. Or maybe "hum". Who knows,
who knows.

Just change the type declarations and - violà! - popcorn.

Relevant Pages

  • Re: Python from Wise Guys Viewpoint
    ... Oh, so you're saying you want static declarations, checked and ... enforced by the compiler? ... Hmm, I've read this point of view in this ...
    (comp.lang.python)
  • Re: Python from Wise Guys Viewpoint
    ... Oh, so you're saying you want static declarations, checked and ... enforced by the compiler? ... Hmm, I've read this point of view in this ...
    (comp.lang.lisp)
  • Re: Python from Wise Guys Viewpoint
    ... > Oh, so you're saying you want static declarations, checked and ... CL declarations are nothing but hints to the compiler that it is ...
    (comp.lang.python)
  • Re: Python from Wise Guys Viewpoint
    ... > Oh, so you're saying you want static declarations, checked and ... CL declarations are nothing but hints to the compiler that it is ...
    (comp.lang.lisp)
  • Re: Python from Wise Guys Viewpoint
    ... >> Declarations can take this further, such that a compiler as smart as ... > Oh, so you're saying you want static declarations, checked and ...
    (comp.lang.python)