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
Replying to @jessitron
@jessitron @bodil @puffnfresh @d6 @rtfeldman @runarorama Except that using that trick, *only* pure functions exist

Aug 31, 2013 · 3:38 PM UTC

2
Replying to @stilkov
@stilkov @bodil @puffnfresh @d6 @rtfeldman @runarorama exist how? Only pure functions leave their world parameter alone.
1
@jessitron @bodil @puffnfresh @d6 @rtfeldman @runarorama Ah, I thought you had them return a new, changed world
1
more replies
Replying to @stilkov
@stilkov @jessitron @bodil @puffnfresh @d6 @rtfeldman Yes, exactly. The denotation of a program is just its mapping onto a pure language.