[racket] shared and immutable structures

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Wed Feb 2 11:30:45 EST 2011

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

Posted on the users mailing list.