[Types-sig] type declaration syntax

[Greg Stein]

On Sat, 18 Dec 1999, skaller wrote:
> Greg Stein wrote:
> ... me talking about the core distro's inferencer ...
> 
> 	It is possible that Viperc will generate C code for CPython.
> In fact, it seems likely. It may be a third part tool, written in
> ocaml rather than C, and so not part of the 'core' distribution,
> but is a LOT more likely to work than anything that will ever
> make it into the core distribution for the simple reasons
> that it is written in a language suitable for the task,
> unlike C, and it is already under development.
> 
> 	In fact, IMHO, even Java is a LOT more suitable
> for doing this than C will ever be. Perhaps a C version
> can be written AFTER a proof of principle version is got working
> in a high level language.
> 
> 	Now, I'd love to be proven wrong, and find a 
> real Python compiler in the next major distribution,
> so my Interscript program actually becomes useful.
> But I'm not going to hold my breath, and I guess that the
> 'small change left over from DARPA funding' Guido mentions
> will not fund a compiler -- indeed, I doubt the WHOLE
> of the funding provided would be enough, if it is going
> to be written in C.

Nobody has ever suggested writing the bugger in C. My assumption is that
it will be written in Python. A second assumption is that it will always
remain as a lint-like tool rather than integrated into the core compiler.

Cheers,
-g

-- 
Greg Stein, http://www.lyra.org/