[racket] shared and immutable structures

Yes you do.  Far less useful at our level.  But shared + immutable
gives you coinductive.  That's why the distinction helps.

On Wed, Feb 2, 2011 at 11:27 AM, Neil Toronto <neil.toronto at gmail.com> wrote:
> Matthias Felleisen wrote:
>>
>> I am with Matthew. Immutable structs -- other than historically 'blessed'
>> ones --
>
>> give you inductive reasoning. If you allow cycles anyway, that's out the
>> window.
>
> Do you lose inductive reasoning but gain a kind of coinductive reasoning?
> Lazy FPLs can encode cycles as infinite data.
>
> Neil T
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users
>