
<html><head></head><body><div>Am Dienstag, den 31.07.2018, 08:51 -0400 schrieb Daniel Cartwright:</div><blockquote type="cite"><div dir="auto"><div dir="auto"><span style="font-family:sans-serif">"There is also the situation where the package name isn’t essential and</span><br style="font-family:sans-serif"><span style="font-family:sans-serif">shouldn’t get in the way when naming modules. For example, there are a</span><br style="font-family:sans-serif"><span style="font-family:sans-serif">lot of monad transformers in the world. The `transformers` package</span><br style="font-family:sans-serif"><span style="font-family:sans-serif">implements some of them; others are added by other packages. It is good</span><br style="font-family:sans-serif"><span style="font-family:sans-serif">if the module that implements a certain kind of monad transformer has a</span><br style="font-family:sans-serif"><span style="font-family:sans-serif">name of the form `Control.Monad.Trans.⟨type-of-</span><span style="font-family:sans-serif">transformer⟩`. Having the</span><br style="font-family:sans-serif"><span style="font-family:sans-serif">package name in the module name would be like revealing an</span><br style="font-family:sans-serif"><span style="font-family:sans-serif">implementation detail."</span><br></div><div dir="auto"><br></div><div>Not sure I agree that that is necessarily the case.</div><div dir="auto"><br></div><div dir="auto">Transformers.ExceptT</div><div dir="auto">Transformers.ReaderT</div><div dir="auto">These.ChronicleT</div><div dir="auto"><br></div><div dir="auto">This lets me know exactly where these transformers came from, just by reading the module name.</div></div></blockquote><div><br></div><div>But I don’t want to see where those transformers “came from” but that they are certain monad transformers. The latter is expressed by the <i>consistent</i> naming <font face="monospace">Control.Monad.Trans.⟨type-of-transformer⟩</font>.</div><div><br></div><div>All the best,</div><div>Wolfgang</div></body></html>