[racket] shared and immutable structures

From: Neil Toronto (neil.toronto at gmail.com)
Date: Wed Feb 2 11:27:34 EST 2011

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

Posted on the users mailing list.