Draft Pep (was: Re: Let's Talk About Lambda Functions!)

[Terry Reedy]

> The `def' name is not intrinsic.  We all know it is a mere binding.

Wrong.  It is NOT mere binding and that is the source of confusion.
There are two types of names.  Like class and import statement names,
the def name is both.  Both intrinsic (and unchangable) and bound (and
de-bindable).

def fname params: body

is syntactic sugar for

fname = _internal_defun('fname', 'params', 'body')

that avoids have to quote stuff and write fname twice.  Same true of
class and import statement.

Terry J. Reedy