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
Really? When I tried it, it was buggy as hell. Sure, in the official version, you can’t walk around the subway, but there are people in it, and you can look out the window, and it tells you what station is next and all that. Actually pretty chill.