[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: JONL's recenbt note on DIGITP

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.