[Haskell-cafe] formal treatment of module dependencies

Edward Z. Yang ezyang at mit.edu
Sun Apr 2 23:58:24 UTC 2017

Arguably, more sophisticated package-level module systems like Backpack
are attempting to handle this problem, but we haven't tackled this
particular incarnation directly.

Excerpts from Dimitri DeFigueiredo's message of 2017-03-08 12:16:00 -0700:
> It seems to me that specifying and solving module dependencies is a
> ubiquitous problem in software development.
> All the languages that I know try to make the problem go away by using
> version numbers and maximizing backward compatibility.
> Does anyone know of references that formalize this problem for Haskell?
> Thanks,
> Dimitri

More information about the Haskell-Cafe mailing list