19 Aug
2008
19 Aug
'08
9: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