@dibblego That's what mocks are. You examine them say "show me where the program touched you."
Those who use side-effects use mocks. Those who don't use side-effects don't use mocks. Coincidence? Nope, demonstrably causal. Say it.
-
-
-
.
@runarorama@dibblego You nailed it! Most OOPers use mocks instead of Effects in Typesystem.But how to easily show that EiT>Mocks to them?
End of conversation
New conversation -
-
-
.
@dibblego what's your point? (Must be a discussion going on which I'm not aware of)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@rickasaurus Foes anyone doubt this? Including those who advocate mocks and message-passing? -
@dibblego@rickasaurus s/Foes/Does
End of conversation
New conversation -
-
-
-
@mfeathers@bodil Yes, we universally quantify over functions regularly. The "mock" people don't recognise it though.
End of conversation
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
-
@djspiewak@bodil I have no idea what this could even mean. Control flow? Pure code? Show me. - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.