Is it possible to be referentially transparent and not idempotent?
3
1
2
@bodil @puffnfresh @d6 @rtfeldman Noooooo! I patched it up at the end, thanks to @runarorama. Our functions are unary operators on the world
1
@jessitron @bodil @puffnfresh @d6 @rtfeldman @runarorama Except that using that trick, *only* pure functions exist
2
@stilkov @bodil @puffnfresh @d6 @rtfeldman @runarorama exist how? Only pure functions leave their world parameter alone.
1
Replying to @jessitron
@jessitron @bodil @puffnfresh @d6 @rtfeldman @runarorama Ah, I thought you had them return a new, changed world

Aug 31, 2013 · 3:43 PM UTC

1
Replying to @stilkov
@stilkov @bodil @puffnfresh @d6 @rtfeldman @runarorama the world parameter is invisible in the code.