19 Aug
2008
19 Aug
'08
7:51 p.m.
On 12 Aug 2008, at 09:48, Nikodemus Siivola wrote:
On Mon, Aug 11, 2008 at 9:56 PM, Pascal Costanza <pc@p-cos.net> wrote:
Maybe I'm missing something...
The ability to derive the type of both CAR and CDR of an INT-LIST (or whatever).
...when you add recursion to type specifiers, you won't be able to do that in the general case anymore as well. Pascal -- Pascal Costanza, mailto:pc@p-cos.net, http://p-cos.net Vrije Universiteit Brussel, Programming Technology Lab Pleinlaan 2, B-1050 Brussel, Belgium