chriseth

Ok actually not needed for function types.

Thanks for the proposal! I think it should be clarified a bit more on the way to construct the hub. I guess the idea is to split the creation into...

Ok, I didn't consider that you cannot change the interface of a module on an upgrade, that would be a rather important feature. Still, maybe we can somehow allow this...

Since this proposal uses `delegatecall` for regular contracts, I was thinking about looking at this from another direction and introducing a concept of "stateful libraries" - libraries that can contain...

`relocatable contract C { ... }` - cannot be inherited from - constructor cannot write to storage (but it can use "immutable") - all external calls to such a contract...

We need to ensure that the conditions do not have side-effects.

The main problem here is that this only works if we can discover all the files that are part of the project, right?

@VoR0220 I think what you are proposing is to basically do type checking at runtime, which is not a good idea in my opinion.

@axic the implementation idea here was to use the `annotation()` function and provide as parameter to it the values for the template parameters. Whenever `annotation(x)` is not yet defined, run...

The reason why this has been open for quite some time is because it is a really delicate matter whose pros and cons have to weighed carefully.