Matthias Felleisen wrote:
> give you inductive reasoning. If you allow cycles anyway, that's out the window.I am with Matthew. Immutable structs -- other than historically 'blessed' ones --
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
