Defending Python

Peter Hansen peter at engcorp.com
Sun Jul 10 17:32:07 EDT 2005


Jorey Bump wrote:
> Bruno Desthuilliers <bdesth.quelquechose at free.quelquepart.fr> wrote:
>>it's.
> 
> +1 for this becoming the official name of Python 3000. ;)
> 
> And now for something completely different...
> 
> The larch!

Sorry, already taken:

'''Larch - John Guttag and Jim Horning <horning at src.dec.com>. The Larch 
Project develops aids for formal specifications. Each Larch 
specification has two components: an interface containing predicates 
written in the LIL (Larch Interface Language) designed for the target 
language and a 'trait' containing assertions about the predicates 
written in LSL, the Larch Shared Language common to all. "The Larch 
Family of Specification Languages", J. Guttag et al, IEEE Trans Soft Eng 
2(5):24-365 (Sep 1985). "Larch: Languages and Tools for Formal 
Specification", Guttag and Horning, Springer 1993.'''

Maybe "Ni!"?

-Peter



More information about the Python-list mailing list