Hare seems interesting, but does it allow any kind of dynamic linkage? I just compiled a simple Hello World program, and its size is 217 kb - after stripping.
$ cat test.ha
use fmt;
export fn main() void = {
fmt::println("Hello world!")!;
};
$ file test
test: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), statically linked, stripped
$ ls -lhn test
-rwxr-xr-x 1 1000 1000 217K Feb 27 18:03 test
The FDP very definitely does not want this, and one would be justified in doubting if the top brass of the SPD wants it. Personally, I am inclined to believe they only suggest plans like this knowing full well nothing will come of them in this government constellation.