User loginNavigation |
archivesEnumerating the Rationals
Jeremy Gibbons, David Lester and Richard Bird (2004). Enumerating the Rationals. May 2004.
In this paper,we explain an elegant technique for enumerating the positive rationals without duplicates. Moreover, we show how to do so as a simple iteration, generating each element of the enumeration from the previous one alone,with constant cost per element (assuming unit cost for simple operations on arbitrary-precision rationals). Best of all, the resulting program is extremely simple... Cute. Nothing earth shattering, but fun none the less. Nets: Petri vs LafontI am currently playing with an idea of a PL based on Petri nets (place/transition nets) augmented with Prolog-like unification. |
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 3 hours ago
51 weeks 4 days ago
51 weeks 4 days ago