Ono to je možné. Třeba Swift generuje malinké binárky. Jeho standardní knihovna je linkovaná dynamicky (před stabilizací ABI měla aplikace, která dohromady nic nedělá, klidně i desítky MB).
U Rustu by to šlo jistě osekat, ale zřejmě to není priorita (čti: nikoho to nepálí, řeší se důležitější věci).
Protože moderní jazyk bude mít moderní typový systém, kde se kód instancuje a optimalizuje podle typů parametrů a dalších okolností (agresivní inlining, mutační vs konstantní ukazatele apod) a to se prostě dynamicky linkovat nedá. Navíc moderní jazyk nemá za cíl produkovat co nejmenší kód, ale co nejbezpečnější a co nejrychlejší. Tam, kde skutečně jde o malý kód (mikrokontroléry apod) má smysl i nadále používat C. U reimplementace "cat" je to ale opravdu jedno, resp. důležitější jsou tu jiná kritéria.