[GSoC] Trying to find a good topic

[kinke]

On Thursday, 21 March 2019 at 21:54:12 UTC, Johannes Pfau wrote:
> I think what we should do for betterC is to first replace the 
> extern(C) hooks with a defined API. Right now, the compiler 
> does not know if a runtime has feature X, it simply calls an 
> extern(C) function _featureX(). If this functions is not in the 
> runtime, this fails at link time only. A better approach would 
> be to use a D function featureX in object.d. The compiler can 
> then import object.d and see if there is a function featureX. 
> If not, the runtime does not support the used feature and the 
> compiler should emit an error.

These hooks are what I meant by 'functions implicitly invoked by 
the compiler', and the defined API being the (or a subset of) the 
public exports of the stripped-down runtime.

How do you propose to solve the `object.d` issue of having to 
accomodate for absence/availability of all subpackages with a 
highly modular approach? I know that types (TypeInfo, ModuleInfo) 
are currently handled like this (compiler checks if they are 
defined in object.d and only emits those symbols if they are), 
but that only works because they reside themselves in an already 
way too bloated object.d.