> as Rust and Python tend to obscure too many details behind high-level abstractions. C on the other hand forces handling too many low level details for a refe

> as Rust and Python tend to obscure too many details behind high-level abstractions. C on the other hand forces handling too many low level details for a reference implementation IMO. Rust also isn't really good in that regard. In a reference implementation what needs to be made explicit is the logic that needs to be implemented, rather than details like memory management. For that I would prefer something like Datalog instead.