Someone pointed out the CEP on namespaces (https://github.com/coq/ceps/pull/25/files) to me today and I was pretty interested. It seems like namespaces are orthogonal to modules and I'm wondering if there is something that forces that to be the case, or if it is historical. I have never seen a module system that allows modules to be extended after-the-fact, but I can't come up with something that would go wrong if that were the case.
Last updated: Oct 13 2024 at 01:02 UTC