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
Links zu sein, kann man zumindest der Ödp sicherlich nicht "vorwerfen".