24 Jul
2005
24 Jul
'05
9:34 a.m.
oleg@pobox.com wrote: <snip>
Jonathan Cast wrote:
] OK. Right. I forgot about the Church encoding.
I'm afraid just using Church encoding in the typed setting without any recursive datatypes whatsoever may be problematic.
OK. Wrong terminology on my part. Sorry. I am afraid in any case that my interest was attracted solely by the question ``what does it mean to say that lists are monads'', and all of this encoding theory seems (a) irrelevant and (b) beside the point to me. If you want to offer any further definitive statement on the question ``can we get lists without recursive types'', go ahead; my interest in the topic is quite exhausted. <snip> Jon Cast