Re:Dependency injection is dynamic scoping in disguise
by mavelikara on Thursday October 31, 2019 @05:08PM
(#21413728)
Scala's implicit parameters and Haskell's typeclass instances are this, correct?
[ Parent
| on HN ]
Re:Dependency injection is dynamic scoping in disguise
by eru on Friday November 01, 2019 @06:20AM
(#21417431)
I'm not sure how you'd override the typeclass instance you are going to get easily? (Haskell typically only allows a single instance per type.)
OCaml lets you swap out the equivalent of the typeclass instance. But it's a pain, because there system also means that you always have to specify which instance you want.