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 <[email protected]> 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 > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
