[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: JONL's recenbt note on DIGITP
- Subject: Re: JONL's recenbt note on DIGITP
- From: Guy.Steele at CMU-10A
- Date: Thu ,2 Oct 80 16:12:00 EDT
If one accepts that (a) DIGITP should take a second arg, and (b)
the hypothetical DIGIT-WEIGHT should take a second arg, then it
follows that (c) (DIGITP ...) = (NOT (NOT (DIGIT-WEIGHT ...))),
which seems redundant.
So if there are strong arguments *against* letting either of
those functions take an optional second arg, then they should
be distinct functions with distinct names; but otherwise it
seems wasteful to have more than one function.