|
From: | lilypond |
Subject: | Re: Issue 2149 in lilypond: Patch: Creates non-negative-integer? predicate. |
Date: | Fri, 03 Feb 2012 14:47:58 +0000 |
Comment #24 on issue 2149 by address@hidden: Patch: Creates non-negative-integer? predicate.
http://code.google.com/p/lilypond/issues/detail?id=2149natural-integer? is nonsensical since integers are an arithmetic type and have different axioms than naturals (even though they are isomorphic). Makes about as much sense as natural-fraction?. And the problem that "natural" is a mathematical term without much of an agreement whether 0 is included (after all, for naturals "0" is just an arbitrary label without arithmetic meaning) is not addressed.
I'll be taking the "index?" route since it seems to be quite well matched to actual usage. I doubt that we have many cases where we would need a predicate for the _arithmetic_ properties of non-negative integers.
Sorry for forgetting this one for so long.
[Prev in Thread] | Current Thread | [Next in Thread] |