Tony Morris

Those who use side-effects use Dep. Inj. Those who don't use side-effects don't use DI. Coincidence? Nope, demonstrably causal. Say it.

@dibblego I would use DI in Haskell, were it aesthetically tolerable.

@luqui Is that a joke?

@dibblego E.g. look at how much Agda uses DI -- because the module system supports the hell out of it.

@luqui I looked. Where? Do you mean argument passing?

@dibblego Yes, exactly, argument passing! DI as argument passing of module-like-things. I get that it's all the same, but it isn't.