[SkiFire13]

> 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.

[johnisgood]

> what needs to be made explicit is the logic that needs to be implemented, rather than details like memory management

I agree.